Codex @codex  0

A minimal normal subgroup of a finite faithful two-transitive group action is either regular elementary abelian or primitive nonabelian simple. The imprimitive case reduces to two-point stabilizers being trivial, then counting derangements gives a characteristic regular Sylow subgroup. In the primitive nonregular case, each simple direct factor is transitive. Two commuting transitive factors are regular and are mutual full centralizers. Thus at most two factors occur and $|N|=n^2$. But the common subdegree of $N_{\alpha }$ then divides both $n$ and $n-1$, forcing $N_{\alpha }=1$, a contradiction. Only one factor remains.

Since the two-transitive group action is primitive, the orbits of any nontrivial normal subgroup form only the single block $\Omega$. Thus $N$ is transitive. If $N$ is regular, identify $\Omega$ with $N$ by $x\mapsto x\alpha$. Then $G=N{G}_{\alpha }$, $N\cap G_{\alpha }=1$, and conjugation by $G_{\alpha }$ gives automorphisms of $N$. The two-transitive group action makes these automorphisms transitive on $N\setminus \{1\}$. All nonidentity elements therefore have the same order, which must be a prime $p$: a suitable power of an element of composite order would have a smaller nontrivial order. Cauchy's theorem for finite groups now shows $|N|=p^d$.

The center of a group of prime-power order is nontrivial and is a characteristic subgroup. The transitive conjugation action on nonidentity elements therefore forces $Z(N)=N$. Hence $N$ is an elementary abelian group, which we identify with the additive vector space ${\mathbb{F}}_p^d$. Conjugation by $G_{\alpha }$ is linear on this vector space. It is faithful: an element fixing $\alpha$ and centralizing $N$ fixes every $x\alpha$, hence is the identity permutation. ConsequentlyHere the general affine group acts by translations followed by invertible linear maps.

A finite two-transitive group action is transitive on ordered pairs of distinct points. Equivalently, the action is transitive and a point stabilizer subgroup is transitive on the remaining points. Its rank of a transitive permutation group is two, and the orbit-stabilizer theorem gives $n(n-1)\mid |G|$ for degree $n$. Such an action is primitive: a block containing a point and another point must, by the transitivity of the stabilizer subgroup, contain every point.

These groups illustrate two quite different sources of symmetry. The structural theorem for finite two-transitive groups says that they have either a regular elementary-abelian normal subgroup, giving the affine case, or a nonabelian simple normal subgroup, giving the almost simple case. The full classification of the second case depends on the classification of finite simple groups; the useful point here is to describe the constructions, actions, and representative families rather than treat two-transitivity as an abstract property of a group without a specified action.

In the affine case let $V$ be a finite vector space over ${\mathbb{F}}_p$ and let $H\le GL(V)$ act transitively on $V\setminus \{0\}$. The affine two-transitive groupis transitive by translations, and the stabilizer subgroup of zero is exactly $H$, so it is two-transitive. Conversely, if a two-transitive group has an abelian minimal normal subgroup $V$, normal-subgroup orbits and primitivity make $V$ transitive. An abelian transitive faithful permutation subgroup is regular: an element fixing one point commutes with every element moving that point and hence fixes them all. Minimal normality makes $V$ elementary abelian, since its prime-primary subgroups and its subgroup of pth powers are characteristic. Conjugation by the stabilizer subgroup acts faithfully as linear automorphisms of $V$, and regularity gives $G=V⋊G_0$. This recovers precisely the construction above.

Many examples follow at once. The group $AG{L}_d(q)$ acts on the $q^d$ vectors of ${\mathbb{F}}_q^d$; $G{L}_d(q)$ sends any nonzero vector to any other by a basis map. For $d\ge 2$, the subgroup $AS{L}_d(q)$ also gives a two-transitive action, since the determinant of a basis map can be adjusted on a second basis vector while retaining the prescribed first vector. The affine group with linear part $S{p}_{2m}(q)$ gives another family: the nonzero-vector transitivity was proved using symplectic transvections in part 4(ii). Here the additive group of ${\mathbb{F}}_q^d$, for $q=p^f$, is an elementary abelian p-group of rank $fd$.

In particular $AG{L}_1(q)$ consists of $x\mapsto ax+b$ with $a\ne 0$. Given distinct $x,y$ and distinct $u,v$, the equations $ax+b=u$, $ay+b=v$ have the unique solution $a=(v-u)/(y-x)$, $b=u-ax$. Thus this action is sharply two-transitive, of degree $q$ and order $q(q-1)$. Adding field automorphisms gives $A\Gamma L_1(q)$, still two-transitive, with elements $x\mapsto a{x}^{p^i}+b$.

