Ring Homomorphisms

students, imagine two different algebra systems that both use addition and multiplication, like the integers and the integers mod $6$. A ring homomorphism is a rule that translates from one ring to another while keeping the important arithmetic structure intact 📘✨. In this lesson, you will learn what a ring homomorphism is, why it matters, and how it connects to subrings and ideals.

What a ring homomorphism does

A ring homomorphism is a function between rings that preserves the ring operations. If $f$ is a map from a ring $R$ to a ring $S$, then $f$ is a ring homomorphism when it satisfies

$$f(a+b)=f(a)+f(b)$$

and

$$f(ab)=f(a)f(b)$$

for all $a,b\in R$.

If the rings have multiplicative identity, many courses also require

$$f(1_R)=1_S$$

for a unital ring homomorphism. This means the map sends the number that acts like $1$ in the first ring to the number that acts like $1$ in the second ring.

Think of it like a translation system. If you add or multiply first, then translate, you get the same result as translating first and then adding or multiplying. That is the core idea of structure preservation.

Example: reducing integers modulo $n$

A very important example is the map

$$f:\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}$$

that sends each integer to its residue class mod $n$. This map preserves addition and multiplication because arithmetic mod $n$ is built from ordinary integer arithmetic. For example, if $n=6$ and $a=4$, $b=5$, then

$$f(4+5)=f(9)=f(3)$$

and

$$f(4)+f(5)=\overline{4}+\overline{5}=\overline{9}=\overline{3}.$$

The same idea works for multiplication:

$$f(4\cdot 5)=f(20)=\overline{2}$$

and

$$f(4)f(5)=\overline{4}\cdot\overline{5}=\overline{20}=\overline{2}.$$

So this map is a ring homomorphism. It is one of the most useful examples in abstract algebra because it shows how one ring can be compressed into another while keeping arithmetic rules intact.

Why homomorphisms matter

Ring homomorphisms are useful because they let mathematicians compare rings. Instead of studying a ring all at once, you can send it to another ring where the structure may be easier to understand. This is similar to using a map to study a city: the map keeps important features like roads and distances in a simplified form 🗺️.

Homomorphisms also reveal hidden information through their kernel and image.

The kernel of a ring homomorphism $f:R\to S$ is

$$\ker(f)=\{r\in R:f(r)=0_S\}.$$

It tells us which elements of $R$ collapse to zero in $S$.

The image is

$$\operatorname{im}(f)=\{f(r):r\in R\}.$$

It tells us which elements of $S$ are actually reached by the map.

These two sets are central to understanding how a homomorphism works. If the kernel is small, the map loses little information. If the kernel is large, many different elements of $R$ may become indistinguishable in $S$.

A simple real-world picture

Suppose a school uses a grading conversion rule where percentages are converted to letter categories. Different scores like $91$ and $99$ may both become $A$. That process is not a ring homomorphism, because it does not preserve addition and multiplication. But it gives a helpful intuition: a homomorphism groups together elements that behave the same way in the target structure. In algebra, the kernel measures exactly that kind of grouping.

Properties every student should know

Ring homomorphisms automatically preserve several important algebraic facts.

First, they preserve zero. If $f$ is a ring homomorphism, then

$$f(0_R)=0_S.$$

Second, they preserve additive inverses:

$$f(-a)=-f(a).$$

This follows because

$$f(a)+f(-a)=f(a+(-a))=f(0_R)=0_S.$$

Third, they preserve subtraction:

$$f(a-b)=f(a)-f(b).$$

These facts follow from the definition, so you do not need to memorize them as separate rules; they come for free once addition and multiplication are preserved.

Another important idea is that a ring homomorphism sends substructures to substructures. If $U$ is a subring of $R$, then the image $f(U)$ is a subring of $S$. This is useful because it lets you transfer smaller algebraic worlds through the map.

Example: a projection map

Consider the ring $R\times S$ and the map

$$\pi_R:R\times S\to R$$

defined by

$$\pi_R(r,s)=r.$$

This is a ring homomorphism. It preserves addition:

$$\pi_R((r_1,s_1)+(r_2,s_2))=\pi_R(r_1+r_2,s_1+s_2)=r_1+r_2,$$

and multiplication:

$$\pi_R((r_1,s_1)(r_2,s_2))=\pi_R(r_1r_2,s_1s_2)=r_1r_2.$$

Its kernel is

$$\ker(\pi_R)=\{(0,s):s\in S\}.$$

This set is not just any subset; it is an ideal, which leads directly into the next section.

Connection to ideals

Ideals are one of the main reasons ring homomorphisms are so important. The kernel of every ring homomorphism is an ideal. That means it is a special subring-like set that absorbs multiplication by elements of the whole ring.

