Simple groups contain minimal simple groups (Q1385185)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Simple groups contain minimal simple groups |
scientific article |
Statements
Simple groups contain minimal simple groups (English)
0 references
8 September 1998
0 references
If the word `minimal' were to mean `minimal with respect to inclusion', then the result of the title would be a trivial consequence of finiteness. However, the standard meaning is `minimal with respect to involvement', that is the partial order defined by \(H\text{ l.e. }G\) iff \(H\) is a subquotient of \(G\). Thus to prove the theorem it is necessary and sufficient to prove that every non-Abelian finite simple group is either minimal in the standard sense, or contains a proper non-Abelian simple subgroup. This is obvious for the alternating groups, and can be readily checked for the sporadic groups and for any chosen finite set of simple groups. Groups of Lie type of Lie rank at least 3 always contain a subgroup \(\text{SL}_2(q)\) of \(\text{PSL}_3(q)\), and with finitely many exceptions at least one of these is simple. The small rank cases are not difficult and can be investigated case-by-case. While this is an easy consequence of the classification theorem for finite simple groups, one is tempted to wonder whether it is possible to prove it without CFSG -- that would indeed be a worthy extension of Thompson's heroic classification of the minimal simple groups.
0 references
groups of Lie type
0 references
finite simple groups
0 references
alternating groups
0 references
sporadic groups
0 references
minimal simple groups
0 references