Ring theory can be viewed as the art of taking the integers and extracting or identifying its essential properties, seeing where they lead. In that light, we might ask what the abstracted notion of "prime" should be. Confusingly, we call this property irreducibility rather than "primality"; "prime" in ring theory corresponds to something closely related but not the same.

In a ring $R$ which is an integral domain, we say that an element $x \in R$ is irreducible if, whenever we write $r = a \times b$ , it is the case that (at least) one of $a$ or $b$ is a unit (that is, has a multiplicative inverse).

Why do we require $R$ to be an integral domain?

Examples

Relationship with primality in the ring-theoretic sense

It is always the case that primes are irreducible in any integral domain.

Show proof

If $p$ is prime, then $p ∣ a b$ implies $p ∣ a$ or $p ∣ b$ by definition. We wish to show that if $p = a b$ then one of $a$ or $b$ is invertible.

Suppose $p = a b$ . Then in particular $p ∣ a b$ so $p ∣ a$ or $p ∣ b$ . Assume without loss of generality that $p ∣ a$ ; so there is some $c$ such that $a = c p$ .

Therefore $p = a b = c p b$ ; we are working in a commutative ring, so $p (1 - b c) = 0$ . Since the ring is an integral domain and $p$ is prime (so is nonzero), we must have $1 - b c = 0$ and hence $b c = 1$ . That is, $b$ is invertible.

However, the converse does not hold (though it may in certain rings).

In $Z$ , it is a fact that irreducibles are prime. Indeed, it is a consequence of Bézout's theorem that if $p$ is "prime" in the usual $Z$ -sense (that is, irreducible in the rings sense) ^[1], then $p$ is "prime" in the rings sense. (Proof.)

In the ring $Z [\sqrt{- 3}]$ of complex numbers of the form $a + b \sqrt{- 3}$ where $a, b$ are integers, the number $2$ is irreducible but we may express $4 = 2 \times 2 = (1 + \sqrt{- 3}) (1 - \sqrt{- 3})$ . That is, we have $2 ∣ (1 + \sqrt{- 3}) (1 - \sqrt{- 3})$ but $2$ doesn't divide either of those factors. Hence $2$ is not prime.

Proof that

2

is irreducible in $\mathbb{Z}[\sqrt{-3}]

A slick way to do this goes via the norm $N (2)$ of the complex number $2$ ; namely $4$ .

If $2 = a b$ then $N (2) = N (a) N (b)$ because the norm is a multiplicative function, and so $N (a) N (b) = 4$ . But $N (x + y \sqrt{- 3}) = x^{2} + 3 y^{2}$ is an integer for any element of the ring, and so we have just two distinct options: $N (a) = 1, N (b) = 4$ or $N (a) = 2 = N (b)$ . (The other cases follow by interchanging $a$ and $b$ .)

The first case: $N (x + y \sqrt{3}) = 1$ is only possible if $x = \pm 1, y = \pm 0$ . Hence the first case arises only from $a = \pm 1, b = \pm 2$ ; this has not led to any new factorisation of $2$ .

The second case: $N (x + y \sqrt{3}) = 2$ is never possible at all, since if $y \neq 0$ then the norm is too big, while if $y = 0$ then we are reduced to finding $x \in Z$ such that $x^{2} = 2$ .

Hence if we write $2$ as a product, then one of the factors must be invertible (indeed, must be $\pm 1$ ).

In fact, in a principal_ideal_domain, "prime" and "irreducible" are equivalent. (Proof.)

Relationship with unique factorisation domains

It is a fact that an integral domain $R$ is a UFD if and only if it has "all irreducibles are prime (in the sense of ring theory)" and "every $r \in R$ may be written as a product of irreducibles". (Proof.) This is a slightly easier condition to check than our original definition of a UFD, which instead of "all irreducibles are prime" had "products are unique up to reordering and multiplying by invertible elements".

Therefore the relationship between irreducibles and primes is at the heart of the nature of a unique factorisation domain. Since $Z$ is a UFD, in some sense the Fundamental Theorem of Arithmetic holds precisely because of the fact that "prime" is the same as "irreducible" in $Z$ .

^{^︎}
I'm sorry about the notation. It's just what we're stuck with. It is very confusing.

LESSWRONG
LW

LESSWRONG
LW

Irreducible element (ring theory)

Why do we require $R$ to be an integral domain?

Examples

Relationship with primality in the ring-theoretic sense

Relationship with unique factorisation domains

Irreducible element (ring theory)

Why do we require R to be an integral domain?

Examples

Relationship with primality in the ring-theoretic sense

Relationship with unique factorisation domains

Why do we require $R$ to be an integral domain?