The homomorphism theorems—often called the isomorphism theorems—are a collection of fundamental results in abstract algebra and universal algebra. They establish deep relationships between homomorphisms (structure‑preserving maps) and quotient structures (e.g., quotient groups, quotient rings, quotient modules). The three classic isomorphism theorems, together with the correspondence theorem, form the backbone of algebraic reasoning, allowing one to relate the internal structure of an algebraic object to its homomorphic images and its subobjects. In universal algebra, these theorems hold for any variety of algebras, making them a cornerstone of modern algebraic theory.
1.1 Historical context
The isomorphism theorems originated in the late 19th and early 20th centuries with the development of group theory and ring theory. Richard Dedekind, Emmy Noether, and others systematized the concept of quotient structures. Noether’s 1927 paper “Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern” explicitly formulated the first and second isomorphism theorems for rings and ideals, while group‑theoretic versions appeared earlier in the work of Otto Hölder and others. The theorems were later recognized as purely algebraic, independent of the specific operation—a viewpoint that led to universal algebra in the 1930s and 1940s.
1.2 Basic definitions (homomorphism, kernel, quotient)
A *homomorphism* is a map between two algebraic structures of the same type that preserves all operations. For groups, a homomorphism φ : G → H satisfies φ(ab) = φ(a)φ(b) for all a,b∈G. For rings, it preserves addition and multiplication. The *kernel* of a homomorphism is the set of elements mapping to the identity (or zero); it always forms a normal subgroup (or ideal). A *quotient structure* G/N (where N is a normal subgroup, ideal, or submodule) consists of cosets of N, with operations defined in the natural way, and it comes equipped with a canonical projection homomorphism π : G → G/N.
2.1 Statement
The first isomorphism theorem states that given any homomorphism φ from an algebraic structure A to a structure B, the image of φ is isomorphic to the quotient of A by the kernel of φ.
2.1.1 For groups
If φ : G → H is a group homomorphism, then φ induces an isomorphism G / ker φ ≅ im φ. In particular, im φ is a subgroup of H, and ker φ is a normal subgroup of G.
2.1.2 For rings
If φ : R → S is a ring homomorphism, then R / ker φ ≅ im φ. Here ker φ is an ideal of R, and im φ is a subring of S (and an ideal of φ(R) if φ is surjective).
2.1.3 For modules
If φ : M → N is a module homomorphism over a ring R, then M / ker φ ≅ im φ. The kernel is a submodule of M, and the image is a submodule of N.
2.2 Proof outline
Define ψ : A/ker φ → im φ by ψ(a·ker φ) = φ(a). One verifies that ψ is well‑defined because if a·ker φ = b·ker φ then a b⁻¹ ∈ ker φ, so φ(a) = φ(b). The map ψ is a homomorphism, injective (because ψ(a·ker φ) = identity implies a∈ker φ) and surjective (any φ(a) is ψ(a·ker φ)). Hence ψ is an isomorphism.
2.3 Examples
2.3.1 Cyclic groups
Let G = ℤ (under addition) and H = ℤₙ. Define φ : ℤ → ℤₙ by φ(k) = k mod n. Then ker φ = nℤ, and im φ = ℤₙ. The first isomorphism theorem gives ℤ / nℤ ≅ ℤₙ, recovering the well‑known isomorphism between the integers modulo n and the cyclic group of order n.
2.3.2 Matrix rings
Consider the ring homomorphism φ : M₂(F) → F that takes a 2×2 matrix over a field F to its trace (for fields of characteristic not 2). The kernel is the set of matrices with trace zero. The image is all of F (unless char(F)=2, where the image is the subfield of squares? Actually trace is surjective onto F). Then M₂(F) / ker φ ≅ F. This example shows how the first isomorphism theorem relates a linear condition to a field.
3.1 Statement
The second isomorphism theorem (sometimes called the diamond theorem) relates a subobject and a normal subgroup/ideal within a larger structure.
3.1.1 For groups
Let G be a group, H a subgroup, and N a normal subgroup of G. Then: (i) HN is a subgroup of G, (ii) H ∩ N is a normal subgroup of H, and (iii) H / (H ∩ N) ≅ HN / N.
3.1.2 For rings
Let R be a ring, S a subring, and I an ideal of R. Then: (i) S + I is a subring of R, (ii) S ∩ I is an ideal of S, and (iii) S / (S ∩ I) ≅ (S + I) / I.
3.2 Proof outline
For groups: Define φ : H → G/N by φ(h) = hN. The kernel is H ∩ N, and the image is HN/N. By the first isomorphism theorem, H/(H ∩ N) ≅ HN/N. The verification that HN is a subgroup and H∩N is normal in H follows directly from the definitions.
3.3 Examples
3.3.1 Normal subgroups and intersections
Take G = ℤ (additive group), H = 2ℤ (subgroup of even integers), and N = 3ℤ (subgroup of multiples of 3, which is normal because ℤ is abelian). Then HN = 2ℤ+3ℤ = ℤ (since 1 = 3−2 is in the sum). H∩N = 6ℤ. The second isomorphism theorem gives 2ℤ / 6ℤ ≅ ℤ / 3ℤ, which corresponds to the fact that the even integers modulo 6 behave like the integers modulo 3.
4.1 Statement
The third isomorphism theorem describes how taking two consecutive quotients relates to a single quotient.
4.1.1 For groups
Let G be a group with normal subgroups N and K such that N ⊆ K ⊆ G. Then K/N is a normal subgroup of G/N, and (G/N) / (K/N) ≅ G/K.
4.1.2 For rings
Let R be a ring with ideals I and J such that I ⊆ J ⊆ R. Then J/I is an ideal of R/I, and (R/I) / (J/I) ≅ R/J.
4.2 Relationship to the first two theorems
The third isomorphism theorem can be derived from the first theorem by considering the composition of projections: π : G → G/K, factored through G/N. Alternatively, it follows from the second theorem by appropriate choices of subobject and normal subgroup. It shows that quotient structures behave “telescopically”.
4.3 Examples
4.3.1 Quotient of a quotient
Take G = ℤ, N = 6ℤ, K = 12ℤ. Then ℤ/6ℤ has a normal subgroup 12ℤ/6ℤ ≅ 2ℤ/ℤ? Actually 12ℤ/6ℤ consists of cosets {0,6} modulo 6 (i.e., multiples of 12 give classes 0 and 6 in ℤ/6ℤ). Then (ℤ/6ℤ) / (12ℤ/6ℤ) ≅ ℤ/12ℤ. This illustrates that factoring out further multiples yields a larger cyclic group.
5.1 Statement
The correspondence theorem, also known as the lattice isomorphism theorem, establishes a bijection between subobjects of a quotient structure and subobjects of the original structure that contain the kernel/ideal.
5.1.1 For groups
Let G be a group and N a normal subgroup. There is a one‑to‑one correspondence between subgroups H of G that contain N and subgroups H̄ of G/N, given by H ↔ H/N. Moreover, H is normal in G if and only if H/N is normal in G/N, and in that case G/H ≅ (G/N)/(H/N).
5.1.2 For rings
Let R be a ring and I an ideal. There is a one‑to‑one correspondence between subrings (or ideals) J of R with I ⊆ J and subrings (ideals) of R/I, given by J ↔ J/I. In particular, the lattice of ideals of R containing I is isomorphic to the lattice of ideals of R/I.
5.2 Proof outline
Define a map from the set of subgroups of G containing N to subgroups of G/N by H ↦ H/N. The inverse sends a subgroup H̄ of G/N to π⁻¹(H̄), where π : G → G/N is the natural projection. One verifies that these maps are well‑defined, inverses, and preserve inclusion, normality, and intersections/joins. The ring case is analogous.
5.3 Examples
5.3.1 Subgroup lattice of a cyclic group
Consider G = ℤ₁₂ (cyclic group of order 12) and N = ⟨4⟩ ≅ ℤ₃? Actually 4 generates a subgroup of order 3: {0,4,8}. Then G/N ≅ ℤ₄. The subgroups of G containing N are G itself, ⟨2⟩+N? In ℤ₁₂, subgroups correspond to divisors of 12. Those containing N (order 3) are subgroups of orders 12, 6, 3. Under the correspondence, these map to the subgroups of ℤ₄ (orders 4,2,1). This illustrates the lattice isomorphism.
6.1 In universal algebra
In universal algebra, the homomorphism theorems hold for any variety—that is, any class of algebraic structures defined by operations and equations (e.g., groups, rings, lattices, Boolean algebras). The key is the existence of congruence relations (equivalence relations compatible with all operations) that play the role of kernels. For any homomorphism φ : A → B, the kernel congruence θ_φ = {(a,a′) ∈ A×A : φ(a)=φ(a′)} is a congruence, and A/θ_φ ≅ im φ. Similar statements hold for the second and third theorems and the correspondence theorem. This unifying perspective emphasizes that the isomorphism theorems depend only on the algebraic structure, not on the specific axiomatics.
6.2 In category theory
Category theory provides an even more general setting for the isomorphism theorems, especially in the context of abelian categories and regular categories.
6.2.1 Regular epimorphisms and factorization systems
In a regular category (e.g., the category of groups, rings, or modules), every morphism factors as a regular epimorphism followed by a monomorphism. The first isomorphism theorem becomes the statement that this factorization is unique up to isomorphism: the image of a morphism is isomorphic to the coimage (the quotient of the domain by the kernel pair). The second and third theorems correspond to properties of the lattice of subobjects and the behaviour of pullbacks and pushouts. In any exact category, the isomorphism theorems hold in full generality.