Schur–Zassenhaus theorem

The Schur–Zassenhaus theorem is a fundamental result on finite group extensions. It says that a normal Hall subgroup always has a complement, so the corresponding extension splits; under a solvability hypothesis, all complements are conjugate. It therefore converts the problem of assembling $$G$$ from a normal subgroup $$N$$ and the quotient $$G/N$$ into a problem about semidirect products and actions. ^{[@isaacs2008]}

Definitions

Thus the following are equivalent: $$N$$ has a complement, the short exact sequence $1\to N\to G\to G/N\to1$ splits, and $$G$$ is a semidirect product of $$N$$ by a group isomorphic to $$G/N$$ .

The theorem

By the Feit–Thompson odd-order theorem, one of the coprime numbers $$|N|$$ and $$|G:N|$$ is odd and the corresponding finite group is solvable. Consequently the conjugacy conclusion is unconditional for finite groups. That formulation, however, invokes a theorem much deeper than Schur–Zassenhaus itself. Elementary treatments retain the explicit solvability assumption to show exactly what their proof uses.

The abelian normal Hall case

Isaacs proves the abelian case using crossed homomorphisms and transversals, avoiding cohomological terminology. ^{[@isaacs2008]}

Assume now that $N\triangleleft G$ is abelian, and choose a right transversal $$T$$ for $$N$$ . For any two transversals $$S$$ and $$T$$ , multiply the uniquely determined elements of $$N$$ measuring the difference between corresponding representatives; call the result $$d(S,T)$$ . Commutativity of $$N$$ makes this independent of ordering, and one obtains

\[ d(S,T)d(T,U)=d(S,U), \]

\[ d(Sg,Tg)=d(S,T)^g, \]

and, for $n\in N$ ,

d(T,Tn)=n^{|G:N|}.

Fixing $$T$$ , define $\theta(g)=d(T,Tg)$ . These identities show that $\theta$ is a crossed homomorphism for the conjugation action.

Crossed homomorphisms also describe conjugacy of complements. In cohomological language, complements correspond to suitable $$1$$ -cocycles and conjugacy classes of complements to classes in $$H^1(G/N,N)$$ . Coprime orders force that cohomology group to vanish.

Structure of the general existence proof

For a nonabelian normal Hall subgroup, the argument proceeds by induction on $$|G|$$ .

The proof exhibits the practical role of the Frattini argument and of the characterization of finite nilpotent groups by normal Sylow subgroups.

Conjugacy strategy

Let $$H$$ and $$K$$ complement $$N$$ . The induction seeks $g\in G$ such that $$H^g=K$$ .

If $$N$$ has a nontrivial characteristic abelian subgroup $$A$$ , first conjugate $$HA/A$$ and $$KA/A$$ in $$G/A$$ . After adjustment, assume $$HA=KA$$ and finish inside the smaller group $$HA$$ by the abelian case.
If $$N$$ is solvable, a minimal normal section is elementary abelian, so this reduction can be iterated.
If $$G/N$$ is solvable, use a minimal normal elementary abelian factor of the quotient, pull it back to a proper normal subgroup, and apply induction.

The point is not that complements are normal; usually they are not. One aligns the complements in a quotient and then removes the remaining difference using crossed homomorphisms over an abelian kernel. See Isaacs, Theorem 3.12, for the complete induction. ^{[@isaacs2008]}

Examples and counterexamples

Cohomological interpretation

For a fixed action of $$G/N$$ on an abelian $$N$$ :

the obstruction to splitting lies in $$H^2(G/N,N)$$ ;
conjugacy classes of complements are controlled by $$H^1(G/N,N)$$ .

When $$|N|$$ and $$|G/N|$$ are coprime, the relevant cohomology groups are annihilated by both orders and therefore vanish. This conceptual explanation accounts simultaneously for existence and uniqueness up to conjugacy in the abelian case.

Applications

Reducing finite extension problems to classification of semidirect-product actions.
Constructing Hall subgroups and Sylow systems in solvable groups.
Classifying groups of order $$pq$$ , $$p^aq^b$$ , and other orders with a normal Hall subgroup.
Separating coprime-action parts in representation theory and group cohomology.
Supplying structural models for coprime action, Hall subgroups, and Frobenius groups.

The corresponding Wikipedia article was used to cross-check the history, examples, and cohomological formulation. The proofs here were independently reorganized along Isaacs's elementary finite-group route. The cited Wikipedia revision is attributed under CC BY-SA. ^{[@wikipedia-schur-zassenhaus]}