Ring homomorphism

In abstract algebra, a ring homomorphism is a function $\phi: R \to S$ between two rings $R$ and $S$ that preserves the ring operations of addition and multiplication, satisfying $\phi(a + b) = \phi(a) + \phi(b)$ and $\phi(ab) = \phi(a)\phi(b)$ for all $a, b \in R$.^[1][2] Many standard definitions further require that $\phi$ maps the multiplicative identity of $R$ to that of $S$, so $\phi(1_R) = 1_S$, ensuring consistency with units and subring structures.^[3] This preservation implies additional properties, such as $\phi(0_R) = 0_S$ and $\phi(-a) = -\phi(a)$, making $\phi$ an additive group homomorphism as well.^[1] The kernel of a ring homomorphism $\phi: R \to S$, defined as $\ker(\phi) = \{ r \in R \mid \phi(r) = 0_S \}$, forms a two-sided ideal of $R$, which enables the construction of quotient rings.^[1][2] Conversely, the image $\operatorname{im}(\phi) = \{ \phi(r) \mid r \in R \}$ is a subring of $S$.^[1] A fundamental result, the first isomorphism theorem for rings, states that if $\phi: R \to S$ is a ring homomorphism, then $R / \ker(\phi) \cong \operatorname{im}(\phi)$ as rings, providing a means to classify rings up to isomorphism via homomorphic images.^[2] Ring homomorphisms are essential tools in commutative and non-commutative algebra, facilitating the study of ring extensions, ideals, and modules; for instance, the evaluation map from the polynomial ring $\mathbb{R}[x]$ to $\mathbb{R}$ at a point $c$ is a surjective homomorphism with kernel the principal ideal $(x - c)$.^[2] They also underpin concepts like universal properties in ring theory and play a key role in algebraic geometry through morphisms of affine varieties.^[4]

Definition and Conventions

Formal Definition

In abstract algebra, a ring is a nonempty set $R$ equipped with two binary operations, addition $+$ and multiplication $\cdot$, such that $(R, +)$ is an abelian group (with additive identity 0 and additive inverses for each element), multiplication is associative, and the distributive laws hold: for all $r, s, t \in R$,

$$(r + s) \cdot t = r \cdot t + s \cdot t, \quad t \cdot (r + s) = t \cdot r + t \cdot s.$$

^[5] A ring homomorphism is a function $\phi: R \to S$ between rings $R$ and $S$ that preserves both operations, meaning

$$\phi(a + b) = \phi(a) + \phi(b), \quad \phi(a \cdot b) = \phi(a) \cdot \phi(b)$$

for all $a, b \in R$.^[5] Unlike a group homomorphism, which preserves only the single group operation, a ring homomorphism must respect both the additive group structure and the multiplicative operation of the rings.^[6] When $R$ and $S$ are unital rings (possessing multiplicative identities $1_R$ and $1_S$), many conventions additionally require $\phi(1_R) = 1_S$, though this is not part of the minimal definition above.^[7]

Unital vs. Non-Unital Homomorphisms