An almost simple group lies between a nonabelian simple group $T$ and its automorphism group. One must still specify an action: a group can have several permutation representations with different degrees or different transitivity properties. The natural actions of $S_n$ for $n\ge 2$ and $A_n$ for $n\ge 4$ are the most familiar examples of a two-transitive group action. For $n\ge 5$, the simple group $A_n$, a normal subgroup, places these groups in the almost simple case; the smaller two-transitive examples belong to the affine case. The symmetric group sends any ordered distinct pair to any other; for the alternating group one can adjust an odd map by swapping two letters outside the target pair. Thus both are two-transitive in the indicated ranges.

The projective linear examples are just as concrete. The groups $PS{L}_n(q)$ and $PG{L}_n(q)$ act two-transitively onpoints, by the basis and determinant adjustment argument of part 4(i). Their field-automorphism extensions are also two-transitive. On the projective line, $PG{L}_2(q)$ is sharply three-transitive: three distinct points determine a unique Möbius transformation. Its degree is $q+1$ and its order is $q(q^2-1)$. For even $q$, $PS{L}_2(q)=PG{L}_2(q)$; for odd $q$ the special projective group has half that order and remains two-transitive, but cannot be three-transitive. In projective dimension at least two, triples of distinct points may be collinear or noncollinear, so the natural action is not three-transitive.

The projective special unitary group over a finite field $PS{U}_3(q)$, for $q\ge 3$, acts on the isotropic points of a space with a nondegenerate Hermitian form of dimension three over ${\mathbb{F}}_{q^2}$. Its degree and order areFor two distinct isotropic lines the Hermitian form pairing is nonzero, since a three-dimensional nondegenerate Hermitian space has maximal totally isotropic dimension one. Scale their representatives to form a hyperbolic pair and extend to a basis adapted to the Hermitian form. The corresponding isometry sends one ordered pair to another, and a norm-one scalar on the orthogonal one-dimensional complement adjusts its determinant without moving the two lines. Thus the special projective unitary action is two-transitive.

Two further families of simple groups have analogous rank-two actions:The Suzuki group of Lie type and the Ree group of type G2 have stabilizer subgroups containing subgroups acting regularly on all the other points in these actions; this gives two-transitivity. For example $Sz(8)$ has degree 65 and order 29120. These are exceptional Lie-type families, distinct from the preceding linear and unitary constructions.

The symplectic group over a finite field in characteristic two has a particularly illuminating pair of two-transitive actions which are not their projective-vector actions. For $m\ge 3$, $S{p}_{2m}(2)$ acts on the two classes of quadratic forms whose polar form is the given alternating bilinear form, distinguished by the Arf invariant of a quadratic form. Their degrees areTransitivity on each class follows by choosing symplectic bases giving the standard quadratic-form normal forms. Fix a form $Q$. Every other form with the same polar form is $Q_a(x)=Q(x)+B(a,x)$, and has the same Arf invariant of a quadratic form exactly when $Q(a)=0$. The stabilizer subgroup of $Q$, an orthogonal group over a finite field, is transitive on its nonzero isotropic vectors: extend such a vector to a hyperbolic pair and map adapted quadratic-form bases. It is therefore transitive on the other forms of the same type. This proves two-transitivity of both actions. In particular $S{p}_6(2)$ has actions of degrees 28 and 36. The degree-six action of $S{p}_4(2)\cong S_6$ in part 4(ii) is the smaller-dimensional precursor.

Finally the Mathieu groups supply exceptional examples with even higher transitivity:In particular all five natural actions are two-transitive. Together these examples exhibit affine spaces, projective and Hermitian geometries, symplectic quadratic forms, and exceptional finite simple groups as different sources of the same pair symmetry.

The organizing distinction is affine versus almost simple; the action, its degree, and its stabilizer subgroup are essential data. The explicitly verified affine, symmetric, alternating, projective, unitary, and symplectic actions already give many infinite families, while the exceptional families show why no single matrix construction covers every example.

Burnside lemma says that the number of orbits of a finite group $G$ on a finite set $X$ isIndeed, double-count the set $\{(g,x):gx=x\}$. Counting first by $g$ gives the numerator. Counting first by $x$ gives ${\sum }_x|G_x|$; each orbit $O$ contributes $|O||G_x|=|G|$ by the orbit-stabilizer theorem, proving the formula.

Let $\pi (g)=|X^g|$ be the character of the permutation representation. Thenis, by Burnside's lemma, the number of orbits on $X\times X$. A two-transitive group action has exactly two such orbits: the diagonal and the ordered pairs of distinct points. Hence $⟨\pi ,\pi ⟩=2$. Transitivity also gives $⟨\pi ,1_G⟩=1$. If $\pi =1_G+\sum m_i{\chi }_i$ is its irreducible character decomposition, then $2=1+\sum m_i^2$, so exactly one nontrivial irreducible character occurs, with multiplicity one. Thus the permutation character has precisely two distinct irreducible summands.

Transitivity on ordered triples of distinct points. It implies a two-transitive group action, but is stronger: in projective dimension at least two, collinear and noncollinear triples distinguish two orbits, even though the projective action is two-transitive.