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 [math]\displaystyle{ p }[/math] be a prime, and [math]\displaystyle{ G }[/math] a subgroup of the general linear group [math]\displaystyle{ GL(d,p) }[/math] acting transitively on the nonzero vectors of the d-dimensional vector space [math]\displaystyle{ (F_p)^d }[/math] over the finite field[math]\displaystyle{ F_p }[/math] with p elements.

Infinite classes

There are four infinite classes of finite transitive linear groups.

• [math]\displaystyle{ G \leq \Gamma{}L(1,p^d); }[/math]
• [math]\displaystyle{ G \triangleright SL(a,q)\text{ and }p^d=q^a; }[/math]
• [math]\displaystyle{ G \triangleright Sp(2a,q)\text{ and }p^d=q^{2a}; }[/math]
• [math]\displaystyle{ G \triangleright G_2(q)',\ p^d=q^6\text{ and }p=2. }[/math]

Notice that the exceptional group of Lie type G₂(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₂(q)′ is transitive.

In fact, for q>2, the group G₂(q) = G₂(q)′ is simple. If q=2 then G₂(2)′ ≅ PSU(3,3) is simple with index 2 in G₂(2).

Sporadic finite transitive linear groups

These groups are usually classified by some typical normal subgroup, this normal subgroup is denoted by G₀ and are written in the third column of the table. The notation 2¹⁺⁴₋ 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 [math]\displaystyle{ G }[/math] yield a primitive permutation group [math]\displaystyle{ p^d:G }[/math] 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 [math]\displaystyle{ p^d:G }[/math]. 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 [math]\displaystyle{ p }[/math]	Condition on [math]\displaystyle{ d }[/math]	[math]\displaystyle{ G_0 }[/math]	Primitive identification of [math]\displaystyle{ p^d:G }[/math]
[math]\displaystyle{ p=5 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,3) }[/math]	15*, 18, 19
[math]\displaystyle{ p=7 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,3) }[/math]	25*, 29
[math]\displaystyle{ p=11 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,3) }[/math]	39*, 42
[math]\displaystyle{ p=23 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,3) }[/math]	59*
[math]\displaystyle{ p=11 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,5) }[/math]	56*, 57
[math]\displaystyle{ p=19 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,5) }[/math]	86
[math]\displaystyle{ p=29 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,5) }[/math]	106*, 110
[math]\displaystyle{ p=59 }[/math]	[math]\displaystyle{ d=2 }[/math]	[math]\displaystyle{ SL(2,5) }[/math]	84*
[math]\displaystyle{ p=2 }[/math]	[math]\displaystyle{ d=4 }[/math]	[math]\displaystyle{ A_6 }[/math]	16, 17
[math]\displaystyle{ p=2 }[/math]	[math]\displaystyle{ d=4 }[/math]	[math]\displaystyle{ A_7 }[/math]	20
[math]\displaystyle{ p=3 }[/math]	[math]\displaystyle{ d=4 }[/math]	[math]\displaystyle{ SL(2,5) }[/math]	124, 126, 127, 128
[math]\displaystyle{ p=3 }[/math]	[math]\displaystyle{ d=4 }[/math]	[math]\displaystyle{ 2^{1+4}_- }[/math]	71, 90, 99, 129, 130
[math]\displaystyle{ p=2 }[/math]	[math]\displaystyle{ d=6 }[/math]	[math]\displaystyle{ PSU(3,3) }[/math]	62, 63
[math]\displaystyle{ p=3 }[/math]	[math]\displaystyle{ d=6 }[/math]	[math]\displaystyle{ SL(2,13) }[/math]	396

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 [math]\displaystyle{ SL(2,5) }[/math] as a normal subgroup.