In ring theory, a unital homomorphism between unital rings $R$ and $S$ is a ring homomorphism $\phi: R \to S$ that additionally preserves the multiplicative identity, satisfying $\phi(1_R) = 1_S$. This condition ensures that the homomorphism respects the full structure of the rings as unital algebras, and it has become the standard convention in most modern textbooks on abstract algebra.^[8] For instance, in the ring of integers $\mathbb{Z}$, the identity map $\mathrm{id}: \mathbb{Z} \to \mathbb{Z}$ is unital, as it sends $1$ to $1$. In contrast, a non-unital homomorphism does not require preservation of the identity, allowing maps where $\phi(1_R) \neq 1_S$. Such homomorphisms are particularly useful when studying rngs (rings without a multiplicative identity) or when considering ideals as substructures, where the domain may lack a unit compatible with the target ring's identity. An example is the zero map from a unital ring $R$ to another unital ring $S$, which preserves addition and multiplication but sends $1_R$ to $0_S \neq 1_S$ (unless $S$ is the trivial ring). This map qualifies as a non-unital homomorphism but fails the unital condition in standard definitions.^[9] The preference for unital homomorphisms reflects a historical shift in conventions during the mid-20th century, moving from earlier flexible definitions to stricter requirements influenced by the Bourbaki group's axiomatic approach, which emphasized unital structures for consistency in algebraic developments. Prior texts, such as van der Waerden's Moderne Algebra (1930), permitted non-unital maps, but by the 1950s, Bourbaki's Algèbre standardized unital preservation for ring homomorphisms between unital rings.^[10] Unital homomorphisms have significant implications for structural properties: they map units of $R$ to units of $S$, since if $u \in R$ is a unit with inverse $v$, then $\phi(u) \phi(v) = \phi(uv) = \phi(1_R) = 1_S$, making $\phi(v)$ the inverse of $\phi(u)$. Similarly, they preserve nilpotency, mapping nilpotent elements of $R$ to nilpotent elements of $S$, as $\phi(x)^n = \phi(x^n) = \phi(0_S) = 0_S$ if $x^n = 0_R$. These properties highlight why the unital condition is favored in contexts requiring preservation of invertibility and radical elements, such as commutative algebra and module theory.^[8]

Core Properties

Preservation of Operations

A ring homomorphism $\phi: R \to S$ between rings $R$ and $S$ preserves the ring operations, meaning $\phi(a + b) = \phi(a) + \phi(b)$ and $\phi(ab) = \phi(a)\phi(b)$ for all $a, b \in R$. This preservation extends to the additive identity: $\phi(0_R) = 0_S$. To see this, note that $\phi(0_R) = \phi(0_R + 0_R) = \phi(0_R) + \phi(0_R)$, so $\phi(0_R)$ is an additive idempotent in $S$, which must be the zero element $0_S$.^[11][12] The homomorphism also respects additive inverses. For any $a \in R$, $\phi(a + (-a)) = \phi(0_R) = 0_S$, so $\phi(a) + \phi(-a) = 0_S$, which implies $\phi(-a) = -\phi(a)$. This follows directly from the preservation of addition and the additive identity.^[13] In the unital case, where ring homomorphisms are required to preserve the multiplicative identity, $\phi(1_R) = 1_S$. This convention ensures that the homomorphism respects the full ring structure, including scalar multiplication by the identity.^[3][14] Preservation of addition and multiplication implicitly ensures that distributivity holds in the image, as $\phi(a(b + c)) = \phi(ab + ac) = \phi(ab) + \phi(ac) = \phi(a)\phi(b) + \phi(a)\phi(c) = \phi(a)(\phi(b) + \phi(c))$.^[2] Ring homomorphisms preserve certain algebraic relations, such as zero divisors and idempotents. If $ab = 0_R$ for $a, b \in R$, then $\phi(a)\phi(b) = \phi(ab) = \phi(0_R) = 0_S$, so the zero product relation is maintained in $S$. Similarly, if $e \in R$ is idempotent ($e^2 = e$), then $\phi(e)^2 = \phi(e^2) = \phi(e)$, making $\phi(e)$ idempotent in $S$. These properties follow directly from the preservation of multiplication.^[12][9] If a ring homomorphism $\phi: R \to S$ is bijective, its inverse $\phi^{-1}: S \to R$ is also a ring homomorphism, preserving addition, multiplication, and (in the unital case) the multiplicative identity. This fact is discussed in the Special Morphisms in Ring Theory subsection of the Categorical Framework.

Kernel and Ideals

