Corps de decomposition

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 telle extension existe toujours.

Un corps de décomposition d'un polynôme est une extension finie et normale. S'il est séparable, c'est une extension de Galois.

Toute la théorie de Galois s'applique, un tel corps bénéficie de théorèmes puissants, comme le théorème de l'élément primitif ou le théorème fondamental de la théorie de Galois. De nombreux problèmes se résolvent alors à l'aide de cette structure. On peut citer par exemple le théorème d'Abel ou la détermination des polygones constructible à la règle et au compas.

Sommaire

Définition

Les notations suivantes sont utilisées pour tout l'article, soit K un corps, P(X) un polynôme à coefficients dans K et Ω une clôture algébrique de K. Le polynôme P(X) désigne un polynôme formel, par opposition à une fonction polynôme, il est construit à l'aide d'une indéterminée noté X et non pas une variable x.

  • Il existe une plus petite extension de corps L sur K telle que le polynôme P(X) soit scindé (c’est-à-dire qu'il soit le produit de polynômes du premier degré) sur L. Minimal signifie ici que toute sous-extension F de L contenant toutes les racines de P(X) est égale à L. Cette extension est appelée corps de décomposition de P(X).
  • Soit (l1, ..., ln) une famille f d'éléments algébriques de Ω. Le plus petit corps de Ω contenant la famille et K est noté K(l1, ..., ln) et est appelé l'extension engendrée par la famille f.

L est isomorphe à un sous-corps de Ω, il est donc possible d'identifier L à un sous-corps de Ω comme le prouve le paragraphe Extension algébrique et clôture algébrique. Cette identification est réalisée dans le reste de l'article.

Si r1, ..., rn sont les racines de P(X) dans L, alors L s'identifie à K(r1, ..., rn). La démonstration de l'existence du corps de décomposition se trouve dans le paragraphe Extension algébrique et polynôme.

Remarque: Il existe une autre convention, le corps de décomposition d'un polynôme P(X) sur K désigne toute extension contenant toutes les racines de P(X), le corps minimal est alors appelé le corps des racines.

Exemples

Le corps de décomposition du polynôme X2+1 sur le corps des nombres réels est le corps des nombres complexes.

Construisons alors le corps de décomposition L du polynôme P(X) = X3 - 2 sur le corps des nombres rationnels. Soit r la racine cubique (réelle) de 2, et j la racine cubique (complexe) de l'unité ayant une composante imaginaire positive. Alors les deux autres racines sont j.r et j2.r. Aucune racine n'est rationnelle, donc le polynôme est irréductible (en effet tout polynôme de degré trois qui n'est pas irréductible possède une racine rationnelle).

Considérons l'extension K1 égale à Q(r), c’est-à-dire l'extension engendrée par r. Comme P(X) est irréductible, c'est une extension de degré trois isomorphe à Q[X]/(P(X)Q[X]) (cf le paragraphe Extension algébrique et polynôme) et dont une base est {1, r, r2}.

Sur K1 le polynôme P(X) possède une racine r. Une division de P(X) par le polynôme X - r donne l'égalité:

P(X)=(X-r)(X^2 + r.X + r^2)=(X-r)(X+(1/2 + s).r)(X+(1/2 -s).r)\quad \mbox{avec } s= \frac{\sqrt{3}}{2}i

On en déduit que L est égal à K1(s) qui est une extension de degré deux de K1 et dont une base est {1, s}.

On a l'égalité sur les degrés [L:Q] =[L:K1].[K1:Q]= 3 x 2 = 6 (cf. Définitions et premières propriétés des extensions algèbriques). On en déduit une base de L sur K qui est {1, r, r2,s ,s.r, s.r2}.

Remarque: la méthode présentée ici est générique, elle peut être utilisée pour bâtir des corps de décomposition.

Propriétés

Cette propriété est démontrée dans le paragraphe Extension algébrique et sur-corps.

  • Deux corps de décomposition de P(X) sur un corps K sont isomorphes comme extensions de K.

Cette propriété est démontrée dans le paragraphe Extension algébrique et sur-corps.

  • Si un corps de décomposition est généré par des éléments séparables, alors il est séparable et le théorème de l'élément primitif s'applique. En conséquence, l'extension est séparable et simple.
  • Si P(X) est irréductible et séparable, alors le corps de décomposition est galoisien: Soient r1,...,rn les racines de P(X) dans Ω. Alors L est égal à K(r1,...,rn). Tout morphisme de L dans Ω permute les racines, donc laisse stable L, ce qui montre que l'extension est normale. Comme L est une extension séparable et normale, elle est donc de Galois.

En effet, si P n'est pas irréductible, il existe deux polynômes P1 et P2 de degré strictement positif tel que P soit égal à P1.P2. Soient α (resp. β) une racine de P1 (resp. P2) et σ un élément du groupe de Galois. Le polynôme minimal de σ(α) est égal à P1, celui de β à P2, on en déduit que σ(α) ne peut être égal à β, ce qui revient à dire que le groupe n'opère pas transitivement.

Réciproquement si P est irréductible, soient α et β deux racines de P. Soit m le morphisme de K(α), dans K(β) qui à α associe β. L'avant dernière proposition du paragraphe Morphisme dans la clôture algébrique de l'article Extension séparable montre que le morphisme de corps m se prolonge en un automorphisme σ du corps de décomposition. Il existe ainsi un élément σ du groupe de Galois tel que σ(α) = β, ce qui montre que le groupe opère transitivement.

Voir aussi

Notes

  1. Cette propriété provient de : A. et R. Douady Algèbre et théories galoisiennes Cassini 2005 p 307 (ISBN 2842250052)

Liens externes

Références

Adrien Douady et Régine Douady, Algèbre et théories galoisiennes [détail des éditions]
Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions]
Pierre Samuel, Théorie algébrique des nombres [détail des éditions]
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Corps de d%C3%A9composition ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

  • 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 décomposition — En mathématiques et plus précisément en algèbre dans la théorie des corps commutatifs, un corps de décomposition, ou parfois corps des racines, d un polynôme formel P(X) est une extension de corps minimale contenant toutes les racines de P(X). On …   Wikipédia en Français

  • décomposition — [ dekɔ̃pozisjɔ̃ ] n. f. • 1694; de décomposer, d apr. composition 1 ♦ Séparation (d un corps, d une substance) en ses éléments. ⇒ division, séparation. Décomposition chimique. Décomposition de la lumière par le prisme. Math. Décomposition d une… …   Encyclopédie Universelle

  • 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

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

  • CORPS — LES SAVOIRS et les pratiques qui ont pour objet le corps – médecine, arts plastiques, sémiologie, anthropologie, psychanalyse – ont à se débattre, dans la culture occidentale, avec deux traditions philosophiques, la cartésienne et… …   Encyclopédie Universelle

Share the article and excerpts

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