- Indépendance algébrique
-
En algèbre, l'indépendance algébrique d'un ensemble sur un corps commutatif décrit le fait que ses éléments ne sont pas racines d'un polynôme à 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 indépendant sur K si les éléments de S ne sont racines d'aucun polynôme non trivial à coefficients dans K.
En d'autres termes, pour tout suite finie
d'éléments distincts de S et tout polynôme non-trivial
à coefficients dans K on a
.
En particulier, un ensemble à un seul élément {α} est algébriquement indépendant sur K si et seulement si α est transcendant sur K.
Exemples
Le sous-ensemble
du corps des nombres réels
n'est pas algébriquement indépendant du corps des nombres rationnels
puisque le polynôme
n'est pas trivial et à coefficients dans
et
.
Le théorème de Lindemann-Weierstrass peut souvent être utilisé pour prouver que certains ensembles sont algébriquement indépendants sur
.
On ne sait pas si l'ensemble {π,e} est algébriquement indépendant sur
. Yu Nesterenko a prouvé en 1996 que {π,eπ,Γ(1 / 4)} l'est.
Wikimedia Foundation. 2010.