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.
Let formula_1 be a prime, and formula_2 a subgroup of the general linear group formula_3 acting transitively on the nonzero vectors of the "d"-dimensional vector space formula_4 over the finite fieldformula_5 with "p" elements.
Infinite classes.
There are four infinite classes of finite transitive linear groups.
Notice that the exceptional group of Lie type "G"2("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 "G"2("q")′ is transitive.
In fact, for "q">2, the group "G"2("q") = "G"2("q")′ is simple. If "q"=2 then "G"2(2)′ ≅ PSU(3,3) is simple with index 2 in "G"2(2).
Sporadic finite transitive linear groups.
These groups are usually classified by some typical normal subgroup, this normal subgroup is denoted by "G"0 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 formula_2 yield a primitive permutation group formula_11 of degree at most 2499. In the computer algebra programs GAP and MAGMA, these groups can be accessed with the command codice_1 where the number "k" is the "primitive identification" of formula_11. 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.
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 formula_13 as a normal subgroup.