Irreducible Elements of Ring of Integers

Theorem

Let $\left({\Z, +, \times}\right)$ be the ring of integers.

The irreducible elements of $\left({\Z, +, \times}\right)$ are the prime numbers and their negatives.

Proof

We have that Integers form Integral Domain.

Therefore the concept of irreducible is defined.

Let $p$ be a prime number.

By definition, the only divisors of $p$ are $1, -1, p, -p$.

From Units of Ring of Integers, $1$ and $-1$ are (the only) units of $\Z$.

From Associates are Unit Multiples, $p$ and $-p$ are (the only) associates of each other.

Hence the result, from the definition of irreducible.

$\blacksquare$

Sources

• C.R.J. Clapham: Introduction to Abstract Algebra (1969)... (previous)... (next): $\S 6.29$: Example $57$