Extension de corps (encyclopédie mathématiques)

En mathématiques, plus particulièrement en algèbre, l'extension d'un corps commutatif $K$ est un corps $L$ qui contient $K$ comme sous-corps.

Par exemple, $\mathbb C$ , le corps des nombres complexes, est une extension de $\R$ , le corps des nombres réels, lequel est lui-même un extension de $\mathbb Q$ , le corps des nombres rationnels.

On note parfois $L/K$ pour indiquer que $L$ est une extension de $K$ .

Sommaire

[modifier] Définition

Soit $K$ un corps. Une extension de $K$ est un couple ( $L$ , $j$ ) où $L$ est un corps et $j$ un morphisme de corps de $K$ dans $L$ (les morphismes de corps étant systématiquement injectifs).

On montre qu'il existe un sur-corps $N$ de $K$ et un isomorphisme de corps $f : N \to L$ tels que la restriction de $f$ à $K$ soit égale à $j$ . Ainsi l'extension ( $L$ , $j$ ) peut être identifiée à l'extension ( $N$ , $i$ ) avec l'inclusion $i$ . Pour cette raison, les extensions d'un corps sont généralement considérées comme des sur-corps. Notons cependant que certaines constructions d'extensions ne sont pas naturellement des sur-corps (par exemple le corps de rupture) et que la définition d'extension ci-dessus permet plus de souplesse.

Une sous-extension de $L/K$ est un sous-corps de $L$ contenant $K$ . Si $V$ est un sous-ensemble de $L$ , alors on définit le corps $K(V)$ comme le plus petit sous-corps de $L$ contenant $K$ et $V$ . Il est constitué des éléments de $L$ pouvant être obtenus grâce à un nombre fini d'opérations additives et multiplicatives, et d'inversions sur $K$ et $V$ . Si $L=K(V)$ , on dit que $L$ est engendré par $V$ .

Morphismes d'extensions Si $E, F$ sont des extensions de $K$ , un morphisme (ou K-morphisme) $\phi : E\to F$ est un homomorphisme d'anneaux qui vaut l'identité sur $K$ . Un tel morphisme est toujours injectif car son noyau est un idéal propre de $E$ .

Un isomorphisme de K-extensions est un K-morphisme surjectif (donc bijectif) entre deux extensions de K.

Un automorphisme de K-extensions est un K-morphisme surjectif (donc bijectif) d'une extension de K dans elle-même.

[modifier] Extension algébrique

Article détaillé : Extension algébrique.

Si $L$ est une extension de $K$ , alors un élément de $L$ qui est une racine d'un polynôme non-nul sur $K$ est dit algébrique sur $K$ . Dans le cas contraire, l'élément est dit transcendant sur $K$ . Dans le cas où $L=\mathbb C$ et $K=\mathbb Q$ , on parle de nombre algébrique et de nombre transcendant.

Si tout élément de $L$ est algébrique sur $K$ , l'extension $L/K$ est dite algébrique.

[modifier] Degré d'une extension

Si L/K est une extension de corps, alors L est un espace vectoriel sur K, où l'addition vectorielle est l'addition dans L et la multiplication par un scalaire K×L→L est la restriction à K×L de la multiplication dans L.

La dimension du K-espace vectoriel L est appelée le degré de l'extension et est notée [L:K]. On dit que L/K est une extension finie si le degré est fini (sinon on dit que c'est une extension infinie). Par exemple, [ℂ:ℝ]=2 et l'extension ℂ/ℝ est donc finie. Par contre, puisque ℝ n'est pas dénombrable alors que tout espace vectoriel de dimension finie sur ℚ l'est, l'extension ℝ/ℚ est infinie.

Si M est une extension de L qui est elle-même une extension de K, alors M est une extension de K et on a :

$\left[M:K\right]=\left[M:L\right]\cdot \left[L:K\right].$

En effet, si (m_i)_i∈I est une L-base de M et (l_j)_j∈J une K-base de L, alors la famille des produits m_i l_j, indexée par I×J, est une K-base de M.

En particulier si les extensions M/L et L/K sont finies, alors l'extension M/K est finie.

[modifier] Extension simple

Article détaillé : Extension simple.

Si $L/K$ est une extension de corps et $V$ est un sous-ensemble de $L$ , alors on définit le corps $K(V)$ comme le plus petit sous-corps de $L$ contenant $K$ et $V$ . Il est constitué des éléments de $L$ pouvant être obtenus grâce à un nombre fini d'opérations additives et multiplicatives, et d'inversions sur $K$ et $V$ . Si $L=K(V)$ , on dit que $L$ est engendré par $V$ .

Une extension engendrée par un seul élément est appelée extension simple. Elle est finie si et seulement si elle est engendrée par un élément algébrique.

