Namespaces
Variants
Actions

Algebraic number

From Encyclopedia of Mathematics
Jump to: navigation, search

A complex (sometimes, real) number that is a root of a polynomial

$$f(x)=a_nx^n+\dotsb+a_1x+a_0\label{1}\tag{1}$$

with rational coefficients, not all of which are zero. If $\alpha$ is an algebraic number, then, among all polynomials with rational coefficients and $\alpha$ as a root, there exists a unique polynomial $\phi(x)$ of lowest degree with leading coefficient equal to one, which is therefore irreducible (cf. Irreducible polynomial). It is called the irreducible, or minimal, polynomial of the algebraic number $\alpha$. The degree $n$ of the minimal polynomial $\phi(x)$ is also called the degree of the algebraic number $\alpha$. The existence of irreducible polynomials of any degree $n$ implies the existence of algebraic numbers of degree $n$. All rational numbers, and only such numbers, are algebraic numbers of the first degree. The number $i$ is an algebraic number of the second degree, since it is a root of the polynomial $x^2+1$, while $2^{1/n}$, where $n$ is any positive integer, is an algebraic number of degree $n$, being a root of the irreducible polynomial $x^n-2$.

The roots $\alpha_1,\dotsc,\alpha_n$ of the irreducible polynomial are called the conjugates of $\alpha$, and are also algebraic numbers of degree $n$. All numbers conjugate with $\alpha$ are distinct. Apart from its degree, another important characteristic of an algebraic number is its height, which is the analogue of the denominator of a rational fraction. The height of an algebraic number $\alpha$ is the greatest absolute value of the coefficients of the irreducible and primitive polynomial with integral rational coefficients that has $\alpha$ as a root (cf. Primitive polynomial). The sum, the difference, the product and the quotient of two algebraic numbers (except for division by zero) are algebraic numbers; this means that the set of all algebraic numbers is a field. A root of a polynomial with algebraic coefficients is an algebraic number.

It was shown in 1872 by G. Cantor that the set of all algebraic numbers is denumerable, and this implied the existence of transcendental numbers (cf. Transcendental number).

An algebraic number is called an algebraic integer if all the coefficients of its minimal polynomial are rational integers. For instance, $i$ and $1+\sqrt2$ are algebraic integers, being roots of the polynomials $x^2+1$ and $x^2-2x-1$.

The concept of an algebraic integer is a generalization of the concept of a rational integer (a rational integer $m$ is an algebraic integer, being the root of the polynomial $x-m$). Many properties of rational integers are also displayed by algebraic integers. Thus, the algebraic integers form a ring; on the other hand, the real algebraic integers form an everywhere-dense set in $\mathbf R$, while the rational integers form a discrete set.

A root of any (not necessarily irreducible) polynomial with rational integer coefficients and leading coefficient one is an algebraic integer. Moreover, a root of a polynomial with algebraic integer coefficients and with leading coefficient one is an algebraic integer. In particular the $k$-th degree root of an algebraic integer is an algebraic integer. For any algebraic number $\alpha$ there exists a positive integer $r$ such that $r\alpha$ is an algebraic integer (in analogy with rational numbers). The smallest possible number $r$ is the modulus of the leading coefficient of the irreducible primitive polynomial with rational integer coefficients that has $\alpha$ as a root. All conjugates of an algebraic integer are also algebraic integers.

One says that an algebraic integer $\beta$ is divisible by an algebraic integer $\alpha$, $\alpha\neq0$, if there exists an algebraic integer $\gamma$ such that $\beta=\gamma\alpha$. Many divisibility characteristics of rational integers also hold for algebraic integers.

An algebraic integer $\epsilon$ is called an algebraic unit (or unit for short) if it is a divisor of 1, that is, if $1/\epsilon$ is an algebraic integer. A unit is a divisor of any algebraic integer. The inverse of a unit is a unit; the numbers conjugate to a unit are units; all divisors of a unit are units; a product of a finite number of units is a unit. An algebraic integer is a unit if and only if the product of all its conjugates is $\pm1$. The $k$-th roots of unity are units, each one having modulus 1. There exists an infinite set of other units which do not have modulus 1. For instance, the numbers $2-\sqrt3$ and $2+\sqrt3$ are units, being the roots of the polynomial $x^2-4x+1$. Moreover, their powers constitute units which may be arbitrary large or small. The field of rational numbers contains only two units — $+1$ and $-1$.

