Ideals and Prime Ideals

Motivation from Factorization Failure

In ordinary integers, every number factors uniquely into primes. In many rings of algebraic integers, this property fails.

For example, in

\mathbb{Z}[\sqrt{-5}],

one has

6=2\cdot3=(1+\sqrt{-5})(1-\sqrt{-5}),

with genuinely different factorizations.

This failure makes divisibility difficult to control if one works only with elements.

The key insight of modern algebraic number theory is that factorization becomes unique again when one replaces elements by ideals.

Definition of an Ideal

Let $R$ be a ring. An ideal $I\subseteq R$ is a subset satisfying:

a,b\in I,

then

a-b\in I,

r\in R, \qquad a\in I,

then

ra\in I.

Thus ideals are additive subgroups closed under multiplication by arbitrary ring elements.

The simplest example in $\mathbb{Z}$ is

(n)=n\mathbb{Z},

the set of all multiples of $n$ .

Principal Ideals

An ideal generated by a single element is called principal.

\alpha\in R,

then the principal ideal generated by $\alpha$ is

(\alpha) = \{\alpha r:r\in R\}.

In $\mathbb{Z}$ ,

(6) = \{\dots,-12,-6,0,6,12,\dots\}.

In the Gaussian integers,

(1+i)

consists of all multiples of $1+i$ .

Principal ideals generalize divisibility by a single element.

Operations on Ideals

Ideals may be added and multiplied.

For ideals $I$ and $J$ ,

I+J = \{a+b:a\in I,\ b\in J\},

and

IJ = \left\{ \sum_k a_kb_k: a_k\in I,\ b_k\in J \right\}.

The product ideal captures combined divisibility information.

For example, in $\mathbb{Z}$ ,

(m)(n)=(mn).

Thus ideal multiplication generalizes multiplication of integers.

Prime Ideals

A prime ideal generalizes the notion of a prime number.

An ideal $P\subsetneq R$ is prime if

ab\in P

implies

a\in P \quad\text{or}\quad b\in P.

This mirrors the defining property of prime integers.

For example, in $\mathbb{Z}$ , the prime ideals are exactly

(p),

where $p$ is a prime number.

Prime ideals become the true atomic objects of arithmetic in general number fields.

Maximal Ideals

An ideal $M\subsetneq R$ is maximal if there is no ideal strictly between $M$ and $R$ .

In commutative rings with identity, every maximal ideal is prime.

For example, in $\mathbb{Z}$ ,

(p)

is maximal whenever $p$ is prime, because

\mathbb{Z}/(p)\cong\mathbb{F}_p

is a field.

Quotient rings by prime or maximal ideals generalize arithmetic modulo primes.

Unique Factorization of Ideals

The central theorem is the following.

Theorem. In the ring of integers $\mathcal O_K$ of a number field, every nonzero ideal factors uniquely into prime ideals.



I=P_1^{e_1}P_2^{e_2}\cdots P_r^{e_r}

Thus although elements may factor nonuniquely, ideals do not.

This theorem restores arithmetic order.

Example in $\mathbb{Z}[\sqrt{-5}]$

Recall the failure

6=2\cdot3=(1+\sqrt{-5})(1-\sqrt{-5}).

At the ideal level, factorization becomes unique.

The ideals generated by these elements factor into prime ideals in compatible ways.

Thus the ambiguity disappears once arithmetic is interpreted ideal-theoretically.

This example was one of the main motivations for Dedekind ideal theory.

Quotient Rings

If $I$ is an ideal of $R$ , one forms the quotient ring

R/I.

Its elements are residue classes modulo $I$ .

For example,

\mathbb{Z}/(n)

is the ordinary ring of integers modulo $n$ .

If $P$ is prime, then

R/P

is an integral domain. If $M$ is maximal, then

R/M

is a field.

Thus prime ideals generalize modular arithmetic modulo primes.

Norm of an Ideal

In the ring of integers $\mathcal O_K$ , ideals possess a norm.

For a nonzero ideal $I$ ,

N(I)=|\mathcal O_K/I|.

This counts the number of residue classes modulo $I$ .

For principal ideals,

N((\alpha))=|N_{K/\mathbb{Q}}(\alpha)|.

The ideal norm is multiplicative:

N(IJ)=N(I)N(J).

This parallels the multiplicativity of ordinary integer norms.

Principal Ideal Domains

A ring in which every ideal is principal is called a principal ideal domain.

Examples include:

$\mathbb{Z}$ ,
$\mathbb{Z}[i]$ ,
polynomial rings $F[x]$ .

In a PID, unique factorization of elements holds.

However, many rings of integers are not principal ideal domains.

The obstruction is measured by the class group.

Ideal Classes

Two ideals $I$ and $J$ are considered equivalent if there exist nonzero elements $\alpha,\beta$ such that

(\alpha)I=(\beta)J.

The equivalence classes form the ideal class group.

Its size is the class number.

The class group measures precisely how far the ring is from being a principal ideal domain.

If the class number equals $1$ , then every ideal is principal and unique factorization of elements holds.

Geometric Interpretation

Through embeddings into Euclidean space, ideals correspond to lattices inside the ring of integers.

Ideal multiplication combines lattice structures geometrically.

This viewpoint connects algebraic number theory with geometry of numbers and lattice reduction theory.

Structural Importance

Ideals transformed algebraic number theory.

They provide the correct framework for:

divisibility,
factorization,
ramification,
class groups,
Dedekind zeta functions,
class field theory.

The transition from elements to ideals is one of the defining conceptual advances of modern mathematics.