Second and Third Isomorphism Theorems

Abstract Algebra · Axiom Academy

LESSON Isomorphism Theorems II & III Understanding quotient structures through the Diamond Isomorphism and Correspondence Theorems Consider a group G with a normal subgroup N . We're interested in understanding the structure of the quotient group G/N and how subgroups of G relate to subgroups of G/N . N: A normal subgroup of G (N ⊴ G) G/N: The quotient group of cosets π: G → G/N: The natural projection homomorphism 2. Second Isomorphism Theorem (Diamond) SN = sn : s ∈ S, n ∈ N is a subgroup of G This theorem gets its "diamond" name from the lattice structure it creates. The four subgroups form a diamond shape: S and N at the sides, S ∩ N at the bottom, and SN at the top. 3. Third Isomorphism Theorem (Correspondence) This theorem is incredibly powerful: it says that to understand the subgroup structure of G/N, we only need to look at subgroups of G that contain N. The quotient operation preserves the lattice structure. 4. Computing Complex Quotients These theorems provide powerful computational tools. Let's see how to use them to simplify quotient calculations. These theorems reveal fundamental patterns in how quotients work: Second Theorem: Shows how subgroups interact with quotients through the diamond structure. Useful for computing products modulo subgroups. Third Theorem: Establishes that quotients preserve subgroup structure above the kernel. Essential for understanding composition series and Jordan-Hölder theorem.

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