Algebraic integer

Template:Short description Template:About Template:Distinguish Template:Use mdy dates Template:Use American English In algebraic number theory, an algebraic integer is a complex number that is integral over the integers. That is, an algebraic integer is a complex root of some monic polynomial (a polynomial whose leading coefficient is 1) whose coefficients are integers. The set of all algebraic integers Template:Mvar is closed under addition, subtraction and multiplication and therefore is a commutative subring of the complex numbers.

The ring of integers of a number field Template:Mvar, denoted by Template:Math, is the intersection of Template:Mvar and Template:Mvar: it can also be characterised as the maximal order of the field Template:Mvar. Each algebraic integer belongs to the ring of integers of some number field. A number Template:Mvar is an algebraic integer if and only if the ring $\mathbb{Z}[\alpha ]$ is finitely generated as an abelian group, which is to say, as a $\mathbb{Z}$-module.

Definitions

The following are equivalent definitions of an algebraic integer. Let Template:Mvar be a number field (i.e., a finite extension of $\mathbb{Q}$, the field of rational numbers), in other words, $K=\mathbb{Q}(\theta )$ for some algebraic number $\theta \in ℂ$ by the primitive element theorem.

• Template:Math is an algebraic integer if there exists a monic polynomial $f(x)\in \mathbb{Z}[x]$ such that Template:Math.
• Template:Math is an algebraic integer if the minimal monic polynomial of Template:Mvar over $\mathbb{Q}$ is in $\mathbb{Z}[x]$.
• Template:Math is an algebraic integer if $\mathbb{Z}[\alpha ]$ is a finitely generated $\mathbb{Z}$-module.
• Template:Math is an algebraic integer if there exists a non-zero finitely generated $\mathbb{Z}$-submodule $M\subset ℂ$ such that Template:Math.

Algebraic integers are a special case of integral elements of a ring extension. In particular, an algebraic integer is an integral element of a finite extension $K/\mathbb{Q}$.

Examples

