Kernels, images, and the First Isomorphism Theorem
Some maps between rings respect both addition and multiplication, but most do not. Find the ones that do, and see how they fold one ring onto another.
Click a source element to cycle its target and watch the verdict update. Most maps fail; press Canonical Projection to see one that works.
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).
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.
Click an element marked ker, then an element outside the kernel. Their product always lands back in the kernel.
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 ∈ Z/6Z (non-red), then k ∈ ker(f) (red) to check r·k ∈ ker(f)
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.
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.
Choose a homomorphism and match each coset of its kernel with an element of its image. They line up one to one.
The First Isomorphism Theorem: for a ring homomorphism f: R → S, we have R/ker(f) ≅ im(f). The cosets of the kernel collapse into single elements that biject onto the image.
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.
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.
Spot a mistake or have an idea?