View source for Algebraic independence

{{TEX|done}}
A concept in the theory of field extensions (cf. [[Extension of a field|Extension of a field]]). Let  $  K $ 
be some extension of a field  $  k $ . 
The elements  $  b _{1} \dots b _{n} \in K $ 
are called algebraically independent over  $  k $ 
if for each polynomial  $  f (x _{1} \dots x _{n} ) $ 
with coefficients from  $  k $ 
which is not identically equal to zero,  $  f (b _{1} \dots b _{n} ) \neq 0 $ . 
Otherwise, the elements  $  b _{1} \dots b _{n} $ 
are called algebraically dependent. An infinite set of elements is called algebraically independent if each one of its finite subsets is algebraically independent; otherwise it is called algebraically dependent. The definition of algebraic independence may be extended to the case where  $  K $ 
is a ring, and  $  k $ 
a subring [[#References|[1]]].

==Algebraic independence of numbers.==
Complex numbers  $  \alpha _{1} \dots \alpha _{n} $ 
are called algebraically independent if they are algebraically independent over the field of algebraic numbers, i.e. if for any polynomial  $  P (x _{1} \dots x _{n} ) $ 
with algebraic coefficients, not all of which are zero, the relationship  $  P ( \alpha _{1} \dots \alpha _{n} ) \neq 0 $ 
is valid. Otherwise,  $  \alpha _{1} \dots \alpha _{n} $ 
are called algebraically dependent. The concept of algebraic independence of numbers is a generalization of the concept of transcendency of a number (the case  $  n = 1 $ ). 
If several numbers are algebraically independent, each one of them is transcendental. It is usually very difficult to prove that given numbers are algebraically independent. The existing analytic methods of the theory of transcendental numbers give a solution of this problem for the values of certain classes of analytic functions. For instance, it was found that the values of the exponential function  $  e ^{z} $ , 
the arguments of which are algebraic and linearly independent over the field of rational numbers, are algebraically independent. A similar result was obtained for Bessel functions (cf. [[Siegel method|Siegel method]]). Several general theorems were also established concerning algebraic independence of the values in algebraic points of  $  E $ -
functions which satisfy linear differential equations with coefficients from the field of rational functions [[#References|[2]]], [[#References|[3]]]. Algebraic independence has been proved for numbers  $  \alpha ^ \beta  $ 
and  $  \alpha ^ {\beta ^{2}} $ , 
where  $  \alpha \neq 0,\  1 $ 
is an algebraic number and  $  \beta $ 
is a cubic irrationality. A number of theorems have also been proved which deal with the algebraic non-expressibility of numbers; a concept close to that of algebraic independence.

It is possible to impart a quantitative facet to the qualitative concept of algebraic independence if the measure of algebraic independence (cf. [[Algebraic independence, measure of|Algebraic independence, measure of]]) of these numbers is considered. The analytic methods referred to above yield estimates from below for the measure of algebraic independence of certain classes of numbers. General theorems treating the estimation of the measure of algebraic independence of the values of  $  E $ -
functions have been established [[#References|[3]]].

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> S. Lang, "Algebra" , Addison-Wesley (1974) {{MR|0783636}} {{ZBL|0712.00001}} </TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> N.I. Fel'dman, A.B. Shidlovskii, "The development and present state of the theory of transcendental numbers" ''Russian Math. Surveys'' , '''22''' : 3 (1967) pp. 1–79 ''Uspekhi Mat. Nauk'' , '''22''' : 3 (1967) pp. 3–81 {{MR|0214551}} {{ZBL|0178.04801}} </TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> A.B. Shidlovskii, "On arithmetic properties of values of analytic functions" ''Trudy Mat. Inst. Steklov.'' , '''132''' (1973) pp. 169–202 (In Russian) {{MR|}} {{ZBL|0288.10012}} </TD></TR></table>



====Comments====
The above-mentioned theorem on the algebraic independence of the values of  $  e ^{z} $ 
is known as the [[Lindemann–Weierstrass theorem]]. Schanuel's conjecture, that the transcendence degree of $ \left\lbrace{x_1,\ldots,x_n,e^{x_1},\ldots,e^{x_n}}\right\rbrace$is $\ge n$ for any  $x_1,\ldots,x_n \in \mathbb{C}$ linearly independent over $\mathbb{Q}$, is still (1986) unproved. An analogue of the Lindemann–Weierstrass theorem for values of the Weierstrass  $  ( x _{1} \dots x _{n} ,\  e ^ {x _{1}} \dots e ^ {x _{n}} ) \geq n $ -
function has been proved recently [[#References|[a1]]], [[#References|[a2]]] by using Gel'fond–Schneider-type arguments and zero estimates for polynomials on algebraic group varieties. Another method in algebraic independence is Mahler's method for values of functions satisfying functional equations [[#References|[a3]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> G. Wüstholz, "Ueber das abelsche Analogon des Lindemannsche Satzes I" ''Inv. Math.'' , '''72''' (1983) pp. 363–388 {{MR|0704397}} {{ZBL|0528.10024}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P. Philippon, "Variétés abéliennes et indépendence algébrique II" ''Inv. Math.'' , '''72''' (1983) pp. 389–405 {{MR|MR0704398}} {{ZBL|0516.10026}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top"> J. Loxton, A.J. van der Poorten, "Transcendence and algebraic independence by a method of Mahler" A. Baker (ed.) D. Masser (ed.) , ''Transcendence theory'' , Acad. Press (1977) pp. Chapt. 15 {{MR|0476660}} {{ZBL|0378.10020}} </TD></TR></table>