Extension radicielle

Extension radicielle

Dans la théorie des extensions de corps, à l'opposé des extensions algébriques séparables, il existe les extensions radicielles. C'est un phénomène spécifique à la caractéristique positive et qui apparaît naturellement avec les corps de fonctions en caractéristique positive.

Sommaire

Définition

Soit L / K une extension de corps de caractéristique p > 0. Un élément x de L est dit radiciel sur K s'il existe un entier n > 0 tel que x^{p^n}\in K. Une extension (algébrique) L / K est une extension radicielle si tout élément de L est radiciel sur K.

Un extension radicielle est aussi appelée une extension purement inséparable, qui est plus proche de la terminologie anglophone purely inseparable extension. Le terme radiciel reflète le fait que tout élément est une racine d'un élément de K (cette propriété caractérise d'ailleurs les extensions radicielles parmi les extensions algébriques quelconques).

Une extension radicielle L/K est de hauteur m si, pour tout élément x de L, on a x^{p^m}\in K et si m est minimal pour cette propriété. Toute extension radicielle finie est de hauteur finie.

Exemples

  • Si a\in K est un élément qui n'est pas une puissance p-ième dans K, alors le polynôme X^p-a\in K[X] est irréductible, son corps de rupture (égal au corps de décomposition ici) est une extension radicielle de K de degré p.
  • Soit L un corps de caractéristique p. Soit n un entier naturel. Alors l'ensemble L^{p^n} des éléments de la forme x^{p^n} est un sous-corps de L et L/L^{p^{n}} est une extension algébrique radicielle (qui n'est pas néccesairement de degré fini).
  • Soit K(X) le corps des fractions rationnelles à une variable sur un corps parfait K. Alors K(X1 / p) est une extension radicielle de degré p sur K(X) et c'est l'unique extension radicielle de K(X) de degré p. Il en résulte que toute extension radicielle de K(X) est isomorphe à un corps des fractions rationnelles K(X^{1/p^d}).
  • En revanche, K(X,Y) a plusieurs extensions radicielles de degré p non isomorphes entre elles (en tant qu'extensions de K(X,Y)).

Propriétés

  • Une extension radicielle finie est nécessairement de degré une puissance de p.
  • Si L / K est une extension radicielle, alors tout homomorphisme de K dans un corps parfait F s'étend de façon unique en un homomorphisme L\to F. En particulier, si F contient L (par exemple si c'est une clôture algébrique de L), alors tout K-homomorphisme de L dans F est égal à l'identité sur L composée avec l'inclusion canonique L\subseteq F.
  • Une extension radicielle de degré fini se décompose en une succession d'extensions radicielles de degré p.
  • Une clôture algébrique Ω de K est radicielle sur la clôture séparable de K contenue dans Ω.

Clôture radicielle

Si on fixe une clôture algébrique Ω de K, l'ensemble des éléments de Ω radiciels sur K forment une extension radicielle de K, appelée clôture radicielle de K. C'est un corps parfait. Toutes les clôtures radicielles de K sont isomorphes entre elles.

Par exemple, si K est un corps parfait de caractéristique p > 0, la clôture radicielle du corps des fractions rationnelles K(X) est la réunion (dans une clôture algébrique de K(X)) des extensions K(X^{1/p^n}) pour n parcourant les entiers naturels.

Applications aux extensions algébriques

Théorème —  Soit L / K une extension algébrique avec K de caractéristique p > 0. Alors il existe une unique sous-extension E / K de L telle que E / K soit séparable et que L / E soit radicielle. De plus, E est exactement la fermeture séparable de K dans L.

Remarques

  • En général on ne peut pas décomposer L / K en une extension radicielle F / K et une extension séparable L / F[1]. Mais si L / K est une extension finie normale, alors c'est une extension galoisienne d'une extension radicielle de K. Ici l'exension radicielle n'est autre le sous-corps des éléments de L invariants par le groupe des K-automorphismes de L.
  • Un corps est parfait si et seulement s'il n'a pas d'extension radicielle autre que lui-même.
  • Un corps de fonctions en caractéristique positive en au moins une variable n'est jamais parfait.
  • Contrairement aux extensions finies séparables, une extension radicielle finie n'admet pas nécessairement d'élément primitif. Par exemple, l'extension K(X1 / p,Y1 / p) du corps des fractions rationnelles K(X,Y) nécessite deux générateurs[2].

Liens avec le Frobenius

