Quotient Group

Why quotient groups matter

Quotient groups are the universal way to "collapse" a part of a group while keeping the rest of the structure intact. Every constructive operation in group theory — abelianization, homology, classification by composition factors, Galois correspondence — runs through a quotient.

• Classification of groups. Hölder's program — every finite group is built from simple groups via repeated extensions. The simple groups are the "atoms"; the way they fit together is captured by composition series, which are sequences of quotients. The Classification of Finite Simple Groups (≈10,000 pages, completed 1980s, revised 2000s) is the deepest theorem of 20th-century group theory.
• Kernels of homomorphisms. The first isomorphism theorem says every homomorphism factors as a quotient followed by an injection — G → G/ker(φ) → H. Quotients are universal "image" constructions.
• Abelianization. The commutator subgroup [G, G] is normal, and G/[G, G] is the largest abelian quotient — capturing exactly the abelian part of G's structure. Used in homology theory (H₁ of a space is the abelianization of π₁).
• Galois theory. Subfields of a Galois extension L/K correspond to subgroups of Gal(L/K); Galois subextensions correspond to normal subgroups, with Gal(M/K) ≅ G/H.
• Linear algebra. GL_n(ℝ)/SL_n(ℝ) ≅ ℝ* via the determinant. PGL_n = GL_n / scalar matrices is the projective linear group, the symmetry group of projective space.
• Topology. Quotient groups appear as fundamental groups of quotient spaces — π₁(G/H) = π₁(G)/π₁(H) under suitable conditions. The torus T² = ℝ²/ℤ² has π₁ = ℤ².
• Modular arithmetic. ℤ/nℤ is the prototype — collapsing the additive structure of ℤ by the normal subgroup nℤ gives the integers mod n.

Cosets — partitioning by a subgroup

For any subgroup H ≤ G and any g ∈ G, the left coset is gH = {gh : h ∈ H} and the right coset is Hg = {hg : h ∈ H}. Cosets partition G — every element belongs to exactly one coset, and two cosets are either equal or disjoint. The cosets all have |H| elements (when finite), so |G| = (# cosets) · |H| — Lagrange's theorem.

The set of left cosets is denoted G/H. When H is normal, left cosets = right cosets and G/H inherits a group structure. When H is not normal, G/H is just a set with a G-action.

Normal subgroups — equivalent characterizations

A subgroup N ≤ G is normal (written N ⊴ G) if any of the following equivalent conditions hold:

• gNg⁻¹ = N for all g ∈ G (conjugation invariance — the subgroup is closed under conjugation by any element)
• gN = Ng for all g ∈ G (left and right cosets coincide)
• N is the kernel of some group homomorphism out of G
• N is a union of conjugacy classes of G

In abelian groups every subgroup is normal (conjugation is trivial). In simple groups, only {e} and G itself are normal. Most groups have a small lattice of normal subgroups — for example S_n has only {e}, A_n, and S_n as normal subgroups when n ≥ 5.

Worked examples of quotients

G	N	G/N	Note
ℤ	nℤ	ℤ/nℤ	Cyclic of order n; foundation of modular arithmetic
Sₙ (n ≥ 2)	Aₙ	ℤ/2	Sign homomorphism; even vs odd permutations
GLₙ(ℝ)	SLₙ(ℝ)	ℝ*	Determinant map
D₂ₙ (dihedral)	Cₙ (rotations)	ℤ/2	Reflection vs rotation
U(n)	SU(n)	U(1) ≅ S¹	Determinant in physics — phase symmetry
ℝ	ℤ	S¹ ≅ ℝ/ℤ	Circle group; foundation of Fourier analysis
ℝ²	ℤ²	T² (torus)	Topological / Lie-theoretic example
Q₈ (quaternion)	{±1}	ℤ/2 × ℤ/2	Klein four-group as quotient

The three isomorphism theorems

The first isomorphism theorem is one of three foundational results that organize quotient constructions.

1. First. For φ : G → H a homomorphism, G/ker(φ) ≅ Im(φ). The induced map ḡ ↦ φ(g) is the isomorphism.
2. Second. For S ≤ G, N ⊴ G, we have SN/N ≅ S/(S ∩ N). Used to relate quotients to intersections.
3. Third. For N ⊴ K ⊴ G with N ⊴ G, we have (G/N)/(K/N) ≅ G/K. The "quotient of quotients" theorem.

Together with the correspondence theorem (subgroups of G/N are in bijection with subgroups of G containing N), these are the toolkit for nearly every quotient computation.

Abelianization and the commutator subgroup

The commutator subgroup [G, G] is generated by all commutators [g, h] = ghg⁻¹h⁻¹. It is the smallest normal subgroup of G with abelian quotient. The quotient G^ab = G/[G, G] is the abelianization of G.

Universal property — every homomorphism from G into an abelian group factors uniquely through G^ab. So abelianization is the "best abelian approximation" of G. Examples — (Sₙ)^ab = ℤ/2 (the sign), (Free group on n letters)^ab = ℤⁿ, (D₂ₙ)^ab depends on parity of n.

In topology, the first homology group H₁(X) of a space X is the abelianization of the fundamental group π₁(X). Many topological invariants are quotient groups in disguise.

Common misconceptions

• "Any subgroup gives a quotient." Only normal subgroups. If H ≤ G is not normal, the set of cosets G/H still exists but does not inherit a group structure — multiplication of cosets isn't well-defined. The most important property of a subgroup, for quotient purposes, is normality.
• "G/N is always abelian." Only when [G, G] ⊆ N. If N is too small, G/N can still be non-abelian — for instance ℤ/4 quotiented by 0 is just ℤ/4 (abelian here, but the same logic applies more generally), while non-abelian groups like S₃ have non-abelian quotients (S₃/{e} ≅ S₃ is non-abelian).
• "G/N is smaller than G." Usually but not always strictly. |G/N| = |G|/|N| in finite groups, so G/N has fewer elements when |N| > 1. But for G infinite, G/N can be infinite — e.g. G = ℝ², N = ℤ², G/N = T² is uncountable.
• "Cosets are subgroups." No — only the coset eN = N is a subgroup. Other cosets gN don't contain the identity (unless g ∈ N) and aren't closed under multiplication. They are the elements of the quotient group, not subgroups of G.
• "Normality is transitive." No — N ⊴ K ⊴ G does NOT imply N ⊴ G. For example, in S₄, take K = V₄ (Klein four-group) and N a subgroup of V₄ of order 2. V₄ ⊴ S₄ and N ⊴ V₄ (V₄ is abelian), but N is not normal in S₄. Normality is "one-step" only.
• "A quotient group is a subgroup." No — G/N is a different group, not a subgroup of G. Sometimes G/N is isomorphic to a subgroup (when the extension splits — semidirect products), but in general the quotient is distinct from any subgroup of G.