Units in Integral Domains and Fields

Introduction

students, in abstract algebra, not every number-like object behaves the same way. Some elements can be “undone” by multiplication, while others cannot 🔍. This lesson focuses on units, a key idea in the study of integral domains and fields. Understanding units helps explain why some algebraic systems behave like familiar numbers and why others do not.

Learning goals

Explain the meaning of a unit in a ring.
Identify units in familiar examples such as $\mathbb{Z}$ and $\mathbb{Z}_n$.
Connect units to integral domains and fields.
Use examples to decide whether a given element is a unit.
Understand how units fit into the bigger picture of abstract algebra.

A unit is an element that has a multiplicative inverse. In simple terms, it is something you can multiply by another element to get $1$. For example, in the real numbers, $2$ is a unit because its inverse is $\frac{1}{2}$, and $2\cdot \frac{1}{2}=1$.

What is a unit?

In a ring $R$ with identity $1$, an element $u\in R$ is called a unit if there exists another element $v\in R$ such that

$$uv=vu=1.$$

The element $v$ is called the multiplicative inverse of $u$, often written as $u^{-1}$. If $u$ is a unit, then $u^{-1}$ is also a unit.

This idea is closely related to solving equations. If $u$ is a unit, then the equation

$$ux=a$$

has the solution

$$x=u^{-1}a.$$

That means units are exactly the elements that can be “divided out” safely. In many algebra systems, this is a major advantage because it lets us solve equations and simplify expressions.

Example in $\mathbb{Z}$

In the integers $\mathbb{Z}$, the only units are $1$ and $-1$. Why? Because these are the only integers with integer inverses. For example, the inverse of $1$ is $1$, and the inverse of $-1$ is $-1$, since

$$1\cdot 1=1 \quad \text{and} \quad (-1)\cdot (-1)=1.$$

But $2$ is not a unit in $\mathbb{Z}$, because its inverse would be $\frac{1}{2}$, which is not an integer.

This shows an important point: whether something is a unit depends on the ring you are working in. The same element may be a unit in one system and not in another.

Units in modular arithmetic

Modular arithmetic gives some of the most useful and surprising examples of units 🌟. In the ring $\mathbb{Z}_n$, an element $[a]$ is a unit if and only if $a$ and $n$ are relatively prime, meaning

$$\gcd(a,n)=1.$$

This is a fundamental result in abstract algebra.

Example in $\mathbb{Z}_8$

Let’s list the elements of $\mathbb{Z}_8$:

$$[0],[1],[2],[3],[4],[5],[6],[7].$$

To find the units, we check which numbers are relatively prime to $8$:

$\gcd(1,8)=1$, so $[1]$ is a unit.
$\gcd(3,8)=1$, so $[3]$ is a unit.
$\gcd(5,8)=1$, so $[5]$ is a unit.
$\gcd(7,8)=1$, so $[7]$ is a unit.

The units in $\mathbb{Z}_8$ are therefore

$$[1],[3],[5],[7].$$

Check one of them: in $\mathbb{Z}_8$,

$$[3][3]=[9]=[1],$$

so $[3]^{-1}=[3]$.

Example in $\mathbb{Z}_{10}$

The units in $\mathbb{Z}_{10}$ are the classes whose representatives are relatively prime to $10$:

$$[1],[3],[7],[9].$$

For instance,

$$[3][7]=[21]=[1]$$

in $\mathbb{Z}_{10}$, so $[7]$ is the inverse of $[3]$.

These examples show that units can be easy to detect in modular systems using the greatest common divisor.

Why units matter in integral domains

An integral domain is a commutative ring with identity $1\neq 0$ and no zero divisors. A zero divisor is a nonzero element that multiplies with another nonzero element to give $0$.

Units and zero divisors are different ideas, but they help describe the structure of a ring. In an integral domain, the absence of zero divisors makes multiplication behave more like ordinary arithmetic.

Important fact

In an integral domain, if an element has a multiplicative inverse, then it behaves very strongly: it can never be a zero divisor.

Why? Suppose $u$ is a unit and $ux=0$. Multiply both sides by $u^{-1}$:

