List of transitive finite linear groups
In mathematics, especially in areas of abstract algebra and finite geometry, the list of transitive finite linear groups is an important classification of certain highly symmetric actions of finite groups on vector spaces.
The solvable finite 2-transitive groups were classified by Bertram Huppert. The classification of finite simple groups made possible the complete classification of finite doubly transitive permutation groups. This is a result by Christoph Hering. A finite 2-transitive group has a socle that is either a vector space over a finite field or a non-abelian primitive simple group; groups of the latter kind are almost simple groups and described elsewhere. This article provides a complete list of the finite 2-transitive groups whose socle is elementary abelian.
There are four infinite classes of finite transitive linear groups.
Notice that the exceptional group of Lie type G2(q) is usually constructed as the automorphism groups of the split octonions. Hence, it has a natural representation as a subgroup of the 7-dimensional orthogonal group O(7, q). If q is even, then the underlying quadratic form polarizes to a degenerate symplectic form. Factoring out with the radical, one obtains an isomorphism between O(7, q) and the symplectic group Sp(6, q). The subgroup of Sp(6, q) which corresponds to G2(q)′ is transitive.
In fact, for q>2, the group G2(q) = G2(q)′ is simple. If q=2 then G2(2)′ ≅ PSU(3,3) is simple with index 2 in G2(2).
Sporadic finite transitive linear groups
These groups are usually classified by some typical normal subgroup, this normal subgroup is denoted by G0 and are written in the third column of the table. The notation 21+4− stands for the extraspecial group of minus type of order 32 (i.e. the extraspecial group of order 32 with an odd number (namely one) of quaternion factor).
All but one of the sporadic transitive linear groups yield a primitive permutation group of degree at most 2499. In the computer algebra programs GAP and MAGMA, these groups can be accessed with the command
PrimitiveGroup(p^d,k); where the number k is the primitive identification of . This number is given in the last column of the following table.
Seven of these groups are sharply transitive; these groups were found by Hans Zassenhaus and are also known as the multiplicative groups of the Zassenhaus near-fields. These groups are marked by a star in the table.
|Condition on||Condition on||Primitive identification of|
|15*, 18, 19|
|no id, * (regular)|
|124, 126, 127, 128|
|71, 90, 99, 129, 130|
This list is not explicitly contained in Hering's paper. Many books and papers give a list of these groups, some of them an incomplete one. For example, Cameron's book misses the groups in line 11 of the table, that is, containing as a normal subgroup.
- Huppert, Bertram (1957), "Zweifach transitive, auflösbare Permutationsgruppen", Mathematische Zeitschrift, 68: 126–150, doi:10.1007/BF01160336, ISSN 0025-5874, MR 0094386
- Hering, Christoph (1985), "Transitive linear groups and linear groups which contain irreducible subgroups of prime order. II", Journal of Algebra, 93 (1): 151–164, doi:10.1016/0021-8693(85)90179-6, ISSN 0021-8693, MR 780488
- Huppert, Bertram; Blackburn, Norman (1982), Finite groups. III., Grundlehren der Mathematischen Wissenschaften, 243, Berlin-New York: Springer-Verlag, ISBN 3-540-10633-2, MR 0650245
- Johnson, Norman L.; Jha, Vikram; Biliotti, Mauro (2007), Handbook of finite translation planes, Pure and Applied Mathematics, 289, Boca Raton: Chapman & Hall/CRC, ISBN 978-1-58488-605-1, MR 2290291
- Cameron, Peter J. (1999), Permutation Groups, London Mathematical Society Student Texts, 45, Cambridge University Press, ISBN 978-0-521-65378-7