H1 counts complements up to conjugacy
In the semidirect product A ⋊ G, a complement to A is a subgroup mapping isomorphically onto G. Complements correspond to derivations, and two complements are conjugate by an element of A exactly when the derivations differ by a principal one. So H1(G, A) is precisely the set of conjugacy classes of complements — a purely group-theoretic reading of a homological invariant.
Learning objectives
- Construct the semidirect product from an action.
- Match complements with derivations.
- Match conjugacy with principal derivations.
- Apply the correspondence to a concrete example.
Section 01The semidirect product
Given an action of G on A, the set A × G becomes a group under
It fits into a split short exact sequence 1 → A → A⋊G → G → 1, with the obvious splitting g ↦ (0, g).
Section 02Complements are derivations
- A complement is a subgroup C mapping isomorphically to G, so it has the form { (d(g), g) : g ∈ G } for some function d: G → A.
- C is closed under multiplication exactly when (d(g), g)(d(h), h) = (d(g) + g·d(h), gh) lies in C.
- That forces d(gh) = d(g) + g·d(h) — the derivation condition. The cocycle identity is a closure condition, not a definition imposed from outside.
- Conjugating C by (a, 1) replaces d by d′(g) = d(g) + a − g·a, which differs by a principal derivation.
- Hence conjugacy classes of complements correspond to Der/PDer = H1(G, A).
This is the cleanest example of a cohomology group having an elementary group-theoretic meaning. It also shows why H1 is a pointed set rather than merely a group in the non-abelian generalisation — the base point is the standard complement.
Section 03Consequences
Complements are conjugate
H1(G, A) = 0 means any two complements are conjugate. For A finite of order coprime to |G| this is part of the Schur–Zassenhaus theorem.
Coprime order vanishing
If |G| and |A| are coprime, Hn(G, A) = 0 for n ≥ 1, since |G| annihilates it and acts invertibly.
Galois cohomology
Hilbert 90 states H1(Gal(L/K), L×) = 1, which underlies Kummer theory and the classification of cyclic extensions.
ReferenceFrequently asked questions
Does this work for non-abelian A?
Partially. H1 can be defined as a pointed set for non-abelian coefficients and still classifies complements up to conjugacy, but it is not a group and there is no H2 in the same sense. Non-abelian cohomology stops early for this reason.
What is the relation to splittings of an extension?
A complement is exactly a splitting. So H1 measures how many essentially different splittings a split extension has, while H2 measures whether a splitting exists at all.
Why is the cocycle condition twisted?
Because the action of G on A intervenes when the two factors are multiplied. With trivial action the twist disappears and derivations become homomorphisms, which is the degenerate case.
NavigateContinue in this stream
Curated next steps from this page. The site also surfaces algorithmically related reading below.
ProvenanceSources and further reading
This page is an original KEVOS explanatory article. It presents the underlying mathematics — definitions, algorithms, complexity results and selection criteria — in KEVOS editorial voice. No text is reproduced from any copyrighted source. Where numerical tables are relevant, KEVOS links to live authoritative databases rather than republishing static values.