Ring of integers

Template:Short description Template:Ring theory sidebar In mathematics, the ring of integers of an algebraic number field <math>K</math> is the ring of all algebraic integers contained in <math>K</math>.Template:Sfn An algebraic integer is a root of a monic polynomial with integer coefficients: <math>x^n+c_{n-1}x^{n-1}+\cdots+c_0</math>.Template:Sfn This ring is often denoted by <math>O_K</math> or <math>\mathcal O_K</math>. Since any integer belongs to <math>K</math> and is an integral element of <math>K</math>, the ring <math>\mathbb{Z}</math> is always a subring of <math>O_K</math>.

The ring of integers <math>\mathbb{Z}</math> is the simplest possible ring of integers.Template:Efn Namely, <math>\mathbb{Z}=O_{\mathbb{Q}}</math> where <math>\mathbb{Q}</math> is the field of rational numbers.Template:Sfn And indeed, in algebraic number theory the elements of <math>\mathbb{Z}</math> are often called the "rational integers" because of this.

The next simplest example is the ring of Gaussian integers <math>\mathbb{Z}[i]</math>, consisting of complex numbers whose real and imaginary parts are integers. It is the ring of integers in the number field <math>\mathbb{Q}(i)</math> of Gaussian rationals, consisting of complex numbers whose real and imaginary parts are rational numbers. Like the rational integers, <math>\mathbb{Z}[i]</math> 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.Template:Sfn

PropertiesEdit

The ring of integers Template:Math is a finitely-generated Template:Math-module. Indeed, it is a free Template:Math-module, and thus has an integral basis, that is a basis Template:Math of the Template:Math-vector space Template:Mvar such that each element Template:Mvar in Template:Math can be uniquely represented as

with Template:Math.<ref name=Cas193>Cassels (1986) p. 193</ref> The rank Template:Mvar of Template:Math as a free Template:Math-module is equal to the degree of Template:Mvar over Template:Math.

ExamplesEdit

Computational toolEdit

A useful tool for computing the integral closure of the ring of integers in an algebraic field Template:Math is the discriminant. If Template:Math is of degree Template:Math over Template:Math, and <math>\alpha_1,\ldots,\alpha_n \in \mathcal{O}_K</math> form a basis of Template:Math over Template:Math, set <math>d = \Delta_{K/\mathbb{Q}}(\alpha_1,\ldots,\alpha_n)</math>. Then, <math>\mathcal{O}_K</math> is a submodule of the Template:Nowrap spanned by <math>\alpha_1/d,\ldots,\alpha_n/d</math>.<ref name=":0">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> ^{pg. 33} In fact, if Template:Math is square-free, then <math>\alpha_1,\ldots,\alpha_n</math> forms an integral basis for <math>\mathcal{O}_K</math>.<ref name=":0" /> ^{pg. 35}

Cyclotomic extensionsEdit

If Template:Mvar is a prime, Template:Math is a Template:Mvarth root of unity and Template:Math is the corresponding cyclotomic field, then an integral basis of <math>\mathcal{O}_K=\bf{Z}[\zeta]</math> is given by Template:Math.Template:Sfn

Quadratic extensionsEdit

If <math>d</math> is a square-free integer and <math>K = \mathbb{Q}(\sqrt{d}\,)</math> is the corresponding quadratic field, then <math>\mathcal{O}_K</math> is a ring of quadratic integers and its integral basis is given by <math>(1, \frac{1 + \sqrt{d}}{2})</math> if Template:Math and by <math>(1, \sqrt{d})</math> if Template:Math.Template:Sfn This can be found by computing the minimal polynomial of an arbitrary element <math>a + b\sqrt{d} \in \mathbf{Q}(\sqrt{d})</math> where <math>a,b \in \mathbf{Q}</math>.

Multiplicative structureEdit

In a ring of integers, every element has a factorization into irreducible elements, but the ring need not have the property of unique factorization: for example, in the ring of integers Template:Math, the element 6 has two essentially different factorizations into irreducibles:Template:Sfn<ref>Template:Cite book</ref>

A ring of integers is always a Dedekind domain, and so has unique factorization of ideals into prime ideals.Template:Sfn

The units of a ring of integers Template:Math is a finitely generated abelian group by Dirichlet's unit theorem. The torsion subgroup consists of the roots of unity of Template:Math. A set of torsion-free generators is called a set of fundamental units.Template:Sfn

GeneralizationEdit

One defines the ring of integers of a non-archimedean local field Template:Math as the set of all elements of Template:Math with absolute value Template:Math; this is a ring because of the strong triangle inequality.Template:Sfn If Template:Math is the completion of an algebraic number field, its ring of integers is the completion of the latter's ring of integers. The ring of integers of an algebraic number field may be characterised as the elements which are integers in every non-archimedean completion.Template:Sfn

For example, the [[p-adic integer|Template:Mvar-adic integers]] Template:Math are the ring of integers of the [[p-adic number|Template:Mvar-adic numbers]] Template:Math.