L'endomorphisme de Frobenius d'un anneau A de caractéristique p est donné par x\mapsto x^p. Si K est un corps de caractéristique p, alors le Frobenius K\to K induit une extension radicielle de hauteur 1. C'est l'extension K de Kp (l'ensemble des puissances p-ièmes des éléments de K) ou l'extension K1 / p (l'ensemble des racines p-ièmes des éléments de K dans une clôture algébrique de K) sur K.

Inversement toute extension radicielle L/K de hauteur 1 est contenue dans K / 1p.

Géométrie algébrique

Un morphisme de schémas f: X \to Y est dit radiciel[3] si pour tout corps K, l'application X(K)\to Y(K) est injective. Cela revient à dire que f est injective et que pour tout point x de X, l'extension des corps résiduels k(x) / k(f(x)) est radicielle[4].

On dit que f est un homéomorphisme universel si pour tout Y-schémas Z, le morphisme X\times_Y Z\to Z obtenu par changement de base est un homéomorphisme[5]. Un morphisme fini surjectif et radiciel est un homéomorphisme universel, et l'inverse est vraie si de plus f est de présentation finie[6].

Si A est une variété abélienne supersingulière sur un corps de caractéristique p, le morphisme de multiplication par p sur A est un morphisme radiciel.

Notes et référence

Notes

  1. ↑ En effet, considérons K = k(X,Y) le corps des fractions rationnelles à deux variables à coefficients dans un corps de caractéristique p non-nulle. Alors le polynôme F(T)=T^{2p}+XT^p+Y\in K[T] est irréductible sur K. Soit L = K[t] un corps de rupture de F(T). C'est une extension radicielle de degré p de l'extension quadratique séparable K[tp] de K. En particulier c'est une extension inséparable. Si elle est séparable sur une sous-extension radicielle E, alors [E:K] = p et [L:E] = 2. Il existe donc r, s\in E tels que t2 + rt + s = 0. Il suit que t2p + rptp + sp = 0 avec r^p, s^p\in K. Donc r = X1 / p et s = Y1 / p. Ce qui impliquerait que [E:K]\ge p^2. Contradiction.
  2. ↑ En effet c'est une extension de degré p2, mais tout élément de l'extension est de degré au plus p.
  3. ↑ Éléments de géométrie algébrique, I.3.5.4
  4. ↑ Éléments de géométrie algébrique, I.3.5.8
  5. ↑ Éléments de géométrie algébrique, IV.2.4.2
  6. ↑ Éléments de géométrie algébrique, IV.8.11.6.

Référence

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

Articles connexes

Endomorphisme de Frobenius

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

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Extension radicielle de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Extension normale — En mathématiques, une extension normale L de K est un cas particulier d extension de corps. Une extension algébrique est dite normale ou quasi galoisienne si et seulement si tout morphisme de corps de L dans un corps le contenant et induisant l… …   Wikipédia en Français

  • Extension de corps — 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, , le corps des nombres complexes, est une extension de , le corps des nombres réels, lequel est… …   Wikipédia en Français

  • Extension séparable — 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… …   Wikipédia en Français

  • Extension finie — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension finie sur un corps commutatif K, est un corps qui, en tant qu espace vectoriel sur K est de dimension finie. Sommaire 1 Motivation 2 Exemples 3 …   Wikipédia en Français

  • Extension algébrique — En mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est à dire sont racines d un polynôme non nul à coefficients dans… …   Wikipédia en Français

  • Extension de Galois — En mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension de corps finie normale séparable. L ensemble des automorphismes de l extension possède une structure de groupe appelé groupe de Galois. Cette… …   Wikipédia en Français

  • Extension quadratique — En mathématiques, et plus précisément en algèbre dans le cadre de la théorie de Galois, une extension quadratique est une extension de corps de dimension deux. Si K est un corps commutatif, souvent celui des nombres rationnels, alors une… …   Wikipédia en Français

  • Extension simple — En mathématiques et plus précisément en algèbre dans le cas de la théorie de Galois, une extension de corps L d un corps K est dite simple si et seulement s il existe un élément l de L tel que L est égal à K(l). Une extension simple est finie si… …   Wikipédia en Français

  • Théorie de Galois — En mathématiques et plus précisément en algèbre, la théorie de Galois est l étude des extensions de corps commutatifs, par le biais d une correspondance avec des groupes de transformations sur ces extensions, les groupes de Galois. Cette méthode… …   Wikipédia en Français

  • Théorème d'Abel (algèbre) — Pour les articles homonymes, voir Théorème d Abel. Niels Henrik Abel (1802 1829) présente la première démonstration rigoureuse et co …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”