$$u^{-1}(ux)=u^{-1}0,$$

$$x=0.$$

That means a unit cannot destroy information through multiplication. It always has a “way back.” This is one reason units are so important in solving equations and proving cancellation laws.

Cancellation using units

If $u$ is a unit and

$$ux=uy,$$

then multiplying by $u^{-1}$ gives

$$x=y.$$

This is a clean example of algebraic cancellation. Notice that cancellation may fail in rings with zero divisors, which is one reason integral domains are especially useful.

Units and fields

A field is a commutative ring in which every nonzero element is a unit. This is one of the most important ideas in algebra.

Examples of fields include:

the rational numbers $\mathbb{Q}$
the real numbers $\mathbb{R}$
the complex numbers $\mathbb{C}$
$\mathbb{Z}_p$ when $p$ is prime

In a field, every nonzero element has an inverse, so division by any nonzero element is possible.

Example: why $\mathbb{Z}_5$ is a field

The ring $\mathbb{Z}_5$ has elements

$$[0],[1],[2],[3],[4].$$

Every nonzero element is a unit:

$[1]^{-1}=[1]$
$[2]^{-1}=[3]$ because $[2][3]=[6]=[1]$
$[3]^{-1}=[2]$
$[4]^{-1}=[4]$ because $[4][4]=[16]=[1]$

So every nonzero element has an inverse, and $\mathbb{Z}_5$ is a field.

Example: why $\mathbb{Z}_6$ is not a field

In $\mathbb{Z}_6$, the element $[2]$ is not a unit because $\gcd(2,6)=2\neq 1$. Also,

$$[2][3]=[6]=[0],$$

so $[2]$ and $[3]$ are zero divisors. Since not every nonzero element is invertible, $\mathbb{Z}_6$ is not a field.

This comparison shows how units help distinguish fields from other rings.

How to determine whether an element is a unit

There are a few common strategies, students:

1. Look for an inverse directly

If you can find $v$ such that

$$uv=1,$$

then $u$ is a unit.

2. Use gcd in $\mathbb{Z}_n$

For modular integers, check whether

$$\gcd(a,n)=1.$$

If yes, then $[a]$ is a unit.

3. Use structural facts

In $\mathbb{Z}$, only $1$ and $-1$ are units.
In a field, every nonzero element is a unit.
In an integral domain, units are never zero divisors.

Example problem

Is $[4]$ a unit in $\mathbb{Z}_{12}$?

We compute:

$$\gcd(4,12)=4.$$

Since this is not $1$, $[4]$ is not a unit.

Is $[5]$ a unit in $\mathbb{Z}_{12}$?

$$\gcd(5,12)=1,$$

so $[5]$ is a unit. In fact,

$$[5][5]=[25]=[1],$$

so $[5]^{-1}=[5]$.

Conclusion

Units are the elements of a ring that have multiplicative inverses. They play a major role in understanding how multiplication works, especially in integral domains and fields. In an integral domain, units can be safely canceled and never behave like zero divisors. In a field, every nonzero element is a unit, which makes division possible everywhere except by $0$.

By learning to identify units, students, you gain a powerful tool for studying algebraic structures and for understanding why some rings behave more like familiar number systems than others. Units are not just a definition to memorize—they are a key feature that helps reveal the shape and power of abstract algebra ✨.

Study Notes

A unit in a ring $R$ is an element $u$ for which there exists $u^{-1}$ such that $uu^{-1}=u^{-1}u=1$.
Units are exactly the elements that have multiplicative inverses.
In $\mathbb{Z}$, the only units are $1$ and $-1$.
In $\mathbb{Z}_n$, $[a]$ is a unit if and only if $\gcd(a,n)=1$.
Units help solve equations like $ux=a$ by multiplying by $u^{-1}$.
In an integral domain, a unit cannot be a zero divisor.
A field is a ring in which every nonzero element is a unit.
$\mathbb{Z}_p$ is a field when $p$ is prime.
To check whether an element is a unit, look for its inverse or use the gcd test in modular arithmetic.
Understanding units helps connect the ideas of zero divisors, integral domains, and fields.