A subset $I\subseteq R$ is an ideal if:

1. $I$ is an additive subgroup of $R$,
2. for every $r\in R$ and every $x\in I$, both $rx\in I$ and $xr\in I$.

For commutative rings, this is usually simplified to $rx\in I$ for all $r\in R$ and $x\in I$.

Why is the kernel an ideal? If $a,b\in\ker(f)$, then

$$f(a-b)=f(a)-f(b)=0_S-0_S=0_S,$$

so $a-b\in\ker(f)$. And if $r\in R$ and $a\in\ker(f)$, then

$$f(ra)=f(r)f(a)=f(r)\cdot 0_S=0_S,$$

so $ra\in\ker(f)$. Therefore, the kernel satisfies the ideal conditions.

This fact is not just a technical detail. It explains why ideals are the right objects for studying quotient rings. When you divide a ring by an ideal, you are identifying elements that the homomorphism cannot distinguish.

Example: kernel of reduction mod $n$

For the map $f:\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}$, the kernel is

$$\ker(f)=n\mathbb{Z}$$

because exactly the multiples of $n$ become $\overline{0}$. This is an ideal of $\mathbb{Z}$. In fact, every ideal of $\mathbb{Z}$ has the form $n\mathbb{Z}$ for some integer $n\ge 0$.

So the familiar idea of “numbers divisible by $n$” is actually a major example of an ideal arising from a ring homomorphism.

The First Isomorphism Theorem idea

A major theorem ties everything together. If $f:R\to S$ is a ring homomorphism, then the quotient ring $R/\ker(f)$ is closely related to the image of $f$.

In fact,

$$R/\ker(f)\cong \operatorname{im}(f).$$

This says that once you collapse the kernel to zero, the ring you get is structurally the same as the image. The theorem shows that a homomorphism is really a two-step process:

1. collapse the kernel,
2. map the resulting quotient onto the image.

This is one of the most important ideas in abstract algebra because it explains how rings are built from simpler pieces.

Example with integers

For the reduction map $f:\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}$, the kernel is $n\mathbb{Z}$ and the image is all of $\mathbb{Z}/n\mathbb{Z}$. The theorem says

$$\mathbb{Z}/n\mathbb{Z}\cong \operatorname{im}(f),$$

which is true because the image is the whole codomain. This example shows how quotient rings naturally come from homomorphisms.

How to check whether a map is a ring homomorphism

When students is given a candidate function, use a step-by-step check:

1. Verify that $f(a+b)=f(a)+f(b)$.
2. Verify that $f(ab)=f(a)f(b)$.
3. If required, check that $f(1_R)=1_S$.

If any one of these fails, then the map is not a ring homomorphism.

Worked example

Let $f:\mathbb{Z}\to\mathbb{Z}$ be defined by

$$f(n)=2n.$$

Check addition:

$$f(a+b)=2(a+b)=2a+2b=f(a)+f(b).$$

So addition is preserved.

Now check multiplication:

$$f(ab)=2աբ,$$

but

$$f(a)f(b)=(2a)(2b)=4ab.$$

These are not equal in general. For example, if $a=b=1$, then

$$f(1\cdot 1)=2$$

while

$$f(1)f(1)=4.$$

So $f$ is not a ring homomorphism. This example shows why preserving both operations matters.

Conclusion

Ring homomorphisms are the structure-preserving maps that connect one ring to another. They preserve addition and multiplication, often preserve identity, and lead naturally to the ideas of kernel, image, and ideal. The kernel of a ring homomorphism is always an ideal, and this fact connects homomorphisms directly to quotient rings and the First Isomorphism Theorem. In abstract algebra, ring homomorphisms are not just functions—they are tools for understanding how rings relate, simplify, and reveal their hidden structure 🌟.

Study Notes

• A ring homomorphism is a function $f:R\to S$ such that $f(a+b)=f(a)+f(b)$ and $f(ab)=f(a)f(b)$.
• If rings have $1$, many courses also require $f(1_R)=1_S$.
• Ring homomorphisms preserve $0$, negatives, and subtraction.
• The kernel is $\ker(f)=\{r\in R:f(r)=0_S\}$.
• The image is $\operatorname{im}(f)=\{f(r):r\in R\}$.
• The kernel of a ring homomorphism is always an ideal.
• Ideals are the right objects for building quotient rings.
• The First Isomorphism Theorem says $R/\ker(f)\cong \operatorname{im}(f)$.
• A common example is reduction modulo $n$, $\mathbb{Z}\to\mathbb{Z}/n\mathbb{Z}$.
• To test a map, check addition, multiplication, and identity if needed.