Primitive Permutation Groups with Dihedral Stabilizers

• The paper presents a classification framework for primitive permutation groups with dihedral point stabilizers using extensions of the Aschbacher–O’Nan–Scott theorem.
• Methodologies include subgroup structure analysis, explicit computations, and arithmetic constraints to differentiate finite affine and almost-simple cases.
• Results impact the design of symmetric block structures and enhance understanding of maximal subgroup conditions and automorphism actions.

A primitive permutation group with dihedral point stabilizer is a group $G \leq \mathrm{Sym}(\Omega)$ acting transitively and primitively on a set $\Omega$ such that the stabilizer $G_x$ of a point $x$ is isomorphic to a dihedral group $D_{2n}$ of order $2n$. The classification of such groups encompasses both infinite and finite cases and reveals a rich interplay between group structures, automorphism actions, and maximal subgroup conditions. Primitivity entails that $G_x$ is a maximal subgroup of $G$, and the dihedral property constrains the possibilities for $G$ substantially, as shown in foundational results extending the Aschbacher–O’Nan–Scott theorem and subsequent refinements.

1. Dihedral Groups and Point Stabilizers

Let $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$ denote the dihedral group of order $\Omega$0. In the context of primitive permutation groups, $\Omega$1 means that every nontrivial stabilizer is a finite dihedral group. The dihedral structure implies that $\Omega$2 is solvable and imposes arithmetic constraints on the parameters of $\Omega$3, especially in the finite case. The primitivity condition requires that $\Omega$4 be maximal in $\Omega$5 and acts transitively on the coset space $\Omega$6.

2. Infinite Primitive Groups: The Aschbacher–O’Nan–Scott–Smith Framework

Simon Smith provides a comprehensive extension of the Aschbacher–O’Nan–Scott theorem to infinite primitive $\Omega$7 with finite point stabilizer $\Omega$8 (Smith, 2011). Every such $\Omega$9 admits a unique minimal normal subgroup $G_x$0, where each $G_x$1 is simple, infinite, nonabelian, and finitely generated. The action of $G_x$2 falls into three types:

1. Type (i) Regular-Simple (“Split Extension”):
   • $G_x$3 is simple and acts regularly; $G_x$4 with $G_x$5 acting faithfully on $G_x$6 via outer automorphisms.
   • Primitivity requires that $G_x$7 has no proper nontrivial $G_x$8-invariant subgroups.
2. Type (ii) Almost-Simple, Non-Regular:
   • $G_x$9 is simple, $x$0 is of finite index in $x$1, and $x$2.
   • $x$3 embeds as a maximal finite subgroup of $x$4, with $x$5 a nontrivial finite subgroup.
3. Type (iii) Product Action (“Wreath-Type”):
   • $x$6, $x$7, with $x$8 permuting factors transitively.
   • $x$9 embeds into $D_{2n}$0, where $D_{2n}$1 is an infinite primitive group with dihedral stabilizer.
   • The product action is primitive if $D_{2n}$2 is primitive but not regular and $D_{2n}$3 is finite.

The three types correspond to the “affine-like” (split extension), “almost-simple,” and “wreath product” cases in the extended O’Nan–Scott typology. Concrete instances utilize Obraztsov’s embedding theorem to realize $D_{2n}$4 with a prescribed $D_{2n}$5-action (Smith, 2011).

3. Finite Primitive Groups: Explicit Classification

The finite case is classified in detail in recent work (Chen et al., 13 Jan 2026), where the main theorem (Theorem 2.1) establishes that for a finite primitive $D_{2n}$6 with $D_{2n}$7, one of two situations holds:

• The socle of $D_{2n}$8, denoted $D_{2n}$9, is elementary abelian, so $2n$0 is of affine type.
• $2n$1 is nonabelian simple, and the pair $2n$2 appears in Table 1.

The table below lists all almost-simple primitive groups with dihedral point stabilizer, with the necessary order formulas and arithmetic conditions.

Table: Almost-Simple Primitive Groups with Dihedral Stabilizer

$2n$3	$2n$4	$2n$5
$2n$6	$2n$7	$2n$8
$2n$9	$G_x$0	$G_x$1
$G_x$2	$G_x$3	$G_x$4
		$G_x$5 ($G_x$6)
$G_x$7	$G_x$8	$G_x$9
$G$0	$G$1	$G$2
$G$3	$G$4	$G$5

Here, $G$6; arithmetic restrictions include $G$7 for some cases and $G$8 odd for $G$9. No other simple groups occur as socles in such primitive groups. The order $G$0 is specified by the respective indices.

4. Product, Wreath, and Affine Constructions

For $G$1, the classification extends to “wreath-type” actions, where $G$2 acts primitively on $G$3, provided that $G$4 itself is primitive with dihedral stabilizer and $G$5 acts transitively on the $G$6 direct factors. The necessary permutation action of $G$7 may be realized via dihedral symmetries of an $G$8-gon (i.e., $G$9 or $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$0) or a flip action when $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$1.

The affine case corresponds to $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$2 with elementary abelian socle and maximal subgroup $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$3. In this situation, the permutation domain is the coset space of the socle, and $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$4 acts as a split extension.

5. Arithmetic and Subgroup Restrictions

Arithmetic constraints play a central role in determining which groups admit dihedral maximal subgroups acting primitively. For $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$5:

• $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$6 is permitted iff $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$7.
• $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$8 is permitted iff $$D_n = \langle r,s\mid r^n=1,\ s^2=1,\ srs=r^{-1}\rangle$$9.

For $\Omega$00, $\Omega$01 must be odd, with the same dihedral subgroups. The small extra cases involving $\Omega$02, $\Omega$03, and $\Omega$04 are treated by direct computation of primitivity degrees and subgroup embeddings.

A plausible implication is that in symmetric block designs with dihedral local action, point and block stabilizers $\Omega$05 and $\Omega$06 are conjugate in $\Omega$07, and both local actions are faithful (Chen et al., 13 Jan 2026).

6. Proof Strategy and Structural Significance

The classification leverages the extended O’Nan–Scott framework, first ruling out the product-action, diagonal, and twisted-wreath cases (where the socle–stabilizer cannot be dihedral), via detailed subgroup structure analyses (see Lemmas 2.3–2.4 of (Chen et al., 13 Jan 2026)). The almost-simple case is resolved by examining lists of maximal subgroups in classical simple groups (Dickson’s classification, Giudici’s tables), supplemented by explicit calculations for small $\Omega$08 and exceptional groups (Lemmas 2.5–2.6).

This synthesis elucidates the restrictive nature of dihedral stabilizers in primitive groups, connecting automorphism group structure, subgroup maximality, and primitive action criteria. The results have direct applications to locally transitive block designs with dihedral local action, further highlighting the interplay between permutation group theory and design theory.

7. Applications and Further Directions

Primitive permutation groups with dihedral point stabilizers feature in classification of symmetric block designs with locally dihedral automorphism groups and in the construction of groups with prescribed maximal subgroups. The explicit forms enable detailed analysis of automorphism-induced actions in combinatorial structures, the enumeration of designs with maximal symmetry, and the study of infinite simple group actions with prescribed stabilizer structure.

The connection between block designs and permutation group primitivity suggests future avenues in the synthesis of locally dihedral combinatorial configurations and in the exploration of infinite group actions with solvable maximal subgroups, tracing further structural parallels between abstract group theory and discrete geometry (Chen et al., 13 Jan 2026, Smith, 2011).