Normal Subgroups, Quotient Groups, and Isomorphism Theorems

Group theory can often seem abstract, but understanding Normal Subgroups, Quotient Groups, and Isomorphism Theorems is crucial for unlocking deeper insights into algebraic structures. This article will guide you through these fundamental concepts, explaining why they are essential, how they work, and their powerful applications in abstract algebra. We'll explore the definition of normal subgroups, the construction of quotient groups, and the three celebrated isomorphism theorems that reveal profound connections between groups and their substructures. Join us to demystify these core ideas and enhance your understanding of group theory.

Understanding Normal Subgroups: The Foundation for Quotient Groups

To construct a new group from the cosets of a subgroup, a special condition is required. Traditionally, for a subgroup H of a group G, left cosets aH and right cosets Ha might not be equal. However, for the set of cosets G/H to form a group under the operation (Ha)(Hb) = H(ab), we need cosets to respect multiplication. This means we require aH = Ha for all a ∈ G. This leads us to the definition of a normal subgroup.

What is a Normal Subgroup?

A subgroup H of a group G is called a normal subgroup of G, written H ⊲ G, if ghg⁻¹ ∈ H for all g ∈ G and all h ∈ H. This definition is equivalent to the condition gH = Hg for all g ∈ G, meaning left and right cosets coincide. Every group always has at least two trivial normal subgroups: {e} (the identity element) and G itself. A key insight is that every subgroup of an abelian group is normal.

Three Equivalent Conditions for Normality

Let H be a subgroup of G (H ≤ G). The following conditions are equivalent:

1. H ⊲ G (H is a normal subgroup of G)
2. gHg⁻¹ ⊆ H for all g ∈ G
3. gHg⁻¹ = H for all g ∈ G

The proof sketch involves showing that (1) ⇒ (2) directly from the definition, (2) ⇒ (3) by applying condition (2) to g⁻¹ to get the reverse inclusion, and (3) ⇒ (1) by multiplying gHg⁻¹ = H by g on the right to get gH = Hg.

The Index-2 Theorem

A very useful theorem states: If H ≤ G and the index [G : H] = 2, then H ⊲ G. This means if a subgroup has exactly two left cosets (or two right cosets), it must be normal. The two cosets will be H and G inaryH for both left and right, ensuring gH = Hg for all g ∈ G. A classic example is the alternating group A_n within the symmetric group S_n, as [S_n : A_n] = 2 always implies A_n ⊲ S_n.

Examples of Normal and Non-Normal Subgroups

Let's consider S_3 = {e, (12), (13), (23), (123), (132)}:

• Normal Subgroup Example: Let H = ⟨(123)⟩ = {e, (123), (132)}. Since [S_3 : H] = 2, by the Index-2 Theorem, H ⊲ S_3. We can also verify H(12) = {(12), (23), (13)} and (12)H = {(12), (13), (23)}, showing H(12) = (12)H.
• Non-Normal Subgroup Example: Let K = {e, (12)}. Here, (123)K = {(123), (13)} but K(123) = {(123), (23)}. Since (123)K ≠ K(123), K is not a normal subgroup of S_3.

The Kernel of a Homomorphism is Always Normal

One of the most powerful tools for identifying normal subgroups is the Golden Rule: The kernel of any homomorphism is a normal subgroup of its domain. If φ: G → H is a homomorphism, its kernel ker(φ) = {g ∈ G | φ(g) = 1_H}. To prove ker(φ) ⊲ G, let K = ker(φ), k ∈ K, and g ∈ G. Then φ(gkg⁻¹) = φ(g)φ(k)φ(g)⁻¹ = φ(g) ⋅ 1_H ⋅ φ(g)⁻¹ = 1_H. Thus, gkg⁻¹ ∈ K, showing K is normal. For instance, A_3 is the kernel of the sign homomorphism φ: S_3 → Z_2, confirming A_3 ⊲ S_3.

Constructing Quotient Groups: Zooming Out on Group Structure

With a normal subgroup H ⊲ G established, we can now form the set of cosets G/H = {Hg | g ∈ G} and define a group operation on it.

Definition and Operation

For H ⊲ G, we define multiplication on G/H as (Hg₁)(Hg₂) = H(g₁g₂). This operation is well-defined precisely because H is normal. If Hg₁ = Hg′₁ and Hg₂ = Hg′₂, we need H(g₁g₂) = H(g′₁g′₂) to hold. This relies on being able to