Extension séparable

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

Une extension algébrique L d'un corps K est dite séparable si le polynôme minimal de tout élément de L n'admet que des racines simples (dans une clôture algébrique de K).

La séparabilité est une des propriétés des extensions de Galois. Toute extension finie séparable satisfait le théorème de l'élément primitif.

Les corps dont toutes les extensions algébriques sont séparables (c'est-à-dire les corps parfaits) sont nombreux. On y trouve par exemple les corps finis ainsi que les corps de caractéristique nulle, parmi lesquels les corps des rationnels, des réels et des complexes.

Motivation[modifier | modifier le code]

Le groupe des automorphismes d'une extension est un puissant outil d'analyse d'une extension algébrique. Il est particulièrement efficace si le nombre de racines du polynôme minimal est toujours égal à son degré. Cette propriété est toujours vérifiée si le corps initial est de caractéristique nulle ou si le corps est fini. On parle alors du groupe de Galois. En revanche, cette propriété n'est pas vraie sur tous les corps, la théorie de Galois qui est l'étude des extensions algébriques demande pour la démonstration de l'essentiel des théorèmes la séparabilité.

La première conséquence de la séparabilité est le théorème de l'élément primitif. Si une extension finie L sur un corps K est séparable alors il existe un élément a de L de polynôme minimal P(X) sur K tel que L soit le corps de rupture de P(X). Cela signifie que L est égal à K[a] ou encore que L est une extension simple.

Dans le cas ou l'extension est finie et séparable, il existe autant de K-homomorphismes de L dans une clôture algébrique que le degré de l'extension. Si de plus ces homomorphismes laissent stable l'extension, on dit que c'est une extension de Galois. C'est le contexte initial de la théorie de Galois.

Définitions et premiers exemples[modifier | modifier le code]

Dans la suite de l'article, K désigne un corps, L une extension algébrique, P(X) un polynôme formel à coefficients dans K et scindé sur L et a un élément de L. Ω désigne la clôture algébrique de K, dans cet article, toute extension est identifiée à un sous-corps de Ω. Cette identification est licite, d'après le paragraphe sur la clôture algébrique.

  • P(X) est séparable s'il possède autant de racines distinctes que son degré. Le polynôme est donc scindé sans racine multiple.
  • L est séparable sur K si tous ses éléments le sont.

Le polynôme X3-2 sur le corps des nombres rationnels est séparable. En effet, il possède trois racines, une réelle : la racine cubique de deux et deux complexes conjuguées entre elles. les trois racines sont distinctes. De manière générale sur les nombres rationnels, tout polynôme irréductible est séparable.

En revanche, en caractéristique non nulle p (un nombre premier), tous les polynômes irréductibles ne sont pas séparables. Considérons L=Fp(X) le corps des fractions rationnelles sur le corps fini de cardinal p, K le sous-corps Fp(Xp), et le polynôme irréductible P(Y)=Yp-Xp de K[Y]. Alors l'élément X de L est racine multiple (d'ordre p) de P(Y), qui n'est donc pas séparable.

On note que par définition, une extension algébrique est séparable si et seulement si toutes ses sous-extensions finies sont séparables.

Critères de séparabilité[modifier | modifier le code]

Cas des polynômes[modifier | modifier le code]

Vues les définitions ci-dessus, l'analyse de la séparabilité d'une extension revient à l'analyse des propriétés des polynômes sur K. Il apparaît alors nécessaire d'établir des critères de séparabilité d'un polynôme. Il en existe un particulièrement simple :

  • Un polynôme est séparable si et seulement si lui et sa dérivée formelle sont premiers entre eux.

Cette proposition implique le corollaire suivant :

Ce corollaire permet de montrer simplement qu'en caractéristique nulle, tous les polynômes irréductibles sont séparables, autrement dit tous les corps sont parfaits (cf paragraphe suivant). En caractéristique non nulle, ce n'est plus le cas, mais il existe pour les polynômes irréductibles un critère de séparabilité :

  • Supposons K de caractéristique p (un nombre premier) et P(X) un polynôme irréductible. Il est séparable si et seulement s'il n'existe pas de polynôme Q(X) dans K[X] tel que l'on ait l'égalité P(X)=Q(Xp).

Cas des extensions et des corps[modifier | modifier le code]

Le paragraphe précédent permet de démontrer simplement que certains corps sont parfaits : les deux propriétés suivantes sont démontrées dans l'article sur les corps parfaits.

  • Si un corps est de caractéristique nulle, alors il est parfait.
