Construction of long root SL(2,q)-subgroups in black box groups

Details Construction of long root SL(2,q)-subgroups in black box groups Construction of long root SL(2,q)-subgroups in black box groups

2010-01-19

arxiv.org/abs/1001.3184v1

Mathematics

Group Theory

37 pages, submitted to Journal of Algebra

Scientific paper

We present a one sided Monte--Carlo algorithm which constructs a long root $\sl_2(q)$-subgroup in $X/O_p(X)$, where $X$ is a black-box group and $X/O_p(X)$ is a finite simple group of Lie type defined over a field of odd order $q=p^k > 3$ for some $k\geqslant 1$. Our algorithm is based on the analysis of the structure of centralizers of involutions and can be viewed as a computational version of Aschbacher's Classical Involution Theorem. We also present an algorithm which determines whether the $p$-core (or "unipotent radical") $O_p(X)$ of a black-box group $X$ is trivial or not, where $X/O_p(X)$ is a finite simple classical group of odd characteristic $p$. This answers a well-known question of Babai and Shalev.

Affiliated with

Also associated with

No associations

Rating

Construction of long root SL(2,q)-subgroups in black box groups does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Construction of long root SL(2,q)-subgroups in black box groups, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Construction of long root SL(2,q)-subgroups in black box groups will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-634034