title: Indépendance algébrique
text: # Indépendance algébrique
  
  En algèbre, l'indépendance algébrique d'un ensemble de nombres, sur un corps commutatif, décrit le fait que ses éléments ne sont pas racines d'un polynôme en plusieurs indéterminées à coefficients dans ce corps.
  
  ## Définition
  
  Soient L un corps commutatif, S un sous-ensemble de L et K un sous-corps de L. On dit que S est algébriquement libre sur K, ou que ses éléments sont algébriquement indépendants sur K si, pour tout suite finie $(s_1,$ … , $s_n)$ d'éléments distincts de S et tout polynôme non nul $P(X_1,$ … , $X_n)$ à coefficients dans K on a $P(s_1,$ … , $s_n)$ ≠ 0.
  
  ## Cas particulier
  
  * Cas particulier K = $\mathbb {Q}$ et L = $\mathbb {C}$
  
  Définition : $u,v\in \mathbb {C} ^{*}$
  
  $\mathbb {Q} (u,v)=\{x={\frac {P(u,v)}{Q(u,v)}}\ \ \,\ P,Q\ non\ nuls\ \in {\overline {\mathbb {Q} }}[X,Y]\ avec\ Q(u,v)\neq 0\}$
  
  $\mathbb {Q} (u,v)$ est le plus petit corps de $\mathbb {C}$ contenant $\mathbb {Q}$ et u,v .
  
  Soit $\alpha \in \mathbb {C} ^{*}$ on dit que $\alpha$ est algébrique sur $T=\mathbb {Q} (u,v)$ s' il existe un polynome non-nul $P\in T[X]$ tel que
  
  $P(\alpha )=0$
  
  $\sum a_{k}\alpha ^{k}=0$
  
  $\sum {\frac {P_{k}(u,v)}{Q_{k}(u,v)}}\alpha ^{k}=0\ \ avec\ Q_{k}(u,v)\neq 0$
  
  En particulier :
  
  $\alpha ^{k}={\frac {P(u,v)}{Q(u,v)}}$
  
  où $k\in \mathbb {N} ,\ P,Q\ non\ nuls\ \in {\overline {\mathbb {Q} }}[X,Y]\ avec\ Q(u,v)\neq 0$
  
  Définition degré de transcendant (sur Q) :
  
  $Deg\ \mathbb {Q} (\alpha _{1},\alpha _{2},...\alpha _{d})$ = Le cardinal d'une plus grande famille algébriquement libre
  
  Théorème :
  
  $\{\alpha _{1},\alpha _{2},...\alpha _{d}\}$ algébriquement indépendants $\Leftrightarrow$
  
  $Deg\ \mathbb {Q} (\alpha _{1},\alpha _{2},...\alpha _{d})=d$
  
  Propriété :
  
  {$\alpha ,\beta$} algébriquement indépendants et
  
  $\alpha ^{k}={\frac {P(u,v)}{Q(u,v)}}$
  
  $\beta ^{m}={\frac {S(u,v)}{T(u,v)}}$
  
  $P,Q,S,T\ non\ nuls\ \in {\overline {\mathbb {Q} }}[X,Y]\ avec\ Q(u,v)\neq 0,\ T(u,v)\neq 0$
  
  alors
  
  {$u,v$} algébriquement indépendants.
  
  En effet {$\alpha ,\beta$} algébriquement indépendants $\Rightarrow$
  
  $Deg\ \mathbb {Q} (\alpha _{,}\beta )=2$
  
  {$\alpha ,\beta$} algébriques sur $\mathbb {Q} (u,v)$ $\Rightarrow$
  
  $Deg\ \mathbb {Q} (\alpha _{,}\beta )=Deg\ \mathbb {Q} (u,v)=2$ $\Rightarrow$
  
  {u,v} algébriquement indépendants.
  
  ex:
  
  1) à partir du théorème de Chudnovsky on montre que
  
  $\alpha ={\frac {\Gamma ^{2}(1/4)}{\sqrt {8\pi }}}$
  
  {$\alpha ,\pi$} algébriquement indépendants.
  
  comme
  
  $\alpha ^{2}={\frac {\Gamma ^{4}(1/4)}{8\pi }}={\frac {P(\Gamma (1/4),\pi )}{Q(\Gamma (1/4),\pi )}}$
  
  on en déduit que
  
  {$\Gamma (1/4),\pi$} algébriquement indépendants.
  
  2) On montre que
  
  $\alpha ={\frac {\Gamma ^{3}(1/3)}{2^{4/3}\pi }}$
  
  {$\alpha ,\pi$} algébriquement indépendants.
  
  comme
  
  $\alpha ={\frac {\Gamma ^{3}(1/3)}{2^{4/3}\pi }}={\frac {P(\Gamma (1/3),\pi )}{Q(\Gamma (1/3),\pi )}}$
  
  on en déduit que
  
  {$\Gamma (1/3),\pi$} algébriquement indépendants.
  
  3) à partir du théorème Nesterenko on montre que
  
  $\alpha ={\frac {3\Gamma ^{8}(1/4)}{8^{2}\pi ^{6}}}$
  
  {$\alpha ,3/\pi ,e^{-2\pi }$} algébriquement indépendants.
  
  comme
  
  $\alpha ={\frac {3\Gamma ^{8}(1/4)}{8^{2}\pi ^{6}}}={\frac {P(\Gamma (1/4),\pi ,e^{\pi })}{Q(\Gamma (1/4),\pi ,e^{\pi })}}$
  
  $e^{-2\pi }={\frac {1}{(e^{\pi })^{2}}}={\frac {P(\Gamma (1/4),\pi ,e^{\pi })}{Q(\Gamma (1/4),\pi ,e^{\pi })}}$
  
  on en déduit que
  
  {$\Gamma (1/4),\pi ,e^{\pi }$} algébriquement indépendants.
  
  4) à partir du théorème Nesterenko on montre que
  
  $\alpha ={\frac {27\Gamma ^{18}(1/3)}{2^{9}\pi ^{12}}}$
  
  {$\alpha ,{\frac {2{\sqrt {3}}}{\pi }},-e^{-\pi {\sqrt {3}}}$} algébriquement indépendants.
  
  comme
  
  $\alpha ={\frac {27\Gamma ^{18}(1/3)}{2^{9}\pi ^{12}}}={\frac {P(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}{Q(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}}$
  
  ${\frac {2{\sqrt {3}}}{\pi }}={\frac {P(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}{Q(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}}$
  
  $-e^{-\pi {\sqrt {3}}}={\frac {-1}{e^{\pi {\sqrt {3}}}}}={\frac {P(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}{Q(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}}$
  
  on en déduit que
  
  {$\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}}$} algébriquement indépendants.
  
  d'où
  
  {$\pi ,e^{\pi {\sqrt {3}}}$} algébriquement indépendants.
  
  ## Exemples
  
  Un singleton {s} est algébriquement libre sur K si et seulement si son élément s est transcendant sur K.
  
  Si S est algébriquement libre sur K alors il l'est sur tout sous-corps de K.
  
  Si S est algébriquement libre sur K alors toute partie de S l'est aussi. Plus précisément, si V et W sont deux parties de L disjointes, alors leur réunion V⋃W est algébriquement libre sur K si et seulement si V est algébriquement libre sur K et W est algébriquement libre sur le sous-corps K(V) de L.
  
  En particulier, si S est algébriquement libre sur K alors tous ses éléments sont transcendants sur K, mais la réciproque est clairement fausse : par exemple le sous-ensemble {π, 1/π} du corps ℝ des nombres réels n'est pas algébriquement libre sur le corps ℚ des nombres rationnels, puisque le polynôme non nul à coefficients rationnels P(X, Y) = XY – 1 vérifie P(π, 1/π) = 0.
  
  Dans le corps de fractions rationnelles $K(X_1,$ … , $X_n),$ les indéterminées $X_1,$ … , $X_n$ sont algébriquement indépendantes sur K ; les polynômes symétriques élémentaires le sont aussi.
  
  Une partie K-algébriquement libre maximale de L s'appelle une base de transcendance de L sur K, et le cardinal d'une telle base est appelé le degré de transcendance de l'extension.
  
  Le théorème de Lindemann-Weierstrass peut souvent être utilisé pour prouver que certains ensembles sont algébriquement libres sur ℚ.
  
  On ne sait pas si l'ensemble {π, e} est algébriquement libre sur ℚ (on ne sait même pas si π + e est irrationnel).
  
  Nesterenko a prouvé en 1996 un théorème dont il résulte par exemple que {π, $e^π,$ Γ(1/4)}, {π, e, Γ(1/3)} et {π, $e^{π√d}}$ pour tout entier d > 0, sont algébriquement libres sur $ℚ^,$ (on savait déjà que {π, Γ(1/4)} et {π, Γ(1/3)} sont algébriquement $libres^,,$ et donc aussi {π, Γ(1/6)}, puisqu'on déduit des relations fonctionnelles sur la fonction Gamma que Γ(1/6) = $Γ(1/3)^2$ $2^{–1/3}$ $(3/π)^{1/2}).$
  
  On sait peu de choses sur les valeurs aux entiers impairs de la fonction zêta de Riemann, mais il est $conjecturé^,^,$ que les nombres π, ζ(3), ζ(5), ζ(7), … sont algébriquement indépendants sur ℚ.
  
  