Corps de rupture - Définition

Introduction

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 irréductible P(X) à coefficients dans un corps K est une extension algébrique minimale de K contenant au moins une racine du polynôme.

Selon les auteurs, on peut trouver d'autres définitions du corps de rupture (voir section ).

On démontre qu'avec la définition choisie, si P est un polynôme irréductible, tous les corps de rupture de P(X) sont isomorphes à K[X]/(P(X)), anneau K[X] des polynômes à coefficients dans K quotienté par l'idéal engendré par le polynôme P(X).

Un corps de rupture permet de trouver un corps dans lequel le polynôme peut être rompu mais, en général, cette construction ne suffit pas à scinder totalement le polynôme, c'est-à-dire à le décomposer en produit de facteurs du premier degré. La construction d'un corps de rupture n'est donc qu'un étape dans la construction des corps de décomposition dans lequel le polynôme pourra être totalement scindé. Ce sont les corps de décomposition qui, dans le cas où le critère de séparabilité est assuré, possèdent les bonnes propriétés nécessaires pour appliquer le théorème fondamental de la théorie de Galois.

Si un corps de rupture ne contient pas l'intégralité des racines de P(X), il est alors possible de réitérer l'opération jusqu'à ce qu'une extension algébrique contenant toutes les racines soit construite : on obtient le corps de décomposition du polynôme.

Définition

Soit K un corps et P(X) un polynôme formel irréductible à une indéterminée et à coefficients dans K. Si L est une extension de K dans laquelle P possède une racine α, alors le plus petit sous-corps de L contenant K et α, est l'extension simple de K définie par α et se note K(α). Un corps de rupture de P(X), polynôme irréductible sur K, est par définition une extension simple K(α) de K, où α est une racine de P. Alors α est algébrique sur K, et P (qui est irréductible) est, à un inversible près, le polynôme minimal de α sur K.

Une extension L d'un corps K peut être vue comme un espace vectoriel sur K, dont la dimension s'appelle le degré de L sur K et se note [L:K]. Un corps de rupture de P sur K est une extension algébrique finie de K. On montre dans le paragraphe suivant que, le polynôme P étant irréductible, le degré de cette extension est forcément le degré n du polynôme P, puisque, α étant une racine de P, K(α) est K[α], le plus petit anneau engendré par K et α, espace vectoriel de base 1, α, …, α^n-1 sur K.

Par conséquent un corps de rupture F de P polynôme irréductible de degré n sur K est de façon équivalente :

• une extension (algébrique) simple de K définie par une racine de P ;
• une extension minimale de K contenant une racine de P, « minimale » signifiant qu'aucun sous-corps propre de F ne contient de racine de P(X) ;
• une extension de K contenant au moins une racine de P et de degré minimum sur K ;
• une extension de K contenant au moins une racine de P et de degré n sur K.

Exemples

• Dans le corps des nombres réels, le polynôme X² + 1 ne possède, dans son corps de coefficients, aucune racine. En effet, tout carré du corps des nombres réels est positif. Un corps de rupture de ce polynôme est celui des nombres complexes. Il est de degré 2 sur (Voir construction des nombres complexes).

• Dans le corps des nombres rationnels, le polynôme X³ - 2 ne possède pas de racine dans mais il en possède une dans , soit . On vérifie que le sous-corps de , est l'ensemble de tous les réels qui s'écrivent avec a, b et c rationnels. Il est de degré 3. Cependant cette extension ne contient pas toutes les racines du polynôme. En effet, il en existe deux ayant une composante complexe et qui ne sont pas élément de ce corps, à savoir et où j et j² sont les deux racines cubiques de l'unité distinctes de 1 ( ). On vérifie que le corps des complexes contient trois corps de rupture de X³ - 2, déjà mentionné, (qui est l'ensemble des complexes de la forme avec a, b et c rationnels), et (définition analogue). Tous sont bien de degré 3, et ils sont nécessairement isomorphes 2 à 2 (voir le théorème qui suit). Aucun n'est un corps de décomposition de X³ - 2 (plus petit corps contenant toutes les racines de P(X). On obtient celui-ci en réitérant la construction d'un corps de rupture.

• Un corps de rupture d'un polynôme irréductible peut être égal au corps de décomposition de celui-ci, même si le degré du polynôme est strictement supérieur à 2. C'est le cas pour le corps de rupture sur du polynôme X⁴+X³+X²+X+1, dont les racines sont les 4 racines cinquième de l'unité distinctes de 1 : si α est l'une d'entre elle, les 4 racines sont α, α², α³, α⁴ (voir aussi polynôme cyclotomique). C'est toujours le cas pour un polynôme irréductible sur un corps fini.