Namespaces
Variants
Actions

Difference between revisions of "Algebraic independence"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (MR/ZBL numbers added)
m (tex done)
 
(8 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A concept in the theory of field extensions (cf. [[Extension of a field|Extension of a field]]). Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115301.png" /> be some extension of a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115302.png" />. The elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115303.png" /> are called algebraically independent over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115304.png" /> if for each polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115305.png" /> with coefficients from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115306.png" /> which is not identically equal to zero, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115307.png" />. Otherwise, the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115308.png" /> 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a0115309.png" /> is a ring, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153010.png" /> a subring [[#References|[1]]].
+
{{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.==
 
==Algebraic independence of numbers.==
Complex numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153011.png" /> are called algebraically independent if they are algebraically independent over the field of algebraic numbers, i.e. if for any polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153012.png" /> with algebraic coefficients, not all of which are zero, the relationship <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153013.png" /> is valid. Otherwise, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153014.png" /> are called algebraically dependent. The concept of algebraic independence of numbers is a generalization of the concept of transcendency of a number (the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153015.png" />). 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153016.png" />, 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153017.png" />-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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153018.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153019.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153020.png" /> is an algebraic number and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153021.png" /> 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.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153022.png" />-functions have been established [[#References|[3]]].
+
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====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> S. Lang,   "Algebra" , Addison-Wesley (1974) {{MR|2494942}} {{MR|2043319}} {{MR|1878556}} {{MR|1415837}} {{MR|1184329}} {{MR|1144942}} {{MR|1191218}} {{MR|1104213}} {{MR|1002594}} {{MR|0996636}} {{MR|0973327}} {{MR|0874113}} {{MR|2635117}} {{MR|0801033}} {{MR|0799862}} {{MR|0783636}} {{MR|0760079}} {{MR|0432709}} {{MR|0344265}} {{MR|0277543}} {{ZBL|0283.15001}} </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</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>
+
<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====
 
====Comments====
The above-mentioned theorem on the algebraic independence of the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153023.png" /> is known as the Lindemann–Weierstrass theorem. Schanuel's conjecture, "transcendence degreetranscendence degree x1…xn,ex1…exn≥ n for any Q-linear independent x1…xnC" , is still (1986) unproved. An analogue of the Lindemann–Weierstrass theorem for values of the Weierstrass <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011530/a01153024.png" />-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]]].
+
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====
 
====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|}} {{ZBL|}} </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|}} {{ZBL|}} </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>
+
<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>

Latest revision as of 17:24, 17 December 2019

A concept in the theory of field extensions (cf. 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 [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). 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 [2], [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) 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 [3].

References

[1] S. Lang, "Algebra" , Addison-Wesley (1974) MR0783636 Zbl 0712.00001
[2] 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 MR0214551 Zbl 0178.04801
[3] A.B. Shidlovskii, "On arithmetic properties of values of analytic functions" Trudy Mat. Inst. Steklov. , 132 (1973) pp. 169–202 (In Russian) Zbl 0288.10012


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 [a1], [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 [a3].

References

[a1] G. Wüstholz, "Ueber das abelsche Analogon des Lindemannsche Satzes I" Inv. Math. , 72 (1983) pp. 363–388 MR0704397 Zbl 0528.10024
[a2] P. Philippon, "Variétés abéliennes et indépendence algébrique II" Inv. Math. , 72 (1983) pp. 389–405 MRMR0704398 Zbl 0516.10026
[a3] 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 MR0476660 Zbl 0378.10020
How to Cite This Entry:
Algebraic independence. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Algebraic_independence&oldid=21791
This article was adapted from an original article by A.B. Shidlovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article