Par exemple, $\mathbb C$ est une extension simple de $\mathbb R$ car elle est engendrée par $i$ , l'unité imaginaire. L'extension $\mathbb R/\mathbb Q$ , n'étant ni finie, ni purement transcendante, n'est pas simple.

[modifier] Extension radicielle

Article détaillé : Extension radicielle.

Une extension $L/K$ est dite radicielle si tout élément $x$ de $L$ est une racine d'un élément de $K$ , c'est-à-dire que $x^n\in K$ pour une puissance convenable de $x$ . Alors $K$ est de caractéristique positive $p$ , et $x^{p^m}\in K$ pour un entier naturel $m$ convenable.

[modifier] Extension normale

Article détaillé : Extension normale.

Une extension $L/K$ est dite normale si pour tout élément $x$ de $L$ , le polynôme minimal de $x$ sur K a toutes ses racines dans L.

[modifier] Extension séparable

Article détaillé : Extension séparable.

Un élément algébrique d'une extension $L/K$ est dit séparable sur $K$ s'il annule un polynôme séparable à coefficients dans $K$ (c'est-à-dire un polynôme premier avec son dérivé, ou de façon équivalente, un polynôme qui n'a pas de racine multiple dans une clôture algébrique de $K$ ). Une extension algébrique est dite séparable si tous ses éléments sont séparables sur $K$ . Toute extension algébrique d'un corps parfait est séparable. Toute extension finie séparable est simple (la réciproque est cependant manifestement fausse).

Toute extension finie est extension radicielle d'une extension séparable.

[modifier] Extension de Galois

Article détaillé : Extension de Galois.

Une extension finie $L/K$ est dite de Galois ou galoisienne si elle est normale et séparable. Le groupe des automorphismes de l'extension est fini, d'ordre le degré de l'extension $[L : K]$ . Ce groupe est appelé groupe de Galois de l'extension.

Par exemple, $\mathbb C/\R$ est de Galois, son groupe de Galois est le groupe cyclique d'ordre 2.

[modifier] Extension transcendante

Une extension qui n'est pas algébrique est dite transcendante. Par exemple, $\mathbb R/\mathbb Q$ est transcendante car $\pi$ est un nombre transcendant. Le corps des fractions rationnelles $K(t)$ est transcendante.

[modifier] Extension transcendante pure

On dit que des éléments $x_1,\ldots, x_n$ de $L$ sont algébriquement indépendants sur $K$ s'il n'existe pas de polynôme non-nul $F(X_1,\ldots, X_n)$ dans $K[X_1,\ldots, X_n]$ tel que $F(x_1,\ldots, x_n)=0$ . Un ensemble d'éléments de $L$ sont dits algébriquement indépendants sur $K$ si tous ses sous-ensembles finis le sont.

Si $L$ est engendré par une famille d'éléments algébriquement indépendants sur $K$ , l'extension est dite purement transcendante. Cela équivaut à dire que $L$ est le corps des fractions d'un anneau de polynômes (à plusieurs ou même une infinité de variables) à coefficients dans $K$ .

Toute extension est extension algébrique d'une extension purement transcendante.

[modifier] Degré de transcendance

Une famille $S$ d'éléments de $L$ est appelée une base de transcendance si elle est algébriquement indépendante sur $K$ et si elle n'est strictement contenue dans aucune famille algébriquement indépendante de $L$ . Les bases de transcendance existent et ont toutes le même cardinal. Lorsque ce cardinal est fini, il est appelé le degré de transcendance de $L$ sur $K$ .

[modifier] Extension de type fini

Une extension L/K engendrée par une famille finie V est dite de type fini. Toute extension finie est de type fini. L'extension $\mathbb C/\mathbb Q$ n'est pas de type fini. Si L/K est de type fini, alors L est une extension finie d'un corps de fractions rationnelles K(X₁,...,X_n) à plusieurs variables. Les extensions de type fini interviennent en Géométrie algébrique, ce sont exactement les corps de fonctions rationnelles sur les variétés algébriques intègres. Elles sont de degré de transcendance finie.

[modifier] Références bibliographiques

S. Lang, Algebra.

v · d · m Théorie de Galois
Corps	Corps fini · Corps parfait · Corps de rupture · Corps de décomposition
Extension de corps	Extension algébrique · Extension quadratique · Extension simple · Extension normale · Extension séparable · Extension de Galois · Groupe de Galois · Clôture algébrique · Extension radicielle · Corps de fonctions
Articles associés	Caractéristique · Polynôme formel · Polynôme cyclotomique · Théorie de Galois · Théorème fondamental de la théorie de Galois · Théorème de l'élément primitif · Théorie d'Iwasawa

Extension de corps