Par exemple les trois corps les plus usuels – les rationnels, les réels et les complexes – sont parfaits.
Dans le cas où la caractéristique de K est égale à p, le corps K est parfait si et seulement si tout élément de K possède une racine p-ième. En particulier :
  • Tout corps fini est parfait.

Ce ne sont néanmoins pas les uniques cas où une extension est séparable. La proposition suivante donne un exemple de séparabilité indépendamment de la caractéristique :

  • Soit L une extension algébrique de K et M une extension algébrique de L. Alors M est séparable sur K si et seulement si M est séparable sur L et L est séparable sur K.

Propriétés[modifier | modifier le code]

Morphisme dans la clôture algébrique[modifier | modifier le code]

L'un des intérêts essentiels de la notion de séparabilité provient du nombre de morphismes de corps de L dans Ω « laissant K invariant », c'est-à-dire prolongeant le morphisme d'inclusion de K dans Ω. Ce nombre est appelé degré séparable de l'extension et noté [L:K]_s. Cette notion est utilisée pour le théorème de l'élément primitif et pour de nombreuses propriétés des extensions galoisiennes. L'unique cas traité ici est celui où L est une extension finie. Une telle extension vérifie toujours :

  1. Pour tout morphisme f de K dans Ω, le nombre de morphismes de L dans Ω qui prolongent f est égal à [L:K]_s.
  2. Pour tout corps intermédiaire F (\scriptstyle K\subset F\subset L), [L:K]_s=[L:F]_s[F:K]_s~.
  3. 1\le [L:K]_s\le[L:K].

Les propriétés 1 et 3 se démontrent facilement dans le cas où l'extension est simple ; la propriété 2 est utile pour étendre la 3 au cas général. En affinant la démonstration, on obtient :

  • [L:K]_s=[L:K]\Leftrightarrow l'extension est séparable \Leftrightarrow L est engendré sur K par des éléments séparables.

Théorème de l'élément primitif[modifier | modifier le code]

Article détaillé : théorème de l'élément primitif.

D'après la dernière propriété du paragraphe précédent, l'extension finie L de K est séparable si et seulement si le nombre de morphismes de L dans Ω qui laissent K invariant est égal à la dimension de L sur K. Le théorème de l'élément primitif fournit une autre propriété équivalente : L est engendré sur K par un élément séparable.

Ainsi, toute extension finie d'un corps parfait est simple.

Forme trace[modifier | modifier le code]

Article détaillé : forme trace.

Il existe un critère nécessaire et suffisant pour qu'une extension finie soit séparable, elle utilise la forme trace, une forme bilinéaire de L. Soit φ l'application qui à a associe l'endomorphisme φa défini par :

\forall x \in L,\quad \varphi_a(x) = ax \;

La forme trace associe à deux éléments a et b de L la trace de l'endomorphisme φab.

  • L'extension L est séparable sur K si et seulement si la forme trace est non dégénérée.

Généralisation aux extensions transcendantes[modifier | modifier le code]

Soit L une extension de K non-nécessairement algébrique (par exemple un corps de fonctions). On dit que l'extension L/K est séparable si pour toute K-algèbre réduite A, le produit tensoriel AKL est une algèbre réduite. Si L est algébrique sur K, cette définition coïncide avec la définition usuelle.

Si K est un corps parfait (par exemple de caractéristique nulle ou de cardinal fini) , toute extension de K est séparable.

Critère : si E est une extension parfaite de K (par exemple une clôture algébrique de K), alors une extension L de K est séparable si et seulement si EKL est un anneau réduit.

Critère de Mac Lane[1] : l'extension L/K est séparable si et seulement si elle est linéairement disjointe de toute sous-extension radicielle finie de E, de hauteur au plus 1.

Si M est une extension séparable de L et que celle-ci est séparable sur K, alors M est séparable sur K.

Toute sous-extension d'une extension séparable est séparable.

Attention : une extension séparable M/K n'est en général pas séparable sur une sous-extension L sauf quand celle-ci est algébrique sur K.

Une extension algébrique séparable d'une extension transcendante pure est séparable. La réciproque est partiellement vraie : toute extension séparable de type fini est une extension finie séparable d'une extension transcendante pure K(T1, … ,Tn). Cette réciproque est fausse pour les extensions non de type fini.

Note[modifier | modifier le code]

  1. N. Bourbaki, V, §15, n°4, Corollaire 1.

Voir aussi[modifier | modifier le code]

Article connexe[modifier | modifier le code]

Clôture séparable

Liens externes[modifier | modifier le code]

Références[modifier | modifier le code]