1 Definition and basic properties
A ring homomorphism is a function \(\varphi:R\to S\) between two rings that respects the ring operations. Concretely, it satisfies \[ \varphi(a+b)=\varphi(a)+\varphi(b),\qquad \varphi(ab)=\varphi(a)\varphi(b) \] for all \(a,b\in R\). Depending on whether the rings are required to be unital and whether homomorphisms are required to preserve the multiplicative identity, additional conditions may be imposed.
1.1 Homomorphisms of rings (unital vs. non-unital)
If \(R\) and \(S\) are unital rings (i.e., each has a multiplicative identity element \(1_R\) and \(1_S\)), a *unital ring homomorphism* is typically required to satisfy \(\varphi(1_R)=1_S\). In contrast, a *non-unital ring homomorphism* may preserve addition and multiplication without necessarily mapping \(1_R\) to \(1_S\). When the unital condition is relevant, authors usually state it explicitly.
1.2 Preservation of structure (addition and multiplication)
The two defining equalities ensure that \(\varphi\) is compatible with the additive group structure of the ring and with the multiplicative product. From these axioms, several standard consequences follow, such as \(\varphi(0_R)=0_S\) and \(\varphi(-a)=-\varphi(a)\).
1.3 Image of a homomorphism as a subring
Let \(\varphi:R\to S\) be a ring homomorphism and let \(\operatorname{Im}(\varphi)=\{\varphi(r):r\in R\}\). The preservation properties imply that \(\operatorname{Im}(\varphi)\) is closed under addition and multiplication and inherits additive inverses. Therefore \(\operatorname{Im}(\varphi)\) is a subring of \(S\) (and in the unital case, the image is often a unital subring when \(\varphi(1_R)=1_S\)).
1.4 Functorial viewpoints: composition and identity maps
Ring homomorphisms compose: if \(\varphi:R\to S\) and \(\psi:S\to T\) are ring homomorphisms, then \(\psi\circ\varphi:R\to T\) is again a ring homomorphism. The identity map \(\mathrm{id}_R:R\to R\) is also a ring homomorphism. These facts justify treating rings and homomorphisms as a structured system in which maps behave coherently under composition.
2 Kernel and image
The kernel and image of a ring homomorphism measure, respectively, what is collapsed to zero and what is actually achieved inside the codomain.
2.1 Kernel as an ideal
The kernel \(\ker(\varphi)=\{r\in R:\varphi(r)=0_S\}\) is always an ideal of \(R\). Closure under subtraction follows from additivity, and ideal stability under multiplication follows from multiplicativity: if \(x\in \ker(\varphi)\) then for any \(r\in R\), \[ \varphi(rx)=\varphi(r)\varphi(x)=\varphi(r)\cdot 0_S=0_S,\qquad \varphi(xr)=\varphi(x)\varphi(r)=0_S. \]
2.2 Image as a subring
As noted above, \(\operatorname{Im}(\varphi)\) is a subring of \(S\). It records all values the homomorphism attains and is the natural recipient of induced maps arising from quotient constructions.
2.3 Relationship between kernel and image
The kernel governs how elements of \(R\) become indistinguishable under \(\varphi\), while the image captures the effective algebraic structure seen in \(S\). Together, these objects form the backbone of the first isomorphism theorem, which identifies a suitable quotient of \(R\) with the image.
2.4 Restriction to subrings and induced maps
If \(A\subseteq R\) is a subring and \(\varphi:R\to S\) is a homomorphism, one may restrict \(\varphi\) to \(A\) to obtain a homomorphism \(A\to S\). Similarly, if a homomorphism carries an ideal \(I\subseteq R\) into an ideal \(J\subseteq S\), it often induces a homomorphism on the corresponding quotient rings. These induced maps are typically defined using the universal property of quotients and the requirement that equal elements differ by something in the relevant ideal.
3 Isomorphisms and automorphisms
Isomorphisms are structure-preserving bijections, expressing that two rings are the same from the perspective of ring operations.
3.1 Ring isomorphisms
A ring isomorphism is a bijective ring homomorphism. If \(\varphi:R\to S\) is an isomorphism, its inverse \(\varphi^{-1}:S\to R\) is automatically a ring homomorphism as well, ensuring full compatibility with addition and multiplication.
3.2 Ring automorphisms
A ring automorphism is an isomorphism from a ring to itself. The set of all ring automorphisms of \(R\) forms a group under composition, reflecting that automorphisms can be combined and inverted while preserving the ring structure.
3.3 Characterizing isomorphisms via bijections
A useful criterion is: if a map \(\varphi:R\to S\) is bijective and respects addition and multiplication, then it is an isomorphism. In many concrete computations, bijectivity is verified separately (for instance, by showing an explicit inverse formula).
3.4 Examples via changes of presentation
Isomorphic rings often arise from different descriptions of the same underlying algebraic object. For example, one may present a ring using generators and relations in multiple ways; provided the resulting constructions satisfy the universal properties appropriately, maps between the presentations yield ring isomorphisms.
4 Quotient rings and the first isomorphism theorem
Quotient rings formalize “modding out by” an ideal, and the first isomorphism theorem explains how kernels account for this process.
4.1 Constructing the quotient R/ker(φ)
Let \(\varphi:R\to S\) be a ring homomorphism and put \(I=\ker(\varphi)\). The quotient ring \(R/I\) is formed by taking cosets \(r+I\) as elements, with operations induced from those of \(R\). The defining feature is that elements differing by an element of \(I\) become equal in the quotient.
4.2 Statement and meaning of the first isomorphism theorem
The first isomorphism theorem states that there is an isomorphism of rings \[ R/\ker(\varphi)\ \cong\ \operatorname{Im}(\varphi). \] It expresses that after identifying elements of \(R\) that the homomorphism sends to the same value (equivalently, those differing by the kernel), the remaining information is precisely the image inside \(S\).
4.3 Induced homomorphisms from quotients
Given \(\varphi:R\to S\) with kernel \(I\), one can define an induced map \(\overline{\varphi}:R/I\to S\) by \(\overline{\varphi}(r+I)=\varphi(r)\). This is well-defined because \(\varphi(r_1)=\varphi(r_2)\) whenever \(r_1-r_2\in I\). The induced map lands in \(\operatorname{Im}(\varphi)\) and becomes an isomorphism onto that image.
4.4 Applications and common special cases
A frequent special case occurs when \(\varphi\) is surjective. Then \(\operatorname{Im}(\varphi)=S\) and the theorem gives \(R/\ker(\varphi)\cong S\). Another common application is to relate quotient constructions directly to the failure of injectivity: elements in the kernel represent the congruence that collapses \(R\) down to the effective substructure observed in \(S\).
5 Types of homomorphisms
Different adjectives describe how a ring homomorphism behaves as a map, both in everyday algebraic terms and in categorical language.
5.1 Monomorphisms and epimorphisms (in categorical sense)
In category theory, a monomorphism is a morphism that is left-cancellable: \(\varphi\) is monic if \(\varphi\circ f=\varphi\circ g\) implies \(f=g\). Dually, an epimorphism is right-cancellable. For many algebraic categories, these notions align with injectivity or surjectivity under suitable hypotheses, but the categorical definitions are more general.
5.2 Injective and surjective ring homomorphisms
An injective ring homomorphism has trivial kernel, since \(\ker(\varphi)=\{0\}\) precisely when distinct elements never map to the same output. A surjective ring homomorphism has image equal to the entire codomain, making the induced quotient in the first isomorphism theorem a direct description of the codomain.
5.3 Endomorphisms and their algebra structure
An endomorphism is a homomorphism from a ring to itself. The set of all endomorphisms forms a structure under addition and composition, and in commutative settings it can be enriched further. Endomorphisms are especially important when studying algebraic actions, dynamics of repeated application, or decomposition of rings via invariant substructures.
5.4 Localization and universal mapping properties (overview)
Localization is a construction that inverts selected elements or subsets of a ring, producing a new ring where chosen denominators become units. Homomorphisms into a localized ring are characterized by a universal mapping property: they correspond exactly to ring maps that send the elements being inverted to units. This perspective clarifies why localization is canonical and how it interfaces with other homomorphisms.
6 Compatibility with extra structures
Some ring homomorphisms must respect additional features—such as identity elements, commutativity, or polynomial structures—so that the map remains compatible with the richer context.
6.1 Homomorphisms of unital rings and identity preservation
When working with unital rings, identity preservation (\(\varphi(1_R)=1_S\)) often matters for the validity of downstream constructions, especially those involving modules, algebra structures, or categorical equivalences. Under this assumption, the homomorphism aligns the multiplicative identity across the two rings, reducing ambiguity.
6.2 Central elements and commutator behavior
In a noncommutative ring, central elements are those commuting with all other elements. Ring homomorphisms preserve commutation relations in the sense that if \(z\in R\) is central, then \(\varphi(z)\) commutes with \(\varphi(r)\) for all \(r\in R\). More broadly, commutator expressions behave compatibly with homomorphisms due to multiplicativity and additivity.
6.3 Homomorphisms between commutative rings
If \(R\) and \(S\) are commutative, any ring homomorphism automatically respects the commutative multiplication. This simplifies many arguments because ideals, radicals, and factor rings can be studied within a less intricate multiplicative environment.
6.4 Homomorphisms involving polynomial rings (structure-preserving maps)
Polynomial rings support homomorphisms determined by where variables go. A common pattern is that a ring map from \(R[x]\) to \(S\) is often specified by a ring map \(R\to S\) together with the image of the indeterminate \(x\in R[x]\). Such maps respect evaluation at elements of \(S\) and interact naturally with quotienting by polynomial ideals.
7 Examples and standard computations
Concrete homomorphisms illustrate how definitions operate in practice, and they provide templates for verification and computation.
7.1 Inclusion maps and natural embeddings
If \(A\) is a subring of \(R\), the inclusion map \(A\hookrightarrow R\) sending each element to itself is a ring homomorphism. When the inclusion is injective, it identifies \(A\) with a subring of \(R\) while preserving arithmetic.
7.2 Evaluation homomorphisms for polynomial rings
Given a commutative ring \(R\) and an \(R\)-algebra \(S\), an evaluation homomorphism is obtained by sending a polynomial \(f(x)\in R[x]\) to \(f(s)\in S\) for a chosen element \(s\in S\). This map preserves addition and multiplication because polynomial arithmetic is built from those operations.
7.3 Quotient maps and canonical projections
For an ideal \(I\subseteq R\), the canonical projection \(\pi:R\to R/I\) given by \(\pi(r)=r+I\) is a surjective ring homomorphism with kernel \(I\). It serves as the standard mechanism for passing from a ring to its quotient.
7.4 Homomorphisms between matrix rings
Homomorphisms between matrix rings can be studied through their effect on entries and through similarity transformations. A typical example involves maps derived from ring homomorphisms on the coefficient ring, extended entrywise.
7.4.1 Conjugation-induced automorphisms (inner automorphisms)
In a matrix ring \(M_n(R)\), conjugation by an invertible matrix \(U\) defines an automorphism: \[ \alpha_U(A)=U^{-1}AU. \] These are often called inner automorphisms. They preserve addition and multiplication because conjugation distributes over sums and respects products through \( (U^{-1}AU)(U^{-1}BU)=U^{-1}ABU \).
8 How ring homomorphisms interact with other algebra
Ring maps influence many auxiliary algebraic structures associated to rings, including ideals, quotients, and module-related constructions.
8.1 Induced maps on ideals and quotient structures
If \(\varphi:R\to S\) is a ring homomorphism and \(J\subseteq S\) is an ideal, the preimage \(\varphi^{-1}(J)\) is an ideal of \(R\). Under suitable conditions, images of ideals can also be described, particularly when \(\varphi\) is surjective. These induced correspondences connect homomorphisms with the lattice of ideals and with quotient ring constructions.
8.2 Homomorphisms and annihilators
For modules over a ring, annihilators measure which elements act as zero. When maps between rings or between modules are present, annihilator relationships can transfer via compatibility conditions. The key point is that homomorphisms preserve multiplication, so elements that annihilate something before mapping often continue to annihilate it after applying the induced structure.
8.3 Induced module homomorphisms (as background)
Although module homomorphisms are separate objects from ring homomorphisms, the latter frequently determine the former. A ring homomorphism can make one module structure into another by “transport of scalars,” allowing a module map over one ring to be interpreted over a different ring once the scalar actions are aligned appropriately.
8.4 Tensor product viewpoint (high-level compatibility)
Tensor products often encode bilinear behavior. At a high level, tensor constructions are compatible with ring homomorphisms because bilinear maps correspond to linear maps out of tensor products. When homomorphisms alter the scalar ring, the tensor product changes accordingly, and universal properties ensure the resulting maps remain well-defined and functorial.
9 Category-theoretic perspective (rings as objects, homomorphisms as morphisms)
Viewing rings as objects and homomorphisms as morphisms provides a unifying language for how constructions fit together.
9.1 Objects, morphisms, and composition
In the category of rings (with appropriate convention on unital or non-unital maps), rings serve as objects and ring homomorphisms serve as arrows. Composition is given by composing functions, and identity morphisms are given by identity maps on rings. This formalism packages algebraic reasoning about maps into a coherent framework.
9.2 Initial and terminal objects (overview)
In many categories related to rings, there are distinguished objects characterized by unique maps from or to every other object. Which ring is initial or terminal depends on whether the category is unital, whether zero morphisms exist, and on the conventions for morphisms. These objects clarify baseline behaviors for constructions that follow.
9.3 Limits and colimits relevant to ring maps (overview)
Limits and colimits generalize familiar constructions. For instance, products correspond to direct products of rings, and fiber products correspond to pullbacks that track compatibility conditions between maps. Colimits include constructions such as coproducts (often related to free products in suitable settings) and pushouts that glue rings along shared substructures.
9.4 Product rings and projection morphisms
A product ring \(R\times S\) comes with projection homomorphisms onto each factor. The universal property of the product says that any pair of homomorphisms into \(R\) and \(S\) uniquely determines a homomorphism into \(R\times S\). This characterization is often used to translate “two compatible conditions” into a single map into a product object.