Indépendance algébrique

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₁, … , s_n) d'éléments distincts de S et tout polynôme non nul P(X₁, … , X_n) à coefficients dans K on a P(s₁, … , s_n) ≠ 0.

Summarize Timeline Top Qs Fact Check

• Cas particulier K = ${\displaystyle \mathbb {Q} }$ et L = ${\displaystyle \mathbb {C} }$

Définition : ${\displaystyle u,v\in \mathbb {C} ^{*}}$

${\displaystyle \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\}}$

${\displaystyle \mathbb {Q} (u,v)}$ est le plus petit corps de ${\displaystyle \mathbb {C} }$ contenant ${\displaystyle \mathbb {Q} }$ et u,v .

Soit ${\displaystyle \alpha \in \mathbb {C} ^{*}}$ on dit que ${\displaystyle \alpha }$ est algébrique sur ${\displaystyle T=\mathbb {Q} (u,v)}$ s' il existe un polynome non-nul ${\displaystyle P\in T[X]}$ tel que

${\displaystyle P(\alpha )=0}$

${\displaystyle \sum a_{k}\alpha ^{k}=0}$

${\displaystyle \sum {\frac {P_{k}(u,v)}{Q_{k}(u,v)}}\alpha ^{k}=0\ \ avec\ Q_{k}(u,v)\neq 0}$

En particulier  :

${\displaystyle \alpha ^{k}={\frac {P(u,v)}{Q(u,v)}}}$

où ${\displaystyle 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) :

${\displaystyle Deg\ \mathbb {Q} (\alpha _{1},\alpha _{2},...\alpha _{d})}$ = Le cardinal d'une plus grande famille algébriquement libre

Théorème :

${\displaystyle \{\alpha _{1},\alpha _{2},...\alpha _{d}\}}$ algébriquement indépendants ${\displaystyle \Leftrightarrow }$

${\displaystyle Deg\ \mathbb {Q} (\alpha _{1},\alpha _{2},...\alpha _{d})=d}$

Propriété :

{${\displaystyle \alpha ,\beta }$} algébriquement indépendants et

${\displaystyle \alpha ^{k}={\frac {P(u,v)}{Q(u,v)}}}$

${\displaystyle \beta ^{m}={\frac {S(u,v)}{T(u,v)}}}$

${\displaystyle P,Q,S,T\ non\ nuls\ \in {\overline {\mathbb {Q} }}[X,Y]\ avec\ Q(u,v)\neq 0,\ T(u,v)\neq 0}$

alors

{${\displaystyle u,v}$} algébriquement indépendants.

En effet {${\displaystyle \alpha ,\beta }$} algébriquement indépendants ${\displaystyle \Rightarrow }$

${\displaystyle Deg\ \mathbb {Q} (\alpha _{,}\beta )=2}$

{${\displaystyle \alpha ,\beta }$} algébriques sur ${\displaystyle \mathbb {Q} (u,v)}$ ${\displaystyle \Rightarrow }$

${\displaystyle Deg\ \mathbb {Q} (\alpha _{,}\beta )=Deg\ \mathbb {Q} (u,v)=2}$ ${\displaystyle \Rightarrow }$

{u,v} algébriquement indépendants.

ex:

1) à partir du théorème de Chudnovsky on montre que

${\displaystyle \alpha ={\frac {\Gamma ^{2}(1/4)}{\sqrt {8\pi }}}}$

{${\displaystyle \alpha ,\pi }$} algébriquement indépendants.

comme

${\displaystyle \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

{${\displaystyle \Gamma (1/4),\pi }$} algébriquement indépendants.

2) On montre que

${\displaystyle \alpha ={\frac {\Gamma ^{3}(1/3)}{2^{4/3}\pi }}}$

{${\displaystyle \alpha ,\pi }$} algébriquement indépendants.

comme

${\displaystyle \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

{${\displaystyle \Gamma (1/3),\pi }$} algébriquement indépendants.

3) à partir du théorème Nesterenko on montre que

${\displaystyle \alpha ={\frac {3\Gamma ^{8}(1/4)}{8^{2}\pi ^{6}}}}$

{${\displaystyle \alpha ,3/\pi ,e^{-2\pi }}$} algébriquement indépendants.

comme

${\displaystyle \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 })}}}$

${\displaystyle 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

{${\displaystyle \Gamma (1/4),\pi ,e^{\pi }}$} algébriquement indépendants.

4) à partir du théorème Nesterenko on montre que

${\displaystyle \alpha ={\frac {27\Gamma ^{18}(1/3)}{2^{9}\pi ^{12}}}}$

{${\displaystyle \alpha ,{\frac {2{\sqrt {3}}}{\pi }},-e^{-\pi {\sqrt {3}}}}$} algébriquement indépendants.

comme

${\displaystyle \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}}})}}}$

${\displaystyle {\frac {2{\sqrt {3}}}{\pi }}={\frac {P(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}{Q(\Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}})}}}$

${\displaystyle -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

{${\displaystyle \Gamma (1/3),\pi ,e^{\pi {\sqrt {3}}}}$} algébriquement indépendants.

d'où

{${\displaystyle \pi ,e^{\pi {\sqrt {3}}}}$} algébriquement indépendants.