Mathematics
Normal Subgroups and Quotient Groups
Quick fact
A subgroup N of G is normal if and only if it is the kernel of some group homomorphism from G to another group. This ties the 'ideals' of group theory directly to the structure of homomorphisms.
Why this is interesting
You know how you can divide numbers to get smaller, simpler ones? In group theory, there's a way to 'divide' a group by a subgroup—but only if the subgroup is special enough. What makes it special?
Read the full explanation
Understanding Normal Subgroups and Quotient Groups
Imagine a group as a collection of symmetries or permutations. Sometimes you want to 'factor out' a piece of the group to see the remaining structure. For that to work cleanly, the piece you remove must be a normal subgroup. A subgroup N is normal if it is invariant under conjugation by every element of G, meaning that for any g in G and n in N, the element gng⁻¹ is still in N. When this holds, the left and right cosets of N coincide, so we can form the set of all cosets {gN : g ∈ G} and define a natural multiplication on them: (aN)(bN) = (ab)N. This set of cosets is called the quotient group G/N. It inherits the group structure from G, and its size is |G|/|N|. The quotient group represents a 'coarse-grained' version of the original group, identifying all elements that differ by an element of N.
A deeper explanation
The reason normal subgroups are so powerful lies in their connection to homomorphisms. Any homomorphism φ: G → H has a kernel, and kernels are always normal subgroups. Conversely, given any normal subgroup N, there is a natural surjective homomorphism π: G → G/N, defined by π(g) = gN, whose kernel is exactly N. This one-to-one correspondence between normal subgroups and kernels of homomorphisms is a cornerstone of group theory. It allows us to 'factor' groups and to understand the image of a homomorphism as a quotient group of its domain (the First Isomorphism Theorem). Moreover, the lattice of normal subgroups of a group reveals its internal structure: a group with no nontrivial proper normal subgroups is called simple, and simple groups serve as the 'atoms' of group theory. Quotient groups are also essential for building chains of subgroups—composition series—whose factors are simple groups, leading to the classification of finite simple groups. In short, normal subgroups and quotient groups provide the mechanism to decompose and analyze groups, much like prime factorization does for integers.