Normal Subgroups & Quotient Groups: A Simple Guide

A subgroup N of G is normal if it is invariant under conjugation: gNg⁻¹ = N for every g ∈ G, equivalently every left coset equals the corresponding right coset (gN = Ng). When N is normal, the cosets themselves form a group — the quotient group G/N — in which N plays the role of the identity. The classic example: nℤ inside ℤ gives the quotient ℤ/nℤ, ordinary clock arithmetic.

Normality matters because quotients are how new groups are built from old ones, and normal subgroups are exactly the kernels of homomorphisms. The isomorphism theorems — the structural core of group theory — are all statements about quotients by normal subgroups.

Key Concepts

• Normal subgroup: N ◃ G if gNg⁻¹ = N for all g ∈ G, equivalently gN = Ng for all g.
• Automatic normality: every subgroup of an abelian group is normal; every subgroup of index 2 is normal.
• Quotient group: G/N = {cosets of N} with multiplication (aN)(bN) = abN — well-defined precisely when N is normal.
• Order: |G/N| = |G|/|N| = [G : N] for finite G.
• Kernels: the kernel of any homomorphism is a normal subgroup, and every normal subgroup is some homomorphism's kernel.
• Simple group: a group with no non-trivial proper normal subgroups (e.g. A₅, ℤₚ for prime p).

Formulas

• Normality test: N ◃ G ⟺ ∀g ∈ G, ∀n ∈ N: gng⁻¹ ∈ N.
• Quotient multiplication: (aN)(bN) = abN; normality guarantees the result is independent of coset representatives.
• First isomorphism theorem: for a homomorphism φ: G → K, G/ker(φ) ≅ im(φ).
• Size: |G/N| = [G : N].

Worked Example

Form the quotient of G = ℤ₁₂ by N = {0, 4, 8} and identify the resulting group.

1. Normality: ℤ₁₂ is abelian, so every subgroup is normal — N ◃ G ✓.
2. Cosets: the four distinct cosets are 0+N = {0,4,8}, 1+N = {1,5,9}, 2+N = {2,6,10}, 3+N = {3,7,11}. So |G/N| = 12/3 = 4.
3. Multiplication: (1+N) + (1+N) = 2+N; (1+N)+(2+N) = 3+N; (2+N)+(2+N) = 4+N = 0+N since 4 ∈ N.
4. The element 1+N satisfies 4·(1+N) = 4+N = 0+N and no smaller positive multiple does, so it has order 4.
5. A group of order 4 with an element of order 4 is cyclic: G/N ≅ ℤ₄. Intuitively, quotienting collapses each triple {k, k+4, k+8} to one point, leaving 4-point clock arithmetic.

Common Misconceptions

• "Every subgroup is normal." No — in D₃ (triangle symmetries), H = {e, s} is not normal: rsr⁻¹ = r²s ∉ H. Normality is a real restriction in non-abelian groups.
• "Quotient elements are elements of G." They are cosets — subsets of G. In ℤ₁₂/N, the "elements" are the triples {0,4,8}, {1,5,9}, etc.
• "(aN)(bN) = abN always works." Only for normal N; with non-normal N the product depends on which representatives you pick, so it is not a valid operation.

Real-World Applications

• Modular arithmetic: ℤ/nℤ = ℤ/nℤ is the quotient construction behind all of clock arithmetic and RSA.
• Galois theory: normal subgroups of Galois groups correspond to normal field extensions — the heart of solvability of polynomials.
• Error-correcting codes: syndrome decoding works in quotient spaces of vector spaces (the additive-group case).

A normal subgroup is one whose left and right cosets agree, and only then do the cosets form the quotient group G/N — with N collapsed to the identity. The ℤ₁₂/{0,4,8} computation shows the full pattern: verify normality, list cosets, multiply them, and recognise the result (here ℤ₄). Kernels, isomorphism theorems, and simple groups all grow from this one idea.