## maximal subgroups of finite simple groups

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Is it possible to determine the structure of maximal subgroups of finite simple groups?(Even if in special cases such as minimal simple groups, alternating groups,...)

-

What do you mean by "the structure of" them? $\:$ – Ricky Demer Nov 17 at 9:23
If you take the minimal permutation representation of a finite simple group, the stabilizer of a point will be a maximal size subgroup. See mathoverflow.net/questions/16858/… – Agol Nov 29 at 23:51

## 7 Answers

The maximal subgroups of $A_n$ are given by the O'Nan-Scott Theorem. They lie in one of the following classes:

1) $A_n \cap (S_{n-k} \times S_k)$, that is the stabiliser of a $k$-set.

2) $A_n \cap (S_a wr S_b)$ where $n=ab$, that is the stabiliser of a partition.

3) $A_n\cap AGL(d,p)$ where $n=p^d$ for some prime $p$.

4) $A_n \cap (S_m wr S_k)$ where $n=m^k$, that is the stabiliser of a cartesian power.

5) $A_n \cap (T^{k+1}.(Out(T) \times S_{k+1}))$ where $n=|T|^k$ and $T$ is a finite nonabelian simple group

6) an almost simple group acting primitively on $n$ points.

For classical groups the main result is Aschbacher's Theorem in the paper pointed out by Rivin. More details of the structure of the subgroups is given in the book by Kleidman and Liebeck.

For exceptional groups of Lie type there are papers by Liebeck and Seitz as noted by Barnea.

Both these results and Aschbacher's Theorem have the same philosophy as the O'Nan-Scott Theorem, namely that a maximal subgroup is either one of a small number of natural families that are usually stabilisers of some geometric structure, or is almost simple.

For sporadic simple groups, all the information in in the online Atlas. They are all known except for the monster. In this case there are a couple of possibilities for maximal subgroups where it is not known if they are actually subgroups.

-

Thanks a lot for your comprehensive answer. – liobei Jan 13 at 21:23

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

In general the question is too ambitious, but more can be said than might be expected. For example, it follows from results of J.G. Thompson that if $M$ is a maximal subgroup of a non-Abelian finite simple group $G$ and $M$ is nilpotent, then $M$ is a Sylow $2$-subgroup of $G$ and is non-Abelian ( this does occur "in nature", for example for $G = {\rm PSL}(2,17)).$ The proof by Feit and Thompson of the solvability of finite groups of odd order proceeds by analyzing the structure of maximal subgroups of a minimal non-Abelian simple group of odd order, and the interplay between them. Perhaps the person who has exploited the structure of maximal subgroups of finite simple groups most is H. Bender, and this has given rise to the term "the Bender method". A remarkable general result of Bender, which has had many extensions and appications is that if $G$ is a non-Abelian finite simple groups with distinct maximal subgroups $A$ and $B$ such that the generalized Fitting subgroups of $A$ and $B$ satisfy `$F^{*}(A) \leq B$` and `$F^{*}(B) \leq A$`, then there is a prime $p$ such that `$F^{*}(A)$` and `$F^{*}(B)$`are both $p$-groups (again, the exceptional situation does occur in nature, for example if $G$ is a simple group of Lie type of characteristic $p$ and rank greater than $1$). However, if $A$ and $B$ are both solvable, then $p = 2$ or $3$. It does, however, appear that there are situations in the study of finite simple groups where the Bender method is not as easily applicable as the method of signalizer functors.

-

Thank you so much!  – liobei Nov 17 at 14:15

I think the basic paper is actually this one:

Aschbacher, Michael. "On the maximal subgroups of the finite classical groups." Inventiones mathematicae 76.3 (1984): 469-514.

-

I am not an expert, but I believe lots of work was done on the case of groups of Lie type by Seitz, Liebeck and others. I think the basic paper is "The maximal subgroups of classical algebraic groups" by Seitz. These results are of great importance in the development of the many of the random generation results that were found in the last 20 years. But I will leave it to the experts to add more information.

-

The Atlas of Finite Group Representations has information on the maximal subgroups of some particular finite simple groups. This is at least a handy place to start. See

http://brauer.maths.qmul.ac.uk/Atlas/v3/lin/L253/#maxes

for an example. The front page is at

http://brauer.maths.qmul.ac.uk/Atlas/v3/

-

The recent book of Malle and Testerman, Linear algebraic groups and finite groups of Lie type, has several chapters on the subject. From the MR review:

some important recent developments are treated here for the first time. For instance, the authors describe the classification of the maximal subgroups of simple algebraic groups, and this is used in their subsequent analysis of the subgroup structure of finite groups of Lie type.

(etc. The review goes on to describe the Aschbacher/Liebeck-Seitz results mentioned in other replies.)

Also Robert A. Wilson's The finite simple groups addresses the question, for the classical groups in a devoted section (3.10), for the others by systematically giving references to original papers classifying the maximal subgroups.

-

Every finite group can be broken down into elements consisting of prime cycle permutations. Just go up the lattice. Every nontrivial subgroup has to contain at least one of these prime cycle permutations: http://oeis.org/A186202

-

This OEIS link is essentially about the number of minimal subgroups of the symmetric groups.  The question, however, is about the structure (not just the number) of maximal (not minimal) subgroups of finite simple groups (not the symmetric groups).   – Andreas Blass Nov 30 at 0:03
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 36, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9141642451286316, "perplexity_flag": "head"}