In mathematics, the ring of integers of an algebraic number field K {\displaystyle K} (also sometimes called the number ring corresponding to number field K {\displaystyle K} ) is the ring of all algebraic integers contained in K {\displaystyle K} . An algebraic integer is a root of a monic polynomial with integer coefficients: x n + c n − 1 x n − 1 + ⋯ + c 0 {\displaystyle x^{n}+c_{n-1}x^{n-1}+\cdots +c_{0}} . This ring is often denoted by O K {\displaystyle O_{K}} or O K {\displaystyle {\mathcal {O}}_{K}} . Since any integer belongs to K {\displaystyle K} and is an integral element of K {\displaystyle K} , the ring Z {\displaystyle \mathbb {Z} } is always a subring of O K {\displaystyle O_{K}} . The ring of integers Z {\displaystyle \mathbb {Z} } is the simplest possible ring of integers. Namely, Z = O Q {\displaystyle \mathbb {Z} =O_{\mathbb {Q} }} where Q {\displaystyle \mathbb {Q} } is the field of rational numbers. And indeed, in algebraic number theory the elements of Z {\displaystyle \mathbb {Z} } are often called the "rational integers" because of this. The next simplest example is the ring of Gaussian integers Z [ i ] {\displaystyle \mathbb {Z} [i]} , consisting of complex numbers whose real and imaginary parts are integers. It is the ring of integers in the number field Q ( i ) {\displaystyle \mathbb {Q} (i)} of Gaussian rationals, consisting of complex numbers whose real and imaginary parts are rational numbers. Like the rational integers, Z [ i ] {\displaystyle \mathbb {Z} [i]} is a Euclidean domain. The ring of integers of an algebraic number field is the unique maximal order in the field. It is always a Dedekind domain.
Properties The ring of integers OK is a finitely-generated Z {\displaystyle \mathbb {Z} } -module. Indeed, it is a free Z {\displaystyle \mathbb {Z} } -module, and thus has an integral basis, that is a basis b1, ..., bn ∈ OK of the Q {\displaystyle \mathbb {Q} } -vector space K such that each element x in OK can be uniquely represented as
x = ∑ i = 1 n a i b i , {\displaystyle x=\sum _{i=1}^{n}a_{i}b_{i},}
with a i ∈ Z {\displaystyle a_{i}\in \mathbb {Z} } . The rank n of OK as a free Z {\displaystyle \mathbb {Z} } -module is equal to the degree of K over Q {\displaystyle \mathbb {Q} } .
Examples
… excerpt ends here. Continue reading the full article.
