Ring of integers

In mathematics, the ring of integers of an algebraic number field K, often denoted by O_K, is the ring of algebraic integers contained in K.

Using this notation, we can write Z = O_Q since Z is the ring of integers of the field Q of rational numbers. And indeed, in algebraic number theory the elements of Z are often called the "rational integers" because of this.

The ring of integers O_K has an integral basis; by this we mean that there exist b₁,...,b_n ∈ O_K (the integral basis) such that each element x in O_K can uniquely be represented as

$x=\sum _{i=1}^{n}a_{i}b_{i},$

with a_i ∈ Z.

If ζ is a pth root of unity and K=Q(ζ) is the corresponding cyclotomic field, then an integral basis of O_K is given by (1,ζ,ζ²,...,ζ^p-1).

If d is a square-free integer and K=Q(d^1/2) is the corresponding quadratic field, then an integral basis of O_K is given by (1,(1+d^1/2)/2) if d≡1 (mod 4) and by (1,d^1/2) if d≡2 or 3 (mod 4).