• The only algebraic integers that are found in the set of rational numbers are the integers. In other words, the intersection of $\mathbb{Q}$ and Template:Mvar is exactly $\mathbb{Z}$. The rational number Template:Math is not an algebraic integer unless Template:Mvar divides Template:Mvar. The leading coefficient of the polynomial Template:Math is the integer Template:Mvar.
• The square root $\sqrt{n}$ of a nonnegative integer Template:Mvar is an algebraic integer, but is irrational unless Template:Mvar is a perfect square.
• If Template:Mvar is a square-free integer then the extension $K=\mathbb{Q}(\sqrt{d})$ is a quadratic field of rational numbers. The ring of algebraic integers Template:Math contains $\sqrt{d}$ since this is a root of the monic polynomial Template:Math. Moreover, if Template:Math, then the element $\frac{1}{2}(1+\sqrt{d})$ is also an algebraic integer. It satisfies the polynomial Template:Math where the constant term Template:Math is an integer. The full ring of integers is generated by $\sqrt{d}$ or $\frac{1}{2}(1+\sqrt{d})$ respectively. See Quadratic integer for more.
• The ring of integers of the field $F=\mathbb{Q}[\alpha ]$, Template:Math, has the following integral basis, writing Template:Math for two square-free coprime integers Template:Mvar and Template:Mvar: $$\{\begin{array}{cc}1,\alpha ,\frac{{\alpha }^2\pm k^2\alpha +k^2}{3k}& m\equiv \pm 1mod9\\ 1,\alpha ,\frac{{\alpha }^2}{k}& \text{otherwise}\end{array}$$
• If Template:Mvar is a primitive Template:Mvarth root of unity, then the ring of integers of the cyclotomic field $\mathbb{Q}({\zeta }_n)$ is precisely $\mathbb{Z}[{\zeta }_n]$.
• If Template:Mvar is an algebraic integer then Template:Math is another algebraic integer. A polynomial for Template:Mvar is obtained by substituting Template:Math in the polynomial for Template:Mvar.

Non-example

• If Template:Math is a primitive polynomial that has integer coefficients but is not monic, and Template:Mvar is irreducible over $\mathbb{Q}$, then none of the roots of Template:Mvar are algebraic integers (but are algebraic numbers). Here primitive is used in the sense that the highest common factor of the coefficients of Template:Mvar is 1, which is weaker than requiring the coefficients to be pairwise relatively prime.

Finite generation of ring extension

For any Template:Math, the ring extension (in the sense that is equivalent to field extension) of the integers by Template:Math, denoted by $\mathbb{Z}(\alpha )\equiv \{\sum _{i=0}^n{\alpha }^i{z}_i|z_i\in \mathbb{Z},n\in \mathbb{Z}\}$, is finitely generated if and only if Template:Math is an algebraic integer.

The proof is analogous to that of the corresponding fact regarding algebraic numbers, with $\mathbb{Q}$ there replaced by $\mathbb{Z}$ here, and the notion of field extension degree replaced by finite generation (using the fact that $\mathbb{Z}$ is finitely generated itself); the only required change is that only non-negative powers of Template:Math are involved in the proof.

The analogy is possible because both algebraic integers and algebraic numbers are defined as roots of monic polynomials over either $\mathbb{Z}$ or $\mathbb{Q}$, respectively.

Ring

The sum, difference and product of two algebraic integers is an algebraic integer. In general their quotient is not. Thus the algebraic integers form a ring.

This can be shown analogously to the corresponding proof for algebraic numbers, using the integers $\mathbb{Z}$ instead of the rationals $\mathbb{Q}$.

One may also construct explicitly the monic polynomial involved, which is generally of higher degree than those of the original algebraic integers, by taking resultants and factoring. For example, if Template:Math, Template:Math and Template:Math, then eliminating Template:Mvar and Template:Mvar from Template:Math and the polynomials satisfied by Template:Mvar and Template:Mvar using the resultant gives Template:Math, which is irreducible, and is the monic equation satisfied by the product. (To see that the Template:Mvar is a root of the Template:Mvar-resultant of Template:Math and Template:Math, one might use the fact that the resultant is contained in the ideal generated by its two input polynomials.)

Integral closure

Every root of a monic polynomial whose coefficients are algebraic integers is itself an algebraic integer. In other words, the algebraic integers form a ring that is integrally closed in any of its extensions.

Again, the proof is analogous to the corresponding proof for algebraic numbers being algebraically closed.

Additional facts

• Any number constructible out of the integers with roots, addition, and multiplication is an algebraic integer; but not all algebraic integers are so constructible: in a naïve sense, most roots of irreducible quintics are not. This is the Abel–Ruffini theorem.
• The ring of algebraic integers is a Bézout domain, as a consequence of the principal ideal theorem.
• If the monic polynomial associated with an algebraic integer has constant term 1 or −1, then the reciprocal of that algebraic integer is also an algebraic integer, and each is a unit, an element of the group of units of the ring of algebraic integers.
• If Template:Math is an algebraic number then Template:Math is an algebraic integer, where Template:Mvar satisfies a polynomial Template:Math with integer coefficients and where Template:Math is the highest-degree term of Template:Math. The value Template:Math is an algebraic integer because it is a root of Template:Math, where Template:Math is a monic polynomial with integer coefficients.
• If Template:Math is an algebraic number then it can be written as the ratio of an algebraic integer to a non-zero algebraic integer. In fact, the denominator can always be chosen to be a positive integer. The ratio is Template:Math, where Template:Mvar satisfies a polynomial Template:Math with integer coefficients and where Template:Math is the highest-degree term of Template:Math.
• The only rational algebraic integers are the integers. Thus, if Template:Math is an algebraic integers and $\alpha \in \mathbb{Q}$, then $\alpha \in \mathbb{Z}$. This is a direct result of the rational root theorem for the case of a monic polynomial.

See also

• Integral element
• Gaussian integer
• Eisenstein integer
• Root of unity
• Dirichlet's unit theorem
• Fundamental units

References

• Template:Cite book