Subrings in Abstract Algebra

students, imagine a giant tool chest full of number systems. Some tool trays have all the features of the full chest, but are smaller and still work on their own. In abstract algebra, those smaller trays are called subrings. They let us zoom in on a ring, study a smaller structure, and still keep the same algebraic rules 🧠✨.

In this lesson, you will learn how to recognize subrings, test whether a set is a subring, and see why subrings matter for ring homomorphisms and ideals. By the end, you should be able to explain the idea clearly, apply the subring test, and connect subrings to the bigger picture of ring theory.

What is a subring?

A ring is a set with two operations, usually addition and multiplication, that behave like ordinary arithmetic in some ways. A subring is a subset of a ring that is itself a ring using the same operations.

If $R$ is a ring and $S$ is a subset of $R$, then $S$ is a subring of $R$ if $S$ is a ring under the addition and multiplication inherited from $R$.

That means the operations are not new. We use the same $+$ and $\cdot$ from the bigger ring.

To be a subring, the set must be closed under the ring operations and satisfy the ring axioms. In practice, a very useful test is this:

A nonempty subset $S$ of a ring $R$ is a subring if for all $a,b \in S$, the elements $a-b$ and $ab$ are also in $S$.

This works because if a set is closed under subtraction and multiplication and is nonempty, then it automatically contains $0$ and additive inverses, which gives closure under addition too.

Why subtraction appears in the test

You may wonder why the test uses $a-b$ instead of just $a+b$. The reason is that subtraction combines addition and additive inverses. If $S$ is nonempty and closed under subtraction, then for any $a \in S$, we get $a-a=0 \in S$. Then $0-a=-a \in S$, so additive inverses are included. From there, addition follows because $a+b = a-(-b)$.

This makes the test efficient and easy to use.

Examples of subrings

Let’s look at some concrete examples to make the idea real.

Example 1: Even integers inside the integers

Consider the ring $\mathbb{Z}$ of all integers, and the subset $2\mathbb{Z} = \{2k \mid k \in \mathbb{Z}\}$.

If $a=2m$ and $b=2n$, then $a-b=2(m-n) \in 2\mathbb{Z}$.
Also, $ab=(2m)(2n)=4mn \in 2\mathbb{Z}$.

So $2\mathbb{Z}$ is a subring of $\mathbb{Z}$.

This is a great example because it shows a subring can be much smaller than the original ring and still have the same algebraic structure.

Example 2: Polynomials with only even coefficients

Let $R=\mathbb{Z}[x]$, the ring of polynomials with integer coefficients. Consider the set of polynomials whose coefficients are all even. For example, $2x^2+4x+6$ is in the set.

If $f(x)$ and $g(x)$ have all even coefficients, then $f(x)-g(x)$ also has all even coefficients, and so does $f(x)g(x)$.

So this set is a subring of $\mathbb{Z}[x]$.

Example 3: A set that is not a subring

Take the subset of $\mathbb{Z}$ consisting of positive even integers: $\{2,4,6,\dots\}$.

This set is closed under multiplication, but not under subtraction, because $2-4=-2$ is not positive. So it is not a subring.

This example is important because it shows that multiplication alone is not enough. A subring must behave like a ring, not just like a multiplication-friendly set.

How to test whether a subset is a subring

When you are given a subset $S$ of a ring $R$, here is a practical method:

Check that $S$ is nonempty.
Pick arbitrary elements $a,b \in S$.
Test whether $a-b \in S$.
Test whether $ab \in S$.

If both are always true, then $S$ is a subring.

This procedure is useful because it avoids checking every ring axiom separately. In many textbook problems, this is the fastest route.

Why nonempty matters

If a set is empty, it cannot be a ring because a ring must contain an additive identity $0$. So the nonempty condition is essential.

A quick warning about identity

Some books require a subring to contain the multiplicative identity $1$ if the larger ring has one. Others do not. In this lesson, the standard and most common definition is that a subring does not have to contain $1$.

That means $2\mathbb{Z}$ is a subring of $\mathbb{Z}$, even though $1 \notin 2\mathbb{Z}$.

students, always check which convention your course uses when you solve problems.

Subrings and ring homomorphisms

Subrings connect naturally to ring homomorphisms, which are structure-preserving maps between rings.

A ring homomorphism is a function $f:R\to T$ such that for all $a,b \in R$,

$$f(a+b)=f(a)+f(b), \qquad f(ab)=f(a)f(b).$$

Why does this matter for subrings? Because the image of a ring homomorphism is always a subring of the codomain.

If $f:R\to T$ is a ring homomorphism, then $f(R)=\{f(r)\mid r\in R\}$ is a subring of $T$.

Here is the reasoning:

