Corps Parfait

Corps Parfait

Corps parfait

En mathématiques et plus particulièrement en algèbre dans le contexte de la théorie de Galois, un corps parfait est un corps dont toutes les extensions algébriques sont séparables.

Les corps parfaits sont utiles pour la théorie de Galois, car les théorèmes fondateurs, comme le théorème de l'élément primitif ou le théorème fondamental de la théorie de Galois utilisent dans les hypothèses le fait que l'extension considérée est séparable.

Les corps parfaits sont relativement fréquents, en effet, tout corps de caractéristique nulle comme ceux des nombres rationnels, des nombres réels ou des nombres complexes sont parfaits. C'est aussi le cas des corps finis.

Sommaire

Définition

Soit K un corps et L une extension algébrique de K.

  • Un corps K est dit parfait si et seulement si toutes ses extensions algébriques sont séparables.

Dire qu'une extension est séparable signifie que tout polynôme minimal d'un élément de L à coefficient dans K n'admet aucune racine multiple dans sa clôture algébrique.

Exemples

Tout corps fini est parfait (cf le paragraphe propriétés).

Tout corps de caractéristique nulle est parfait. Un corps de caractéristique nulle est un corps où la somme réitérée de l'unité n'est jamais égale à zéro. Ainsi les corps des nombres rationnels et ses extensions ainsi que le corps des nombres réels est parfait (cf le paragraphe propriétés).

Cependant, tous les corps ne sont pas parfaits. Considérons \mathbb{F}_p(X) le corps des fractions rationnelles sur le corps fini de cardinal p, où p est premier, et Ω sa clôture algébrique. Si K est choisi comme étant égal à l'ensemble des fractions de \mathbb{F}_p(X^p), alors K contient un polynôme non séparable. Considérons le polynôme P[X] de K[Y] égal à Y^p-X^p\;. Ce polynôme possède une unique racine X qui est donc un élément algébrique de degré p. De plus ce polynôme est irréductible. On en déduit que \mathbb{F}_p(X) est le corps de décomposition du polynôme P[X]. Comme X est sa seule racine, P[X] n'est pas séparable.

Propriétés

Critère de séparabilité

Article détaillé : Extension séparable

L'analyse des extensions séparables permet d'établir critères de séparabilité d'un polynôme.

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

Dans le cas d'un polynôme irréductible, car particulièrement intéressant dans le cadre de la théorie de Galois, cette proposition implique le corollaire suivant :

  • Un polynôme irreductible est séparable si et seulement si sa dérivée formelle n'est pas nulle.
  • Supposons K de caractéristique p et P[X] un polynôme irreductible. 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].

Ces propositions sont démontrées dans l'article détaillé.

Cas de corps parfaits

  • Si un corps est de caractéristique nulle, alors il 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 de K et M une extension de L. Alors si M est une extension de K séparable, alors M est aussi séparable sur L et L est séparable sur K.
  • Dans le cas où la caractéristique de K est égale à p, alors K est parfait si et seulement si tout élément de K possède une racine pième. Cette propriété s'exprime encore de la manière suivante : l'homomorphisme de Frobenius x\mapsto x^{p} est surjectif.


Voir aussi

Liens externes

Références

R. et A. Douady Algèbre et théories galoisiennes Cedic/Fernand Nathan 1978
S. Lang Algebre Dunod 2004
P. Samuel Théorie algébrique des nombres Hermann Paris 1971
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Corps parfait ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • Corps parfait — En mathématiques et plus particulièrement en algèbre dans le contexte de la théorie de Galois, un corps parfait est un corps commutatif dont toutes les extensions algébriques sont séparables. Les corps parfaits sont utiles pour la théorie de… …   Wikipédia en Français

  • Corps Fini — Joseph Wedderburn démontre la dernière conjecture sur les corps finis en 1905 En mathématiques et plus précisément en algèbre, un corps fini est un corps (commutatif) dont le cardinal est fini. À isomorphisme près, un corps fini est entièrement… …   Wikipédia en Français

  • Corps de Galois — Corps fini Joseph Wedderburn démontre la dernière conjecture sur les corps finis en 1905 En mathématiques et plus précisément en algèbre, un corps fini est un corps (commutatif) dont le cardinal est fini. À isomorphisme près, un corps fini est… …   Wikipédia en Français

  • parfait — parfait, aite [ parfɛ, ɛt ] adj. et n. • XIIe; parfit XIe; perfectus Xe; p. p. du v. parfaire, d apr. lat. perfectus I ♦ Qui est au plus haut, dans l échelle des valeurs. 1 ♦ Tel qu on ne puisse rien concevoir de meilleur. ⇒ …   Encyclopédie Universelle

  • CORPS (mathématiques) — La structure de corps n’est en fait qu’un cas particulier de la structure plus générale d’anneau [cf. ANNEAUX ET ALGÈBRES]; en plus des axiomes généraux, on stipule que le groupe multiplicatif des éléments inversibles est le complémentaire de 0.… …   Encyclopédie Universelle

  • Corps (Mathématiques) — Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des additions, des… …   Wikipédia en Français

  • Corps (mathématique) — Corps (mathématiques) Pour les articles homonymes, voir Corps. En mathématiques, et plus précisément en algèbre, un corps est une structure algébrique. De manière informelle, un corps est un ensemble dans lequel il est possible d effectuer des… …   Wikipédia en Français

  • Corps De Rupture — En mathématiques et plus précisément en algèbre dans le cadre de la théorie de Galois un corps de rupture d un polynôme à coefficients dans un corps K est une extension algébrique de K contenant au moins une racine du polynôme. Les corps de… …   Wikipédia en Français

  • Corps De Décomposition — En mathématiques et plus précisément en algèbre dans la théorie de Galois, le corps de décomposition d un polynôme formel P(X) est la plus petite extension de corps contenant toutes les racines de P(X). On montre qu une telle extension existe… …   Wikipédia en Français

  • Corps de decomposition — Corps de décomposition En mathématiques et plus précisément en algèbre dans la théorie de Galois, le corps de décomposition d un polynôme formel P(X) est la plus petite extension de corps contenant toutes les racines de P(X). On montre qu une… …   Wikipédia en Français

Share the article and excerpts

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