A subgroup N ≤ G with gNg^{-1} = N for all g ∈ G (equivalently, N is the kernel of a homomorphism). Enables quotient groups.