# Ring homomorphism

A **ring homomorphism** is a function between two rings that preserves the ring structure: it carries sums to sums and products to products, so that φ(a + b) = φ(a) + φ(b) and φ(ab) = φ(a)φ(b) for all elements a and b of the source ring.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup>

| Key fact | Detail |
|---|---|
| What is preserved | Addition and multiplication, φ(a + b) = φ(a) + φ(b) and φ(ab) = φ(a)φ(b); many texts add φ(1_R) = 1_S.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup><sup> • </sup><sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup> |
| Kernel and image | The kernel φ⁻¹(0) is an ideal of the source; the image is a subring of the target; φ is injective exactly when the kernel is {0}.<sup>[3](https://openmathbooks.org/aatar/section-ring-homomorphisms.html)</sup><sup> • </sup><sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup> |
| First isomorphism theorem | R/ker φ ≅ im φ, via r + ker φ ↦ φ(r).<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup> |
| Map from Z | Under the unital convention there is exactly one homomorphism Z → R, whose image is the prime ring, isomorphic to Z when char(R) = 0 and to Z_m when char(R) = m.<sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup> |
| Counting Z_m → Z_n | When n divides m, the number of ring homomorphisms from Z_m to Z_n is 2^{w(n)}, where w(n) is the number of distinct prime divisors of n.<sup>[5](https://arxiv.org/html/2502.14266)</sup> |
| Fields | Every unital field homomorphism is injective, because a field has only the trivial ideal and the field itself as ideals.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup> |
| Algebraic geometry | A unital homomorphism of commutative rings φ: A → B induces a continuous map φ*: Spec(B) → Spec(A), q ↦ φ⁻¹(q), reversing the direction of the map.<sup>[7](https://androma.org/theorems/21778)</sup> |

## Definition and basic properties

A ring homomorphism φ: R → S must satisfy two equations, φ(a + b) = φ(a) + φ(b) and φ(ab) = φ(a)φ(b) for all a, b ∈ R.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup> Beyond these, textbooks divide on a third condition. The unital convention requires φ(1_R) = 1_S as well; a map satisfying only the two equations is then called a rng homomorphism.<sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup> The unit condition is not a consequence of the other two, so the two conventions genuinely describe different classes of maps.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup>

**Why the convention matters.** Requiring φ(1_R) = 1_S prohibits, for example, multiplication-by-2 from giving a ring homomorphism from Z to Z, and it means there is no trivial (zero) ring homomorphism between nonzero unital rings.<sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup> Under the nonunital convention such maps are allowed: one textbook presents ρ: Z → Z_5 sending k to (2k) mod 5 as a ring homomorphism, while another defines the term without any unit condition at all.<sup>[8](https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Introduction_to_Algebraic_Structures_(Denton)/07%3A_Rings_I/7.02%3A_Ring_Homomorphisms)</sup><sup> • </sup><sup>[9](https://www.math.umd.edu/~immortal/MATH403/lecturenotes/ch15.pdf)</sup> Software follows the unital convention: SageMath notes that since a ring homomorphism maps 1 to 1, a zero morphism exists only when mapping to the trivial ring, and the Hom set from Z to Z/2Z has no zero element.<sup>[10](https://github.com/passagemath/passagemath/blob/main/src/sage/rings/homset.py)</sup> The Rust library feanor-math likewise requires homomorphisms to be unital because all rings it considers are unital.<sup>[11](https://docs.rs/feanor-math/latest/feanor_math/homomorphism/trait.Homomorphism.html)</sup>

Two basic facts hold under either convention. The kernel of φ, defined as φ⁻¹(0), and the image φ(R) measure the map: φ is injective if and only if Ker(φ) = {0}, and surjective if and only if Image(φ) = S.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup> A unital homomorphism carries units to units, with φ(r⁻¹) = φ(r)⁻¹ for every unit r of R.<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup>

## Kernel, image, and isomorphism theorems

The kernel of any ring homomorphism φ: R → S is an ideal in R, meaning a subring I such that ar and ra lie in I for every a ∈ I and every r ∈ R.<sup>[3](https://openmathbooks.org/aatar/section-ring-homomorphisms.html)</sup> Ideals play the role in ring theory that normal subgroups play in group theory. Under the unital convention the kernel is a proper ideal, since φ(1_R) = 1_S ≠ 0 in any codomain with 1 ≠ 0.<sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup> The converse also holds: every ideal A of a ring R is the kernel of the canonical homomorphism R → R/A taking r to r + A.<sup>[9](https://www.math.umd.edu/~immortal/MATH403/lecturenotes/ch15.pdf)</sup>

**The first isomorphism theorem** states that for a homomorphism ψ, the kernel ker ψ is an ideal of R and there is a unique isomorphism η: R/ker ψ → ψ(R) with ψ = η ∘ φ, where φ is the canonical quotient map.<sup>[3](https://openmathbooks.org/aatar/section-ring-homomorphisms.html)</sup> Concretely, the map R/ker φ → im φ given by r + ker φ ↦ φ(r) is a well-defined isomorphism.<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup> The theorem says that every homomorphic image of R is isomorphic to a quotient R/I for some ideal I, so knowing all quotient rings of R amounts to knowing all its possible homomorphic images, and the ideal I measures how much information is lost in passing from R to its image.<sup>[12](https://gioretikto.github.io/mat/algebra/fund_theorem_homomorphism.html)</sup>

The second and third isomorphism theorems complete the picture: (S + I)/I ≅ S/(S ∩ I) and (R/J)/(I/J) ≅ R/I for suitable ideals.<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup> The Chinese Remainder Theorem is the corresponding statement for several ideals at once: for pairwise relatively prime ideals I_j it gives R/(∩ I_j) ≅ ∏ R/I_j; its original form was a result about congruences in number theory discovered by [Sun Tzu](https://www.edgepedia.org/sun-tzu) in the 3rd century.<sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup>

## Key examples and constructions

Reduction modulo n is the standard first example: for any integer n, the map φ: Z → Z_n given by a ↦ a mod n is a ring homomorphism, and as the canonical map Z → Z/nZ it is surjective with kernel nZ.<sup>[3](https://openmathbooks.org/aatar/section-ring-homomorphisms.html)</sup><sup> • </sup><sup>[13](https://math.mit.edu/classes/18.702/summary-mar3.pdf)</sup> [Evaluation](https://www.edgepedia.org/evaluation) maps are the next standard class: for a field F and an element r, the map ε_r: F[x] → F defined by ε_r(p(x)) = p(r) is a ring homomorphism.<sup>[14](https://ringswithinquiry.org/rwi/SubSec-Homomorphisms.html)</sup> When F is an infinite field, the evaluation map F[x] → Func(F, F) has zero kernel, since a polynomial vanishing at every element of F has infinitely many roots, so F[x] is isomorphic to the ring of polynomial functions; for Z_p the kernel is the ideal generated by x^p − x.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup>

Not every natural-looking map qualifies. Complex conjugation z ↦ z̄ on C is a ring homomorphism because it preserves both sums and products, but the norm map ψ(z) = ‖z‖ is not, since norms do not add.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup> Inclusions of subrings are always homomorphisms, and maps across moduli exist as well, such as φ: Z₁₂ → Z₃₀ given by φ(x) = 10x mod 30.<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup><sup> • </sup><sup>[9](https://www.math.umd.edu/~immortal/MATH403/lecturenotes/ch15.pdf)</sup>

**The Frobenius endomorphism.** SageMath implements Frobenius endomorphisms as a class on rings of prime characteristic, with concrete instances such as t ↦ t⁷ on the finite field of size 7¹⁴; on a finite field every power of Frobenius is both injective and surjective, hence an automorphism.<sup>[15](https://doc.sagemath.org/html/en/reference/rings/sage/rings/morphism.html)</sup><sup> • </sup><sup>[16](https://passagemath.org/docs/latest/html/en/reference/finite_rings/sage/rings/finite_rings/hom_finite_field.html)</sup>

## By the numbers

The image η(Z) of the unique homomorphism η: Z → R is called the prime ring, the smallest subring of R; it is isomorphic to Z if char(R) = 0 and to Z_m if char(R) = m is finite.<sup>[2](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)</sup> Characteristic constrains maps out of quotient rings in a sharp way: there is a unique homomorphism from Z/nZ to F_p if and only if p divides n.<sup>[13](https://math.mit.edu/classes/18.702/summary-mar3.pdf)</sup>

Under the nonunital convention the classification of maps out of Z is richer: every ring homomorphism φ: Z → R is of the form φ_a(k) = ka for some a ∈ R, and φ_a is a homomorphism exactly when a² = a, that is, when a is idempotent.<sup>[1](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)</sup> This is the same classification that produces the counting formula: the number of ring homomorphisms from Z_m to Z_n is 2^{w(n)}, where w(n) is the number of distinct prime divisors of n.<sup>[5](https://arxiv.org/html/2502.14266)</sup> For instance, when m is even, there are precisely two distinct ring homomorphisms from Z_m to Z_2, since the image of 1 must be idempotent and Z_2 has only two idempotents.<sup>[5](https://arxiv.org/html/2502.14266)</sup> Earlier work fixed related counts: Gallian and Van Buskirk determined the number of ring homomorphisms from Z_m to Z_n, and Saleh and Yousef generalized this to products Z_{m1} × … × Z_{mr} → Z_{k1} × … × Z_{ks}.<sup>[17](https://www.rgnpublications.com/journals/index.php/cma/article/view/1415)</sup> A general solution for counting ring homomorphisms between arbitrary finite rings remains elusive, even for finite rings, though one paper characterizes all ring homomorphisms from Z^n to Z^m and from Q^n to Q^m.<sup>[17](https://www.rgnpublications.com/journals/index.php/cma/article/view/1415)</sup>

## How it compares with related morphisms

A group homomorphism needs only one preservation law, φ(a · b) = φ(a) ⋆ φ(b); a ring homomorphism needs both additive and multiplicative preservation, and for unital rings one usually adds φ(1_R) = 1_S, which is not a consequence of the first two.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup> Every ring homomorphism is in particular a group homomorphism for the underlying additive groups.<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup> A module homomorphism instead satisfies φ(u + v) = φ(u) + φ(v) and φ(r · v) = r · φ(v); over a field this is a linear map, and it preserves scalar multiplication rather than internal multiplication.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup>

The isomorphism theorem machinery has a uniform shape across all three settings: the kernel is a normal subgroup for groups, an ideal for rings, and a submodule for modules, and in each case A/ker φ ≅ im φ.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup>

**Fields are rigid.** Every unital field homomorphism is automatically injective, because its kernel is an ideal of the source field, and the only ideals of a field are the trivial ideal and the field itself.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup> Correspondingly, if R is a field and φ(R) ≠ {0}, then φ(R) is a field.<sup>[3](https://openmathbooks.org/aatar/section-ring-homomorphisms.html)</sup> Isomorphisms preserve the properties of being commutative, an integral domain, and a field, and the inverse of an isomorphism is an isomorphism.<sup>[4](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)</sup>

## Categorical perspective

Collecting all rings and all homomorphisms between them yields the category Ring. For nonunital rings the condition f(1_R) = 1_S cannot be included in the definition of homomorphism, so one considers ring homomorphisms without that extra condition, which makes Ring a non-full subcategory of the category Rng of all rings.<sup>[18](https://tac.mta.ca/tac/volumes/39/22/39-22.pdf)</sup> The category also reveals that surjectivity is not the only way to be epic: the inclusion Z ↪ Q is an epimorphism in the category of rings even though it is not surjective.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup> Small automorphism groups can be computed directly: since an endomorphism of Z is determined by φ(1), the group Aut(Z) consists only of the identity map and is trivial.<sup>[6](https://algebrica.org/homomorphisms-and-isomorphisms/)</sup><sup> • </sup><sup>[22](https://www.math.columbia.edu/~khovanov/MA2_2022/files/01_rings.pdf)</sup>

## Applications in practice

**Algebraic geometry runs on contravariance.** Every unital homomorphism of commutative rings φ: A → B induces a continuous map φ*: Spec(B) → Spec(A), sending a prime ideal q to its preimage φ⁻¹(q), which is well defined and continuous for the Zariski topologies; the direction of the map of spaces is reversed relative to the map of rings.<sup>[7](https://androma.org/theorems/21778)</sup> The construction extends to structure sheaves: on a basic open set the induced map sends r/aⁿ to φ(r)/φ(a)ⁿ, and the stalk homomorphism A_p → B_q is local, making the pair a morphism of locally ringed spaces.<sup>[7](https://androma.org/theorems/21778)</sup>

Reduction modulo n is realized as the canonical surjection Z → Z/nZ with kernel nZ.<sup>[13](https://math.mit.edu/classes/18.702/summary-mar3.pdf)</sup> On the computational side, SageMath provides classes for ring homomorphisms, including Frobenius endomorphisms and quotient-induced homomorphisms whose kernel is the quotiented-out ideal, with methods for kernels, pushforwards of ideals, and inverse images of ideals and elements.<sup>[15](https://doc.sagemath.org/html/en/reference/rings/sage/rings/morphism.html)</sup> Deciding whether two given rings are related by a bijective homomorphism, the ring isomorphism problem, is an active topic in computational complexity.<sup>[19](https://www.cse.iitk.ac.in/users/nitin/papers/ringIso-JCC.pdf)</sup>

## Recent developments

Several developments since 2023 have refined how ring homomorphisms are treated. A 2024 paper in Theory and Applications of Categories defined firm homomorphisms of rings and showed that Ring is a full subcategory of the category of firm rings with firm homomorphisms as morphisms; unital ring homomorphisms are firm, and a firm homomorphism from a unital ring forces the target to be unital with 1 mapping to 1, a way of repairing the non-fullness of Ring inside Rng.<sup>[18](https://tac.mta.ca/tac/volumes/39/22/39-22.pdf)</sup> In February 2025, an arXiv preprint proved a divisibility relation for finite cyclic structures: when n divides m, the number of ring homomorphisms from Z_m to Z_n divides the number of surjective group homomorphisms, which equals φ(n), except when n = 2α with every prime factor p of α satisfying p ≡ 3 (mod 4), and the result extends to finite abelian structures via direct products.<sup>[5](https://arxiv.org/html/2502.14266)</sup> A 2026 preprint develops Frobenius n-homomorphisms, a hierarchy in which the 1-homomorphisms are exactly the nonunital ring homomorphisms and the 2-homomorphisms are central maps satisfying a determinant-like identity.<sup>[20](https://arxiv.org/pdf/2604.13619)</sup> Formalization has also advanced: the Lean library mathlib4 added a machine-checked definition of graded ring homomorphisms in PR #30312, split from PR #26061.<sup>[21](https://github.com/leanprover-community/mathlib4/pull/30312)</sup>

## References

1. [Chapter 10. Ring Homomorphisms, Ideals and Quotient Rings, PMATH 347, University of Waterloo](https://www.math.uwaterloo.ca/~snew/PMATH347/Chap10QuotientRings.pdf)
2. [III.E. Homomorphisms of Rings, Math 5031, Washington University in St. Louis](https://www.math.wustl.edu/~matkerr/5031/A1IIIE.pdf)
3. [Ring Homomorphisms and Ideals, Abstract Algebra: Theory and Applications](https://openmathbooks.org/aatar/section-ring-homomorphisms.html)
4. [Ring Homomorphisms and the Isomorphism Theorems, Bianca Viray, University of Washington](https://sites.math.washington.edu/~bviray/teaching/RingHomomorphismsAndIsomorphisms.pdf)
5. [Divisibility relation between the number of certain surjective group and ring homomorphisms, arXiv (2025)](https://arxiv.org/html/2502.14266)
6. [Homomorphisms and Isomorphisms, Algebrica](https://algebrica.org/homomorphisms-and-isomorphisms/)
7. [Ring Homomorphisms Induce Morphisms of Affine Schemes, androma.org](https://androma.org/theorems/21778)
8. [7.2: Ring Homomorphisms, LibreTexts, Introduction to Algebraic Structures](https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Introduction_to_Algebraic_Structures_(Denton)/07%3A_Rings_I/7.02%3A_Ring_Homomorphisms)
9. [Math 403 Chapter 15: Ring Homomorphisms, University of Maryland](https://www.math.umd.edu/~immortal/MATH403/lecturenotes/ch15.pdf)
10. [sage/rings/homset.py, passagemath source](https://github.com/passagemath/passagemath/blob/main/src/sage/rings/homset.py)
11. [Homomorphism in feanor_math, Rust crate documentation](https://docs.rs/feanor-math/latest/feanor_math/homomorphism/trait.Homomorphism.html)
12. [Fundamental theorem of ring homomorphisms and isomorphism, gioretikto.github.io](https://gioretikto.github.io/mat/algebra/fund_theorem_homomorphism.html)
13. [18.702 Ring Homomorphisms: Examples, MIT course notes](https://math.mit.edu/classes/18.702/summary-mar3.pdf)
14. [Homomorphisms, Rings with Inquiry (Janssen & Lindsey)](https://ringswithinquiry.org/rwi/SubSec-Homomorphisms.html)
15. [Homomorphisms of rings, SageMath Reference Manual](https://doc.sagemath.org/html/en/reference/rings/sage/rings/morphism.html)
16. [Finite field morphisms, Sage Reference Manual (passagemath)](https://passagemath.org/docs/latest/html/en/reference/finite_rings/sage/rings/finite_rings/hom_finite_field.html)
17. [Homomorphism between Rings, Communications in Mathematics and Applications (2020)](https://www.rgnpublications.com/journals/index.php/cma/article/view/1415)
18. [Firm Homomorphisms of Rings and Semigroups, Theory and Applications of Categories, vol. 39 (2024)](https://tac.mta.ca/tac/volumes/39/22/39-22.pdf)
19. [Complexity of Ring Morphism Problems, IIT Kanpur](https://www.cse.iitk.ac.in/users/nitin/papers/ringIso-JCC.pdf)
20. [Compositions of n-homomorphisms, arXiv (2026)](https://arxiv.org/pdf/2604.13619)
21. [feat(RingTheory): define graded ring homomorphisms, mathlib4 PR #30312](https://github.com/leanprover-community/mathlib4/pull/30312)
22. [math.columbia.edu](https://www.math.columbia.edu/~khovanov/MA2_2022/files/01_rings.pdf)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Algebraic structures › Ring theory › Ring foundations*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license