The Homomorphism Obstacle Course

Abstract Algebra · Axiom Academy

REAL WORLD The Homomorphism Factory Watch how homomorphisms transform group elements like a factory processes raw materials—preserving structure while mapping to new forms. In abstract algebra, a homomorphism is a structure-preserving map between two groups. Think of it as a factory that takes elements from one group (inputs) and produces elements in another group (outputs). The key property: the operation is preserved . If you multiply first then apply φ, you get the same result as applying φ first then multiplying. The "raw materials" entering the factory The "finished products" leaving the factory Let's watch the factory in action! Select different homomorphisms to see how they process elements from ℤ₆ (integers mod 6) to ℤ₃ (integers mod 3). The Kernel: Elements Mapped to Identity The kernel of a homomorphism φ is the set of all input elements that get "compressed" to the identity element in the output group. Measures "information loss": Larger kernel = more elements collapse to identity Determines injectivity: φ is injective (one-to-one) ⟺ ker(φ) = e Forms a normal subgroup: The kernel is always a normal subgroup of the domain Enables quotient groups: Foundation for the First Isomorphism Theorem For φ(x) = x mod 3 from ℤ₆ to ℤ₃, which elements are in the kernel? The Image: All Possible Outputs The image (or range) of a homomorphism φ is the set of all elements in the codomain that are actually "produced" by the factory. Codomain: All possible outputs (ℤ₃ = 0, 1, 2 )

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