Two algebraic integers are called associated if they differ by a factor which is a unit. There is another important difference between the ring of algebraic integers and the ring of rational integers. The concept of an irreducible integer (in analogy to a prime number) cannot be introduced into the former. This may be seen from the fact that a root of an algebraic integer is an algebraic integer. The concept of an irreducible number (apart from the class of associated numbers) can be introduced in certain subfields of the field of all algebraic numbers, the so-called algebraic number fields. It turns out, however, that the decomposition of an algebraic integer into irreducible factors is not always unique.

Algebraic numbers cannot be very closely approximated by rational and algebraic numbers (Liouville's theorem). It is this fact which led in 1844 to a proof of the existence of transcendental numbers. The problem of approximation of algebraic numbers by rational numbers is one of the more difficult problems in number theory; attempts to solve it yielded very important results, including the Thue, Thue–Siegel and Thue–Siegel–Roth theorems, but its ultimate solution is still nowhere in sight. Another very difficult problem is the expansion of algebraic numbers into continued fractions. Real algebraic numbers of the second degree (quadratic irrationalities) can be represented as infinite periodic continued fractions. Nothing is known so far (the 1970s) about the expansion of real algebraic numbers of degree at least three into ordinary continued fractions.

A complex number is called an algebraic number over a field $P\subset\mathbf C$ if it is a root of a polynomial \eqref{1} with coefficients from $P$. The minimal polynomial, the degree over $P$ and the conjugate numbers over $P$ for algebraic numbers over $P$ are defined in a similar manner. A root of a polynomial with coefficients that are algebraic numbers over $P$ is an algebraic number over $P$.

An algebraic number of arbitrary degree $n$ does not necessarily exist over any field $P$. For instance, only algebraic numbers of the first degree exist over the field of complex numbers: the numbers of the field themselves. A given algebraic number can be of different degrees with respect to different fields; thus, the number $i$ is an algebraic number of the second degree, but it is of the first degree with respect to the field of complex numbers. The set of all algebraic numbers over a field $P$ forms a number field.

Algebraic numbers, and algebraic number fields, were first systematically studied by C.F. Gauss (Gaussian numbers of the form $a+bi$, where $a$ and $b$ are rational numbers). Gauss developed the arithmetic of Gaussian integers as a base for the theory of biquadratic residues. In their study of the theory of cubic residues, C.G.J. Jacobi and F.G. Eisenstein created the arithmetic of numbers of the form $a+b\rho$, where $\rho=(-1+\sqrt{-3})/2$ is a cubic root of unity, while $a$ and $b$ are rational numbers. His attempts to produce a proof of the Fermat theorem led E. Kummer to conduct a deep study of cyclotomic fields (cf. Cyclotomic field), to introduce the concept of an ideal, and to create the elements of the theory of algebraic numbers. The theory of algebraic numbers was further developed by P. Dirichlet, L. Kronecker, D. Hilbert and others. Russian mathematicians — E.I. Zolotarev (theory of ideals), G.F. Voronoi (cubic irrationalities, units of cubic fields), A.A. Markov (cubic fields), Yu.V. Sokhotskii (theory of ideals) and others — also made significant contributions.

The concept of an algebraic number and the related concept of an algebraic number field are very important ideas in number theory and algebra. Algebraic numbers, which are a generalization of rational numbers, form subfields of algebraic numbers in the fields of real and complex numbers with special algebraic properties. The development of the theory of algebraic numbers greatly influenced the creation and development of the general theory of rings and fields.

Algebraic numbers have found numerous applications in various branches of number theory, algebra and other branches of mathematics: the theory of forms, Diophantine equations, Diophantine approximations, transcendental numbers, geometry of numbers, algebraic geometry, Galois theory, etc.

References

[1] N.G. [N.G. Chebotarev] Tschebotaröw, "Grundzüge der Galois'schen Theorie" , Noordhoff (1950) (Translated from Russian) MR0040265
[2] E. Hecke, "Lectures on the theory of algebraic numbers" , Springer (1981) (Translated from German) MR0638719 Zbl 0504.12001
[3] E. Landau, "Einführung in die elementare und analytische Theorie der algebraischen Zahlen und der Ideale" , Chelsea, reprint (1949) MR0031002 Zbl 0045.32202
[4] E. Landau, "Vorlesungen über Zahlentheorie" , 3 , Hirzel (1927) MR0250844 Zbl 53.0123.17
[5] S. Lang, "Algebraic number theory" , Addison-Wesley (1970) MR0282947 Zbl 0211.38404


Comments

References

[a1] E. Weiss, "Algebraic number theory" , McGraw-Hill (1963) MR0159805 Zbl 0115.03601
[a2] A. Weil, "Basic number theory" , Springer (1967) MR0234930 Zbl 0176.33601
How to Cite This Entry:
Algebraic number. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_number&oldid=44744
This article was adapted from an original article by A.B. Shidlovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article