The kernel of a ring homomorphism $\phi: R \to S$ between rings $R$ and $S$ is defined as $\ker(\phi) = \{ r \in R \mid \phi(r) = 0_S \}$, where $0_S$ denotes the zero element in $S$.^[15] This set forms a two-sided ideal in $R$.^[16] To see that $\ker(\phi)$ is an ideal, first note that it is an additive subgroup of $R$ because $\phi$ preserves addition: if $a, b \in \ker(\phi)$, then $\phi(a + b) = \phi(a) + \phi(b) = 0_S + 0_S = 0_S$, and $\phi(-a) = -\phi(a) = -0_S = 0_S$. For the absorption property, consider any $r \in R$; then $\phi(r a) = \phi(r) \phi(a) = \phi(r) \cdot 0_S = 0_S$ for $a \in \ker(\phi)$, and similarly $\phi(a r) = 0_S$, establishing that $\ker(\phi)$ absorbs multiplication from both sides due to the homomorphism preserving the ring multiplication.^[17][18] The homomorphism $\phi$ is injective if and only if $\ker(\phi) = \{0_R\}$, where $0_R$ is the zero element in $R$. Indeed, if $\ker(\phi) = \{0_R\}$, then $\phi(r) = 0_S$ implies $r = 0_R$, ensuring distinct elements map distinctly; conversely, if $\phi$ is injective and $\phi(r) = 0_S$, then $r = 0_R$.^[15][19] Every ideal $I$ of $R$ arises as the kernel of some ring homomorphism, specifically the canonical quotient map $\pi: R \to R/I$ defined by $\pi(r) = r + I$, which satisfies $\ker(\pi) = I$.^[14] In commutative rings, where left and right ideals coincide, every ideal is thus a kernel; in non-commutative rings, only two-sided ideals serve as kernels of homomorphisms.^[16][18]

Images and Induced Structures

Image of a Homomorphism

In ring theory, the image of a ring homomorphism $\phi: R \to S$ is defined as $\operatorname{Im}(\phi) = \{ \phi(r) \mid r \in R \}$, which is equivalently denoted as $\phi(R)$. This set is a subset of the codomain $S$, denoted $\phi(R) \subseteq S$, and inherits the ring operations of addition and multiplication from $S$.^[3][12] The image $\operatorname{Im}(\phi)$ forms a subring of $S$. To see this, note that it contains the zero element since $\phi(0_R) = 0_S$. It is closed under addition because for any $\phi(r_1), \phi(r_2) \in \operatorname{Im}(\phi)$, we have $\phi(r_1) + \phi(r_2) = \phi(r_1 + r_2) \in \operatorname{Im}(\phi)$, by the preservation of addition. Similarly, closure under multiplication follows from $\phi(r_1) \cdot \phi(r_2) = \phi(r_1 r_2) \in \operatorname{Im}(\phi)$. Additive inverses are preserved as well: $-\phi(r) = \phi(-r) \in \operatorname{Im}(\phi)$. Thus, $\operatorname{Im}(\phi)$ satisfies the subring axioms.^[3][20][12] A ring homomorphism $\phi: R \to S$ is surjective if and only if $\operatorname{Im}(\phi) = S$. In this case, $\phi$ is an epimorphism in the category of rings (though the categorical notion is distinct and covered elsewhere). Moreover, $\operatorname{Im}(\phi)$ is the smallest subring of $S$ containing all elements of the form $\phi(r)$ for $r \in R$, as it is generated precisely by these images under the operations of $S$. In the unital case, where $\phi(1_R) = 1_S$, the image contains the multiplicative identity $1_S$ and thus is a unital subring; for non-unital homomorphisms, the image may not contain $1_S$.^[15][3][21] Unlike the kernel, which is always an ideal of the domain $R$, the image $\operatorname{Im}(\phi)$ need not be an ideal of $S$ in general. For instance, it is a subring but fails to absorb multiplication by arbitrary elements of $S$ unless $S$ is constructed as a quotient involving the image. This distinction highlights the asymmetric roles of domain and codomain structures under homomorphisms.^[12][1][21]

First Isomorphism Theorem