If $u=f(a)$ and $v=f(b)$ are in $f(R)$, then $u-v=f(a)-f(b)=f(a-b)$ is also in $f(R)$.
Also, $uv=f(a)f(b)=f(ab)$ is in $f(R)$.

So images of homomorphisms naturally form subrings.

Example with a homomorphism

Consider the map $f:\mathbb{Z}\to \mathbb{Z}_n$ given by reduction modulo $n$:

$$f(k)=[k]_n.$$

This is a ring homomorphism. Its image is all of $\mathbb{Z}_n$, which is certainly a subring of itself.

The kernel of this map is also important. The kernel is

$$\ker(f)=\{k\in\mathbb{Z} \mid [k]_n=[0]_n\} = n\mathbb{Z}.$$

This set is not just a subring; it is an ideal, a special kind of subring with extra absorption properties. Ideals will be studied in more detail in the next part of the topic, but it is helpful to know that every ideal is a subring, though not every subring is an ideal.

Subrings versus ideals

This distinction is one of the most important ideas in ring theory.

A subring is a smaller ring sitting inside a ring. An ideal is a subring with an extra property: multiplying any element of the ring by an element of the ideal keeps you inside the ideal.

If $I$ is an ideal of $R$, then for all $r \in R$ and $x \in I$,

$$rx \in I \quad \text{and} \quad xr \in I.$$

Not every subring has this property.

Example showing the difference

Inside the ring $\mathbb{Z}[x]$, the set of constant polynomials $\mathbb{Z}$ is a subring. But it is not an ideal, because multiplying a constant polynomial by $x$ gives a nonconstant polynomial, which is not in the set of constants.

So:

$\mathbb{Z}$ inside $\mathbb{Z}[x]$ is a subring.
It is not an ideal.

This example helps you see how ideals are more restrictive.

Why subrings matter in algebra

Subrings help mathematicians break big rings into manageable pieces. This is useful when studying:

polynomial rings,
modular arithmetic,
matrix rings,
quotient rings,
kernels and images of homomorphisms.

For example, if you understand a subring inside a larger ring, you can often use it to simplify calculations or understand patterns. In geometry, physics, coding theory, and cryptography, algebraic structures often appear in pieces, and subrings help organize those pieces.

Subrings also prepare you for ideals. Since ideals are special subrings, understanding subrings first makes the transition to quotient rings much easier. In fact, quotient rings rely on ideals, and ideals rely on the idea that a subset can still support ring operations in a meaningful way.

Worked example

Let $R=\mathbb{Z}[x]$, and let $S$ be the set of all polynomials with zero constant term. So $S$ contains elements like $x$, $3x^2-5x$, and $7x^4$.

We test whether $S$ is a subring.

Take $f(x),g(x) \in S$. Since both have zero constant term, their difference $f(x)-g(x)$ also has zero constant term. So $f(x)-g(x) \in S$.

Now check multiplication. If both polynomials have zero constant term, then each has a factor of $x$.

$$f(x)=x p(x), \qquad g(x)=x q(x)$$

for some polynomials $p(x),q(x) \in \mathbb{Z}[x]$. Then

$$f(x)g(x)=x^2 p(x)q(x),$$

which still has zero constant term. So $f(x)g(x) \in S$.

Therefore, $S$ is a subring of $\mathbb{Z}[x]$.

This example is useful because it shows how algebraic structure can be checked by factoring and understanding coefficients.

Conclusion

Subrings are smaller rings inside larger rings, using the same addition and multiplication. students, the key idea is that a subset becomes a subring when it is nonempty and closed under subtraction and multiplication. Subrings appear naturally in many familiar settings such as integers, polynomial rings, and images of ring homomorphisms.

They also form the foundation for understanding ideals. Every ideal is a subring, but not every subring is an ideal. That distinction is central to the study of ring homomorphisms and quotient rings. If you can recognize subrings and test them correctly, you are building one of the core skills in abstract algebra 📚.

Study Notes

A subring is a subset of a ring that is itself a ring under the same operations.
A practical test: a nonempty subset $S$ of a ring $R$ is a subring if for all $a,b \in S$, both $a-b \in S$ and $ab \in S$.
If a set is closed under subtraction, it automatically contains $0$ and additive inverses.
Examples of subrings include $2\mathbb{Z}$ in $\mathbb{Z}$ and polynomials with all even coefficients in $\mathbb{Z}[x]$.
A set closed under multiplication alone is not necessarily a subring.
A ring homomorphism preserves addition and multiplication: $f(a+b)=f(a)+f(b)$ and $f(ab)=f(a)f(b)$.
The image of a ring homomorphism is always a subring.
The kernel of a ring homomorphism is always an ideal.
Every ideal is a subring, but not every subring is an ideal.
Subrings are important because they help organize ring structure and lead into the study of ideals and quotient rings.