Extension linéairement disjointe

En mathématiques, deux sous-extensions d'une extension de corps sont dites linéairement disjointes lorsqu'elles sont linéairement indépendantes en un certain sens. Cela permet de déduire des propriétés sur leur compositum ou leur produit tensoriel.

Définition

On fixe une extension de corps (commutatifs) $\mathrm{\Omega }/K$. Deux sous-extensions $E,F$ sont dites linéairement disjointes sur $K$ si toute base (vectorielle) $\{e_i{\}}_i$ de $E$ sur $K$ est libre par rapport à $F$, c'est-à-dire que si une somme finie $\sum _i{f}_i{e}_i$ dans $\mathrm{\Omega }$ est nulle avec les $f_i$ dans $F$, alors ces derniers sont tous nuls. Contrairement à l'apparence immédiate, cette condition est symétrique par rapport à $E,F$.

La linéaire disjonction implique que $E\cap F=K$, mais la réciproque est en général fausse.

Exemples

• Dans l'extension ℂ/ℚ, les sous-extensions ℝ et ℚ[i] sont linéairement disjointes sur ℚ.
• Les sous-extensions ℚ[ 2^1/3 ] et ℚ[ $j$ 2^1/3 ], où $j=e^{2i\pi /3}$, ne sont pas linéairement disjointes sur ℚ. En effet, la base $\{1,j{2}^{1/3},{\left(j{2}^{1/3}\right)}^2\}$ de ℚ[ $j$ 2^1/3 ] vérifie la relation linéaire ${\left(j{2}^{1/3}\right)}^2+(j{2}^{1/3})+2^{1/3}.1=0$ dans ℂ avec coefficients dans ℚ[ 2^1/3 ].
• Si un élément $t$ de $\mathrm{\Omega }$ est transcendant sur $K$, alors $K(t)$ est linéairement disjointe de toute sous-extension algébrique de $\mathrm{\Omega }$.

Caractérisation

On fixe des sous-extensions $E,F$ comme ci-dessus.

• $E,F$ sont linéairement disjointes sur $K$ si et seulement si l'application canonique $E{\otimes }_{K}F\to \mathrm{\Omega }$ qui envoie $e\otimes f$ sur $ef$ est injectif (son image est toujours égale au compositum $EF$).
• Si l'une des extensions est algébrique, la propriété d'être linéairement disjointe est équivalente à ce que le produit tensoriel d'algèbres $E{\otimes }_{K}F$ est un corps.
• Si $E/K$ est une extension finie, la propriété est équivalente à $[EF:F]=[E:K]$.
• Si $E,F$ sont des extensions finies, la propriété est équivalente à $[EF:K]=[E:K][F:K]$, ce qui est automatiquement vérifié dès que les degrés $[E:K]$ et $[F:K]$ sont premiers entre eux.
• Si $E$ est une extension galoisienne de $K$ (et $F/K$ quelconque), la propriété est équivalente à $E\cap F=K$.

Une application en géométrie algébrique

Soit $X$ une variété algébrique intègre sur $K$. Soit $\mathrm{\Omega }$ une clôture algébrique du corps des fonctions rationnelles $K(X)$ de $X$, et soit $F$ la fermeture algébrique de $K$ dans $\mathrm{\Omega }$. C'est un corps algébriquement clos. Alors $X$ est géométriquement intègre (i.e. la variété $X_F$ obtenue par changement de base $\mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}F\to \mathrm{S}\mathrm{p}\mathrm{e}\mathrm{c}K$ est intègre) si et seulement si $K(X)$ et $F$ sont linéairement disjointes sur $K$. Si $K$ est parfait, $F$ est galoisienne (éventuellement infinie) sur $K$. La caractérisation plus haut s'applique encore, et $X$ est géométriquement intègre si et seulement si $F\cap K(X)=K$ (autrement dit, $K$ est algébriquement fermé dans $K(X)$).

Référence

N. Bourbaki, Éléments de mathématique, Algèbre, Masson, 1981, chap. V