Ring of Integers

Integers Inside a Number Field

In ordinary arithmetic, the integers

\mathbb{Z}

form the fundamental arithmetic structure inside the rational numbers $\mathbb{Q}$ .

For a number field $K$ , the analogous object is its ring of integers, denoted

\mathcal O_K.

The ring of integers consists of all algebraic integers contained in $K$ :

\mathcal O_K = \{\alpha\in K:\alpha \text{ is an algebraic integer}\}.

This ring generalizes ordinary integers to arbitrary number fields and becomes the central arithmetic object in algebraic number theory.

First Examples

Rational Numbers

For the rational field,

K=\mathbb{Q},

the algebraic integers are exactly the ordinary integers. Hence

\mathcal O_{\mathbb{Q}}=\mathbb{Z}.

Thus the classical integers appear as the simplest example.

Gaussian Integers

Consider

K=\mathbb{Q}(i).

Every element has the form

a+bi, \qquad a,b\in\mathbb{Q}.

The algebraic integers in this field are exactly those with integer coefficients:

\mathcal O_{\mathbb{Q}(i)} = \mathbb{Z}[i].

These are called the Gaussian integers.

Quadratic Field $\mathbb{Q}(\sqrt5)$

Now consider

K=\mathbb{Q}(\sqrt5).

The element

\frac{1+\sqrt5}{2}

satisfies

x^2-x-1=0,

so it is an algebraic integer.

Therefore the ring of integers is larger than

\mathbb{Z}[\sqrt5].

In fact,

\mathcal O_{\mathbb{Q}(\sqrt5)} = \mathbb{Z}\left[\frac{1+\sqrt5}{2}\right].

This example shows that the arithmetic structure of a number field may be subtler than expected.

Characterization in Quadratic Fields

Let

K=\mathbb{Q}(\sqrt d),

where $d$ is squarefree.

Then:

d\equiv2,3\pmod4,

we have

\mathcal O_K=\mathbb{Z}[\sqrt d],

d\equiv1\pmod4,

then

\mathcal O_K = \mathbb{Z}\left[\frac{1+\sqrt d}{2}\right].

This classification completely describes the rings of integers in quadratic fields.

Ring Structure

The ring of integers is indeed a ring.

\alpha,\beta\in\mathcal O_K,

then

\alpha+\beta, \qquad \alpha-\beta, \qquad \alpha\beta

also belong to $\mathcal O_K$ .

Thus arithmetic operations remain inside the ring.

However, division need not remain inside $\mathcal O_K$ . For example,

\frac12\notin\mathbb{Z}.

Similarly, rings of integers are not fields. They behave like generalized integer systems rather than generalized rational systems.

Integral Bases

The ring $\mathcal O_K$ is a free abelian group of rank

[K:\mathbb{Q}].

Thus there exist algebraic integers

\omega_1,\omega_2,\dots,\omega_n

such that every element of $\mathcal O_K$ can be written uniquely as

a_1\omega_1+\cdots+a_n\omega_n, \qquad a_i\in\mathbb{Z}.

Such a set is called an integral basis.

For example:

\mathbb{Q}(i),

an integral basis is

\{1,i\},

\mathbb{Q}(\sqrt5),

an integral basis is

\left\{ 1, \frac{1+\sqrt5}{2} \right\}.

Integral bases generalize the role of $1$ in ordinary integer arithmetic.

Norm and Trace on the Ring of Integers

\alpha\in\mathcal O_K,

then its norm and trace are ordinary integers.

For example, in a quadratic field,

\alpha=a+b\sqrt d,

the norm is

N(\alpha)=a^2-db^2,

and the trace is

\operatorname{Tr}(\alpha)=2a.

These quantities control divisibility, units, and factorization properties.

The norm is multiplicative:

N(\alpha\beta)=N(\alpha)N(\beta).

This property is fundamental throughout algebraic number theory.

Units

An element

u\in\mathcal O_K

is called a unit if it has a multiplicative inverse inside $\mathcal O_K$ .

Equivalently,

u

is a unit precisely when

N(u)=\pm1.

For example, in the Gaussian integers,

\pm1,\pm i

are exactly the units.

In real quadratic fields, infinitely many units may exist. Pell equations are closely related to these units.

For instance, in

\mathbb{Q}(\sqrt2),

the element

3+2\sqrt2

has norm $1$ and generates infinitely many units through its powers.

Failure of Unique Factorization

The ordinary integers satisfy unique factorization into primes.

Rings of integers need not.

A famous example occurs in

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

where

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

These factorizations are genuinely different and cannot be transformed into one another using units.

Thus unique factorization fails.

This failure motivated the introduction of ideals, which restore a generalized form of unique factorization.

Ideals and Arithmetic

Although elements may factor nonuniquely, ideals in $\mathcal O_K$ factor uniquely into prime ideals.

This insight, developed by entity[“people”,“Richard Dedekind”,“German mathematician”], became one of the central ideas of algebraic number theory.

The ring of integers therefore serves as the natural setting for ideal arithmetic.

Geometric Interpretation

Through embeddings into $\mathbb{R}$ or $\mathbb{C}$ , the ring of integers forms a lattice in Euclidean space.

For example:

$\mathbb{Z}[i]$ forms the square lattice in the complex plane,
Eisenstein integers form a hexagonal lattice.

This geometric viewpoint leads to Minkowski theory and the geometry of numbers.

Arithmetic questions about divisibility become geometric questions about lattice points.

Central Role in Number Theory

The ring of integers is the arithmetic core of a number field.

Inside it one studies:

divisibility,
units,
primes,
ideals,
class groups,
ramification,
zeta functions.

Many classical problems become clearer only after passing from ordinary integers to rings of integers in suitable number fields.

Thus the ring of integers generalizes the familiar arithmetic of $\mathbb{Z}$ into broader algebraic settings while preserving deep structural properties.