The Fundamental Homomorphism Theorem

Abstract Algebra · Axiom Academy

INTRO The Fundamental Homomorphism Theorem Discover how every homomorphism naturally factors through its kernel, revealing the hidden structure of group maps. Let's explore the homomorphism φ: ℤ₁₂ → ℤ₄ defined by φ(x) = x mod 4. Click on elements in ℤ₁₂ to see where they map! The Kernel: Elements That Map to Zero Which elements in ℤ₁₂ map to the identity (0) in ℤ₄? Click on all elements you think are in the kernel. Let's group elements in ℤ₁₂ by where they map in ℤ₄. Notice anything special about these groups? The Factorization: Two Paths, Same Destination Every homomorphism can be broken into two steps: first collapse to cosets, then map isomorphically to the image. The Fundamental Homomorphism Theorem

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