Kernels, images, and the First Isomorphism Theorem
A ring homomorphism f: R → S is a function that preserves both operations: f(a + b) = f(a) + f(b) and f(ab) = f(a)f(b). The kernel ker(f) = {a ∈ R : f(a) = 0} is always an ideal of R, and the First Isomorphism Theorem says R/ker(f) ≅ im(f).
In this lesson, you will build homomorphisms by hand, verify the kernel is an ideal, and see the First Isomorphism Theorem in action.
Define a map between two rings element by element. The explorer checks in real time whether your map preserves addition and multiplication. Most random maps fail -- only very special maps are homomorphisms. Try the canonical projection and see that it always works.
Key insight: A ring homomorphism is completely determined by where it sends the generators. For the projection Z/6Z → Z/3Z, sending 1 to 1 forces every other value.
The kernel of a ring homomorphism is not just a subring -- it is an ideal. This means it absorbs multiplication from the entire ring: if k ∈ ker(f) and r ∈ R, then rk ∈ ker(f). Verify this property interactively for the canonical projection.
Verify ker(f) is an ideal
Closed under addition:
0 + 0 = 0 ✓
0 + 3 = 3 ✓
3 + 0 = 3 ✓
3 + 3 = 0 ✓
Absorbs multiplication:
Click r \u2208 Z/6Z (non-red), then k \u2208 ker(f) (red) to check r\u00B7k \u2208 ker(f)
Key insight: The correspondence is exact: every ideal is the kernel of some homomorphism, and every kernel is an ideal. Ideals and kernels are two views of the same concept.
The First Isomorphism Theorem states that R/ker(f) ≅ im(f). The quotient by the kernel is isomorphic to the image. This is the most important structural result in ring theory -- it connects quotients, homomorphisms, and ideals into a single picture.
The First Isomorphism Theorem: for a ring homomorphism f: R \u2192 S, we have R/ker(f) \u2245 im(f). The cosets of the kernel collapse into single elements that biject onto the image.
Key insight: The First Isomorphism Theorem is universal: it holds for groups, rings, modules, and more. The pattern "quotient by kernel equals image" is the central organizing principle of abstract algebra.