Normal Subgroups

Abstract Algebra · Axiom Academy

The special subgroups that enable quotient groups and reveal the deep structure of group homomorphisms Mathematically, N is normal in G (written N ⊴ G) if: This means that when you conjugate any element n ∈ N by any group element g, the result gng⁻¹ is still in N. The subgroup is "stable" under conjugation. Let's visualize what conjugation does. When we conjugate an element n by g, we compute gng⁻¹. This operation "transforms" n by g's perspective. For a normal subgroup, every element n ∈ N, when conjugated by any g ∈ G, produces another element in N. The entire set N is closed under conjugation. 3. Three Equivalent Conditions There are three equivalent ways to characterize normal subgroups. Each perspective offers different insights: The alternating group A₃ = e, (123), (132) is a normal subgroup of S₃. Let's see why by checking conjugation: 5. Non-Example: Why Some Subgroups Fail Consider H = e, (12) in S₃. This subgroup is NOT normal. Let's see what goes wrong: Why Normal Subgroups Matter: Only when N ⊴ G can we form the quotient group G/N. Normal subgroups are precisely the kernels of group homomorphisms, making them fundamental to understanding group structure and the First Isomorphism Theorem.

This is the written version of the interactive lesson above. See the full Abstract Algebra course.