The First Isomorphism Theorem for rings asserts that if $\phi: R \to S$ is a ring homomorphism between rings $R$ and $S$, then the quotient ring $R / \ker(\phi)$ is isomorphic to the image $\operatorname{im}(\phi)$ as rings.^[15] This result establishes a fundamental connection between the kernel of the homomorphism, which is an ideal of $R$, and the subring generated by the homomorphism in $S$.^[22] To prove the theorem, define a map $\psi: R / \ker(\phi) \to \operatorname{im}(\phi)$ by $\psi(r + \ker(\phi)) = \phi(r)$ for all $r \in R$. This map is well-defined because if $r + \ker(\phi) = r' + \ker(\phi)$, then $r - r' \in \ker(\phi)$, so $\phi(r) = \phi(r')$.^[23] It is a ring homomorphism since

$$\psi((r + \ker(\phi)) + (r' + \ker(\phi))) = \psi((r + r') + \ker(\phi)) = \phi(r + r') = \phi(r) + \phi(r') = \psi(r + \ker(\phi)) + \psi(r' + \ker(\phi))$$

and similarly for multiplication:

$$\psi((r + \ker(\phi)) \cdot (r' + \ker(\phi))) = \psi((r r') + \ker(\phi)) = \phi(r r') = \phi(r) \phi(r') = \psi(r + \ker(\phi)) \cdot \psi(r' + \ker(\phi)).$$

The isomorphism preserves operations through coset representatives, as the operations in the quotient are defined via those in $R$.^[15] Moreover, $\psi$ is bijective: it is surjective because every element of $\operatorname{im}(\phi)$ is $\phi(r)$ for some $r \in R$, and injective because if $\psi(r + \ker(\phi)) = 0$, then $\phi(r) = 0$, so $r \in \ker(\phi)$ and $r + \ker(\phi) = 0 + \ker(\phi)$.^[22] The theorem holds for unital rings when $\phi$ preserves the multiplicative identity, ensuring the isomorphism maps the identity coset to the identity in the image; it extends to non-unital rings (rngs) with analogous definitions, where the kernel remains an ideal and the quotient is a rng.^[23] Implications include the classification of ring homomorphisms up to isomorphism via their kernels and images, and the fact that every homomorphism factors through its kernel, providing a universal property for quotients by ideals.^[15] This theorem is analogous to the first isomorphism theorem in group theory and was formalized in abstract algebra texts in the 1940s, such as Nathan Jacobson's The Theory of Rings (1943).

Illustrative Examples

Basic Ring Homomorphisms

One fundamental example of a ring homomorphism is the inclusion map $\iota: \mathbb{Z} \to \mathbb{Q}$ defined by $\iota(n) = n$ for each integer $n$. This map preserves both addition and multiplication, as $\iota(m + n) = m + n = \iota(m) + \iota(n)$ and $\iota(mn) = mn = \iota(m)\iota(n)$, and it maps the multiplicative identity $1 \in \mathbb{Z}$ to $1 \in \mathbb{Q}$.^[24] Another basic example is the canonical projection $\pi_n: \mathbb{Z} \to \mathbb{Z}/n\mathbb{Z}$ for a positive integer $n$, given by $\pi_n(k) = k + n\mathbb{Z}$, or equivalently, the residue class of $k$ modulo $n$. This homomorphism preserves addition and multiplication because the operations in the quotient ring $\mathbb{Z}/n\mathbb{Z}$ are defined componentwise modulo $n$, and its kernel is the principal ideal $n\mathbb{Z}$. The map is surjective, with every residue class in the codomain achieved. For the specific case $n=6$, the homomorphism $\phi: \mathbb{Z} \to \mathbb{Z}/6\mathbb{Z}$ defined by $\phi(k) = k \mod 6$ generates the entire codomain as the image, since the integers modulo 6 form a cyclic ring of order 6.^[25][26][27] The evaluation homomorphism $\phi: \mathbb{Z}[x] \to \mathbb{Z}$ at $x=0$, defined by $\phi(f) = f(0)$ for any polynomial $f \in \mathbb{Z}[x]$, provides an example involving polynomial rings. It preserves addition and multiplication because evaluating constant terms and products at 0 aligns with the ring operations in $\mathbb{Z}$, and its kernel is the principal ideal $(x)$ generated by the indeterminate $x$. This map is surjective onto $\mathbb{Z}$, as constant polynomials achieve all integer values.^[28] Complex conjugation $\overline{\cdot}: \mathbb{C} \to \mathbb{C}$, defined by $\overline{a + bi} = a - bi$ for $a, b \in \mathbb{R}$, is a ring automorphism of the field of complex numbers. It preserves addition and multiplication, as $\overline{z + w} = \overline{z} + \overline{w}$ and $\overline{zw} = \overline{z} \overline{w}$, and fixes the identity $1$. Being bijective, it is both injective and surjective.^[29] A key fact about ring homomorphisms involving fields is that any ring homomorphism $\phi: F \to R$ from a field $F$ to a nonzero ring $R$ is injective. This follows because the kernel of $\phi$ is an ideal in $F$, and since $\phi$ is unital, $\ker(\phi)$ is proper (as $\phi(1_F) = 1_R \neq 0_R$), hence must be $\{0\}$, yielding injectivity.^[30]

Homomorphisms Involving Polynomial Rings

A key example of a ring homomorphism involving polynomial rings is the evaluation homomorphism. For a field $k$ and an element $a \in k$, the evaluation map $\mathrm{ev}_a: k[x] \to k$ is defined by sending a polynomial $p(x) = c_n x^n + \cdots + c_1 x + c_0$ to $p(a) = c_n a^n + \cdots + c_1 a + c_0$, which acts as the identity on constants in $k$ and sends the indeterminate $x$ to $a$. This map preserves addition and multiplication because polynomial operations correspond to those in $k$ under substitution. The kernel of the evaluation homomorphism $\mathrm{ev}_a$ is the principal ideal generated by the monic linear polynomial $x - a$, consisting of all polynomials in $k[x]$ that vanish at $a$. By the first isomorphism theorem for rings, the image of $\mathrm{ev}_a$ is isomorphic to the quotient ring $k[x] / (x - a)$. Polynomial rings satisfy a universal property that characterizes homomorphisms from them. Given a ring homomorphism $\phi: k \to S$ to another ring $S$ and an element $s \in S$, there exists a unique ring homomorphism $\psi: k[x] \to S$ such that $\psi$ extends $\phi$ on constants (i.e., $\psi|_k = \phi$) and sends $x$ to $s$. This property reflects the fact that $k[x]$ is the free commutative ring on one generator over $k$, so any homomorphism out of $k[x]$ is uniquely determined by the image of the generator $x$.^[31] Under this extension, the homomorphism $\psi$ evaluates polynomials at the image of $x$: for any $p(x) \in k[x]$, $\psi(p(x)) = p(s)$, where the right-hand side substitutes $s$ for $x$ in $p$ using the ring operations in $S$. More generally, homomorphisms between polynomial rings can be induced by base ring maps; for rings $R$ and $S$ with a homomorphism $\eta: R \to S$, and an element $v \in S[y]$, there is a unique extension to $\theta: R[x] \to S[y]$ sending $x$ to $v$ and restricting to $\eta$ on $R$.^[31] An illustrative example is the inclusion homomorphism from $\mathbb{Z}[x]$ to $\mathbb{Q}[x]$, which embeds integer polynomials into rational polynomials by preserving integer coefficients as rationals and fixing the indeterminate $x$. This map is induced by the standard inclusion $\mathbb{Z} \hookrightarrow \mathbb{Q}$ and is injective since $\mathbb{Z}$ is a subring of $\mathbb{Q}$.

Counterexamples and Limitations

Non-Preserving Maps

A map between rings qualifies as a homomorphism only if it preserves both addition and multiplication (as well as the multiplicative identity in unital rings). Functions that satisfy one condition but fail the other illustrate common failures in this regard. Consider the map $\phi: \mathbb{Z} \to \mathbb{Z}$ defined by $\phi(n) = 2n$. This is an additive group homomorphism because $\phi(m + n) = 2(m + n) = 2m + 2n = \phi(m) + \phi(n)$ for all $m, n \in \mathbb{Z}$. However, it is not multiplicative, as $\phi(1 \cdot 1) = \phi(1) = 2 \neq 4 = \phi(1)\phi(1)$. In fact, this map also fails to preserve the multiplicative identity, since $\phi(1) = 2 \neq 1$.^[32] In contrast, some maps preserve multiplication but fail additivity. For instance, the absolute value map $\psi: \mathbb{Z} \to \mathbb{Z}$ given by $\psi(n) = |n|$ satisfies $\psi(m n) = |m n| = |m| |n| = \psi(m) \psi(n)$ for all $m, n \in \mathbb{Z}$. Yet it is not additive, since $\psi(1 + (-1)) = \psi(0) = 0 \neq 2 = \psi(1) + \psi(-1)$. Another example is the squaring map $\sigma: \mathbb{Z} \to \mathbb{Z}$ defined by $\sigma(n) = n^2$, which is multiplicative because $\sigma(m n) = (m n)^2 = m^2 n^2 = \sigma(m) \sigma(n)$, but fails additivity as $\sigma(1 + 1) = 4 \neq 2 = \sigma(1) + \sigma(1)$.^[33][34] In the context of fields, a non-zero map that is both additive and multiplicative must be a ring homomorphism, and such homomorphisms are necessarily injective. However, non-zero ring homomorphisms between fields are rare, often limited to automorphisms or embeddings into larger fields, depending on the characteristic and other properties.^[35] A frequent pitfall when attempting to identify ring homomorphisms is verifying only one operation while assuming the other holds, underscoring the need to check both explicitly.

Cases Where Properties Fail

A standard example of a non-injective ring homomorphism is the canonical projection $\pi: \mathbb{Z} \to \mathbb{Z}/n\mathbb{Z}$ for $n > 1$, defined by $\pi(k) = k \mod n$. This map preserves addition and multiplication, but its kernel is $n\mathbb{Z} \neq \{0\}$, so it fails to be injective. Another case where surjectivity fails occurs with the inclusion homomorphism $i: \mathbb{Z} \hookrightarrow \mathbb{Q}$, which embeds the integers into the rationals while preserving ring operations. Although $i$ is injective with trivial kernel, its image is $\mathbb{Z}$, a proper subring of $\mathbb{Q}$, so it is not surjective.^[36] Similarly, the evaluation homomorphism $\mathrm{ev}_0: \mathbb{Z}[x] \to \mathbb{Q}$ given by $\mathrm{ev}_0(f) = f(0)$ is a ring homomorphism whose image is $\mathbb{Z} \subsetneq \mathbb{Q}$, hence non-surjective.^[8] Ring homomorphisms may also fail to preserve multiplicative units when considering non-unital rings, often called rngs. For instance, the inclusion $j: 2\mathbb{Z} \hookrightarrow \mathbb{Z}$ maps even integers to integers, preserving addition and multiplication, but $2\mathbb{Z}$ lacks a multiplicative identity, and the image $j(2\mathbb{Z})$ does not contain the unit $1$ of $\mathbb{Z}$. In conventions where ring homomorphisms are not required to preserve units, examples like the map $\phi: R \to R$ defined by $\phi(r) = e r$ for a unital ring $R$ and idempotent $e \neq 1$ also send the unit $1_R$ to $e \neq 1_R$, failing to preserve the identity.^[9] A notable limitation in ring theory is that epimorphisms—morphisms that are right-cancellative in the category of rings—are not always surjective, unlike in the category of sets. The inclusion $i: \mathbb{[Z](/page/Z)} \hookrightarrow \mathbb{[Q](/page/Q)}$ exemplifies this: it is an epimorphism because any two ring homomorphisms $\mathbb{Q} \to T$ that agree on $\mathbb{[Z](/page/Z)}$ must agree everywhere, as $\mathbb{Q}$ is the localization of $\mathbb{[Z](/page/Z)}$ at the nonzero elements, yet $i$ is not surjective. This contrasts with injectivity, where monomorphisms in the category of rings coincide with injective homomorphisms, but the distinction highlights how categorical properties can diverge from classical ones in ring theory.^[37]

Categorical Framework

The Category of Rings

In category theory, the category of rings, commonly denoted $\mathbf{Ring}$, has as its objects all rings—typically unital rings equipped with a multiplicative identity—and as its morphisms all ring homomorphisms that preserve both addition and multiplication, including the identity element.^[38] This structure ensures that $\mathbf{Ring}$ satisfies the axioms of a category: the composition of two ring homomorphisms $\phi: R \to S$ and $\psi: S \to T$ yields another ring homomorphism $\psi \circ \phi: R \to T$, since addition and multiplication are preserved componentwise, and the identity morphism $\mathrm{id}_R: R \to R$ is the identity map, which clearly preserves the ring operations.^[3] A key feature of $\mathbf{Ring}$ is the forgetful functor $U: \mathbf{Ring} \to \mathbf{Ab}$ to the category of abelian groups, which maps each ring to its underlying additive abelian group and each ring homomorphism to the corresponding group homomorphism, discarding the multiplicative structure. This functor is faithful and highlights the additive aspect of rings, but $\mathbf{Ring}$ itself is not an abelian category, as evidenced by the presence of non-split exact sequences that do not behave as in abelian categories—for instance, certain short exact sequences in the additive sense fail to split in the ring context due to the interaction with ideals and quotients.^[39] Variants of $\mathbf{Ring}$ address specific conventions: the category $\mathbf{CommRing}$ (or $\mathbf{CRing}$) restricts objects to commutative rings (with unity) and morphisms to homomorphisms preserving commutativity, while $\mathbf{Rng}$ considers non-unital rings (or "rngs") without requiring a multiplicative identity, allowing homomorphisms that need not preserve a unit.^[40] These variants maintain the compositional and identity properties but adapt to the absence of unity, providing a framework for studying ring structures without the unital assumption.

Special Morphisms in Ring Theory

In ring theory, an endomorphism of a ring $R$ is a ring homomorphism $\phi: R \to R$.^[41] The set of all endomorphisms of $R$, denoted $\operatorname{End}(R)$, forms a ring under pointwise addition and composition as multiplication.^[42] An automorphism of a ring $R$ is a bijective endomorphism $\phi: R \to R$ whose inverse is also a ring homomorphism. The set of all automorphisms of $R$, denoted $\operatorname{Aut}(R)$, forms a group under composition.^[43] Automorphisms preserve all ring-theoretic invariants, such as the ideal structure and characteristic of the ring.^[44] A ring isomorphism is a bijective ring homomorphism $\phi: R \to S$ whose inverse $\phi^{-1}: S \to R$ is also a ring homomorphism./16:_Rings/16.05:_Ring_Homomorphisms_and_Ideals) Two rings are isomorphic if there exists a ring isomorphism between them, meaning they are structurally identical up to relabeling of elements.^[15] In the category of rings, a monomorphism is a ring homomorphism that is left-cancellative: if $\phi: R \to S$ is a monomorphism and $\psi_1, \psi_2: S \to T$ satisfy $\psi_1 \circ \phi = \psi_2 \circ \phi$, then $\psi_1 = \psi_2$. For ring homomorphisms, monomorphisms are precisely the injective homomorphisms.^[45] An epimorphism in the category of rings is a ring homomorphism that is right-cancellative: if $\phi: R \to S$ is an epimorphism and $\psi_1, \psi_2: T \to S$ satisfy $\phi \circ \psi_1 = \phi \circ \psi_2$, then $\psi_1 = \psi_2$. Unlike in the category of sets, epimorphisms of rings are not necessarily surjective; for example, the inclusion map $\mathbb{Z} \to \mathbb{Q}$ is an epimorphism because any ring homomorphism from $\mathbb{Q}$ to another ring is uniquely determined by its restriction to $\mathbb{Z}$, but it is not surjective.^[36] In the subcategory of commutative rings, non-surjective epimorphisms such as $\mathbb{Z} \to \mathbb{Q}$ also exist, highlighting that surjectivity does not always coincide with the categorical notion of epimorphism.^[46]