Théorème d'Abel (algèbre)

En mathématiques et plus précisément en algèbre, le théorème d'Abel, parfois appelé théorème d'Abel-Ruffini ou encore théorème de Ruffini, indique que pour tout entier n supérieur ou égal à 5, il n'existe pas de formule générale exprimant « par radicaux » les racines d'un polynôme quelconque de degré n, c'est-à-dire de formule n'utilisant que les coefficients, la valeur 1, les quatre opérations et l'extraction des racines n-ièmes. Ceci contraste avec les degrés 2, 3 et 4 pour lesquels de telles formules génériques existent, la plus connue étant celle pour le degré 2, qui exprime les solutions de ax² + bx + c = 0 sous la forme (–b ± √b² – 4ac)/2a.

Ce résultat est exprimé pour la première fois par Paolo Ruffini, puis démontré rigoureusement par Niels Henrik Abel. Un théorème ultérieur d'Évariste Galois donne une condition nécessaire et suffisante pour qu'une équation polynomiale soit résoluble par radicaux. Cette version plus précise permet d'exhiber des équations de degré 5, à coefficients entiers, dont les racines complexes — qui existent d'après le théorème de d'Alembert-Gauss — ne s'expriment pas par radicaux.

Tous les corps considérés dans cet article sont supposés commutatifs et de caractéristique nulle.

Niels Henrik Abel (1802-1829) présente la première démonstration rigoureuse et complète du théorème qui porte maintenant son nom.

Préambule

Signification du théorème

Le théorème d'Abel et le théorème de d'Alembert-Gauss sont les deux théorèmes fondamentaux de la théorie des équations, c'est-à-dire la théorie qui traite des équations polynomiales ou équivalentes. Une équation est dite polynomiale si elle est de la forme P(x) = 0, où P désigne un polynôme. Le théorème de d'Alembert-Gauss indique qu'une équation polynomiale à coefficients complexes admet au moins une racine complexe si le polynôme correspondant n'est pas constant.

Des méthodes numériques comme la méthode de Newton ou celle de Laguerre s'appliquent indépendamment du degré de l'équation. Si n, le degré du polynôme, est petit, il existe aussi des méthodes dites algébriques pour résoudre l'équation. Ainsi, si n est égal à 2, et si P s'écrit aX² + bX + c, les solutions sont données par la formule classique (–b ± √b² – 4ac)/2a, où b² – 4ac est le discriminant du polynôme ; on dit que √b² – 4ac est un radical. Des formules analogues (mais plus compliquées) existent pour les polynômes de degré 3 ou 4, comme le montrent les méthodes de Cardan et de Ferrari.

Mais pour les degrés strictement supérieurs à 4, et en dépit de plusieurs siècles d'efforts, aucune formule générale analogue à celles des degrés 2, 3 et 4 n'avait pu être trouvée. Le théorème d'Abel exprime le fait qu'aucune formule de cette nature n'existe. Une méthode pour exprimer néanmoins les racines consiste à faire usage d'une famille de fonctions plus vaste que celle des racines n-ièmes, telle que celle des fonctions elliptiques ; mais les formules ainsi obtenues n'ont qu'un intérêt théorique ; en pratique, il est bien plus intéressant d'obtenir des valeurs approchées à l'aide, par exemple, de la méthode de Newton.

Expressions du théorème

L'expression utilisée par Abel dans son mémoire de 1824 est la suivante :

Théorème d'Abel — Il est impossible de résoudre par des radicaux l'équation générale du cinquième degré.

Abel ajoute qu'« Il suit immédiatement de ce théorème qu'il est de même impossible de resoudre par des radicaux les équations générales des dégrés supérieurs au cinquième. »

Évariste Galois est l'auteur d'une forme plus aboutie du théorème. Sa méthode est celle généralement utilisée pour démontrer le théorème. Cette formulation prend le nom de théorème de Galois ou théorème d'Abel-Galois, parfois aucun nom n'est indiqué. Sa formulation est plus générale car elle s'applique à tout corps K (commutatif et de caractéristique nulle, comme annoncé dans l'introduction) et indique si une équation algébrique est résoluble par radicaux ou non.

Théorème de Galois — Une équation polynomiale à coefficients dans K est résoluble par radicaux si et seulement si son groupe de Galois est résoluble.

Radical

Soient K un corps et L une extension de K.

• Un élément de L est dit radical sur K si l'une de ses puissances appartient à K.
• On dit qu'un élément de L s'exprime par radicaux sur K s'il est le dernier terme d'une suite finie de premier terme nul et dont chaque terme est radical sur l'extension de K engendrée par les termes précédents.
• On dit que l'extension L de K est résoluble par radicaux si chaque élément de L s'exprime par radicaux sur K. Lorsque l'extension est finie, cela revient à dire que L est contenu dans une extension K(α₁, … , α_k) telle que pour chaque i compris entre 1 et k, α_i^n_i appartient à K(α₁, … , α_i–1) pour un certain entier naturel n_i.
• On dit qu'un polynôme est résoluble ou résoluble par radicaux si toutes ses racines s'expriment par radicaux sur K. Autrement dit : l'extension de K engendrée par les racines du polynôme est résoluble par radicaux.

Formalisme de la théorie de Galois

L'expression du théorème de Galois ci-dessus utilise des notions de sa théorie. Le corps de décomposition L de P désigne le plus petit corps contenant K ainsi que toutes les racines de P. C'est donc une extension finie et normale de K. L'hypothèse que K est de caractéristique nulle assure entre autres qu'il est parfait, c'est-à-dire que tout polynôme irréductible à coefficients dans K est à racines simples. L'extension L de K est donc de plus séparable. En résumé : L est une extension galoisienne finie de K.

Une structure clé pour étudier une telle extension est son groupe de Galois : c'est le groupe des automorphismes de corps de L fixant chaque élément de K. On démontre que l'ordre du groupe de Galois d'une extension galoisienne finie est égal au degré de l'extension (à ne pas confondre, pour l'extension L de K, avec le degré du polynôme P).

La notion centrale du théorème est celle de groupe résoluble. Les premiers exemples de groupes résolubles sont les groupes abéliens. Les exemples suivants sont les groupes G possédant un sous-groupe normal abélien G₁ tel que le groupe quotient G/G₁ soit abélien. Dans le cas général :

Un groupe G est dit résoluble lorsqu'il existe une suite finie G₀, G₁, … , G_k de sous-groupes de G telle que :

$I=G_{0}\subset G_{1}\subset \ldots \subset G_{k-1}\subset G_{k}=G$

où G_i, pour tout i compris entre 0 et k – 1, est un sous-groupe normal de G_i+1 tel que le groupe quotient G_i+1/G_i soit abélien. Le groupe I désigne ici le groupe trivial.

Histoire

Une vision d'ensemble de la théorie des équations, traitant en particulier du théorème d'Abel, est donnée dans l'article « Théorie des équations (histoire des sciences) ».

Genèse

Si la première étude systématique des équations algébriques remonte au VIII^e siècle, dans l'Abrégé du calcul par la restauration et la comparaison du mathématicien iranien d'expression arabe Al-Khawarizmi, l'idée d'associer une structure de groupe à l'équation n'apparaît qu'au XVIII^e siècle. Joseph-Louis Lagrange met en évidence la relation entre les propriétés d'un groupe de permutations des racines et la possibilité de résolution d'une équation cubique ou quartique. S'il est possible de voir dans ces travaux l'origine de l'utilisation des permutations dans ce domaine, en revanche, ne sont utilisés ni la loi de composition ni l'ensemble des permutations comme une structure propre. Son approche est toutefois suffisante pour émettre un sérieux doute sur l'existence d'une formule exprimant les racines d'un polynôme quelconque de degré n, si n est strictement supérieur à 4.

Paolo Ruffini

Paolo Ruffini (1765-1822).

Paolo Ruffini, Teoria generale delle equazioni, 1799

Paolo Ruffini est le premier à affirmer que l'équation générale et particulièrement l'équation quintique n'admet pas de solution. Il reprend la démarche de Lagrange qui montre que toutes les méthodes utilisées jusqu'ici reviennent à des cas particuliers d'une approche plus générale. Ruffini montre que la méthode de Lagrange ne peut fournir, pour l'équation de degré 5, de formule équivalente à celle de Cardan pour le degré 3. Il publie un livre sur cette question en 1799.

La communauté scientifique de l'époque ne reconnaît pas son travail. Il envoie son livre à Lagrange en 1801, mais n'obtient aucune réponse. Une présentation officielle à l'Académie des sciences n'obtient pas plus de succès. Les mathématiciens Lagrange, Legendre et Lacroix sont chargés d'évaluer la validité de sa preuve. Le rapport décrit son travail comme sans importance, sa démonstration comporte une lacune, rien n'indique qu'il n'existerait pas d'autres méthodes, différentes de celle de Lagrange et donc de toutes celles trouvées jusque-là, et qui permettrait une résolution par radical. Une nouvelle tentative, auprès de la Royal Society anglaise obtient une réponse plus sympathique : si un tel travail n'entre pas dans sa compétence, les résultats ne semblent néanmoins pas contenir d'erreur. Deux autres publications en 1803 et 1808 n'auront guère plus de succès. Pour les mathématiciens de l'époque, le résultat est soit faux, soit anecdotique. Seul Augustin Louis Cauchy comprend la profondeur de son travail. Il lui envoie une lettre en 1821 dans laquelle il indique à la fois la validité et l'importance de la question traitée. Cauchy généralise le résultat sur les permutations à la base des travaux de Ruffini.

Niels Henrik Abel

Après une tentative infructueuse en 1821, le mathématicien norvégien Niels Henrik Abel publie, à ses propres frais, un petit texte de six pages. À la différence des travaux de Ruffini, ce document représente une preuve complète du théorème. Il obtient néanmoins une incompréhension analogue à celle des textes précédents. Même Carl Friedrich Gauss juge le sujet sans intérêt. La lettre d'Abel sera retrouvée après la mort de Gauss non décachetée. En 1801, ce mathématicien avait exprimé dans sa thèse que la recherche de solution par radicaux était sans intérêt, il suffisait de donner un nom quelconque à la racine. Il est vrai qu'en termes de technique numérique, il est beaucoup plus simple d'utiliser une méthode comme celle de Newton pour obtenir une valeur approchée d'une racine ; la résolution par radical ne possède plus au XIX^e siècle le même intérêt qu'il avait les siècles précédents pour le calcul numérique. Et, si ce n'est pas pour obtenir une approximation numérique, alors autant utiliser une lettre pour décrire la racine. Même Cauchy, qui reçoit Abel en 1826, daigne à peine jeter un coup d'œil à ses travaux.

D'autres articles furent écrits entre 1826 et 1828, contenant la preuve de l'impossibilité de la résolution dans le cas général. Les travaux d'Abel finissent par convaincre la communauté scientifique. En 1830, Cauchy retrouve son manuscrit, et Abel finit par obtenir le grand prix de mathématiques de l'Académie des sciences la même année à titre posthume.

Évariste Galois

Évariste Galois (1811-1832).

Après les travaux d'Abel, seuls trois éléments manquent pour une expression finale du théorème : une approche effective, la condition nécessaire et suffisante de résolubilité de l'équation et une compréhension profonde des mécanismes qui rendent possible la résolubilité. C'est Évariste Galois qui réalise ces trois progrès.

Son approche subit la même incompréhension que ses prédécesseurs. Ses premiers écrits, présentés à l'Académie des sciences dès 1829 sont définitivement perdus. Un mémoire écrit par Galois en 1831 est redécouvert et publié par Joseph Liouville, qui le présente à la communauté scientifique en 1843 en ces termes : « […] J'espère intéresser l'Académie en lui annonçant que dans les papiers d'Évariste Galois j'ai trouvé une solution aussi exacte que profonde de ce beau problème : étant donné une équation irréductible de degré premier, décider si elle est ou non résoluble à l'aide de radicaux. » L'apport de Galois est majeur ; G. Verriest le décrit dans les termes suivants : « le trait de génie de Galois, c'est d'avoir découvert que le nœud du problème réside non pas dans la recherche directe des grandeurs à adjoindre, mais dans l'étude de la nature du groupe de l'équation. Ce groupe […] exprime le degré d'indiscernabilité des racines […]. Ce n'est donc plus le degré d'une équation qui mesure la difficulté de la résoudre mais c'est la nature de son groupe. »

Exemples

Équations cyclotomiques

Si P est un polynôme cyclotomique, c'est-à-dire un diviseur irréductible, dans ℚ[X], d'un polynôme de la forme Xⁿ – 1, alors l'équation P(x) = 0 est trivialement résoluble par radicaux. Le théorème d'Abel est confirmé dans ce cas particulier, puisque le groupe de Galois de l'extension cyclotomique correspondante est abélien (donc résoluble). Plus précisément, le groupe de Galois du polynôme cyclotomique Φ_n est isomorphe au groupe des unités de l'anneau ℤ/nℤ.

Signalons au passage qu'une étude plus poussée (cf. « Théorème de Gauss-Wantzel ») détermine à quelle condition l'équation Φ_n(x) = 0 est résoluble non seulement par radicaux (d'ordres quelconques) mais par racines carrées, condition qui équivaut à la constructibilité à la règle et au compas du polygone régulier à n sommets.

Le cas du second degré

Courbe polynomiale quadratique.

Considérons le cas où le polynôme P est de degré 2 à coefficients rationnels n'ayant pas de racine rationnelle. Quitte à diviser P par son coefficient dominant, on peut le supposer unitaire :

$P(X)=X^{2}-pX+q.$

Notons x₁ et x₂ les deux racines de l'équation. On en déduit :

$(X-x_{1})(X-x_{2})=P(X)=X^{2}-pX+q\quad {\text{donc}}\quad x_{1}+x_{2}=p\quad {\text{et}}\quad x_{1}x_{2}=q.$

Comme l'extension est galoisienne et de degré 2, le groupe de Galois est d'ordre 2 : ses deux éléments sont l'identité de L et la symétrie qui fixe les rationnels et échange x₁ et x₂. Il existe donc une base (1,r) du ℚ-espace vectoriel L et un rationnel a tels que x₁ = a + r et x₂ = a – r.

On en déduit :

$a={\frac {x_{1}+x_{2}}{2}}={\frac {p}{2}}\quad {\text{et}}\quad r^{2}=a^{2}-x_{1}x_{2}={\frac {p^{2}}{4}}-q.$

Le groupe de Galois permet donc une résolution effective de l'équation quadratique.

Le cas du degré trois

La méthode de Cardan permet d'extraire la ou les racines d'un polynôme de degré 3 dans le cas général.

Courbe polynomiale cubique.

Généralités

Considérons le cas où le polynôme P est de degré 3 à coefficients rationnels et irréductible. Quitte à diviser P par son coefficient dominant et à translater la variable, on peut supposer que P est de la forme :

$P(X)=X^{3}+pX+q.$

Notons x₁, x₂ et x₃ les trois racines (distinctes) de l'équation. De

$(X-x_{1})(X-x_{2})(X-x_{3})=P(X)=X^{3}+pX+q$

on déduit :

$x_{1}+x_{2}+x_{3}=0,\quad x_{1}x_{2}+x_{2}x_{3}+x_{3}x_{1}=p\quad {\text{et}}\quad x_{1}x_{2}x_{3}=-q.$

Le groupe de Galois G de P est un sous-groupe du groupe symétrique S₃. L'ordre de ce sous-groupe est égal à la dimension sur ℚ du corps de décomposition L. C'est donc un multiple de 3, puisque L contient la racine $x_{1}$ dont le polynôme minimal est de degré 3. G est donc isomorphe soit à S₃ (d'ordre 6), soit à son unique sous-groupe d'ordre 3, le groupe alterné A₃.

Dans les deux cas, G est résoluble (car A₃ est normal dans S₃, et A₃ et S₃/A₃ sont abéliens, et même cycliques) donc le théorème d'Abel garantit que le polynôme l'est aussi.

Détermination du groupe de Galois

Considérons l'élément non nul de L : δ = (x₁ – x₂)(x₂ – x₃)(x₃ – x₁). Pour tout élément g de G, g(δ) = ε(g)δ, où ε(g) désigne la signature de la permutation effectuée par g sur les trois racines. G est donc réduit à A₃ si et seulement si δ est invariant par tous les éléments de G, c'est-à-dire (cf propriété 3 du paragraphe sur le théorème fondamental de la théorie de Galois) si et seulement si δ est rationnel. On démontre par ailleurs (voir l'article « Discriminant ») que δ² = –4p³ – 27q². On en déduit :

Le groupe de Galois de P est isomorphe à A₃ si –4p³–27q² est le carré d'un rationnel, et à S₃ sinon.

Calcul des racines

Une façon de retrouver les formules de Cardan est de poser :

$u={\frac {x_{1}+\mathrm {j} ^{2}x_{2}+\mathrm {j} x_{3}}{3}}\quad {\text{et}}\quad v={\frac {x_{1}+\mathrm {j} x_{2}+\mathrm {j} ^{2}x_{3}}{3}}$,

où j et j² désignent les deux racines cubiques primitives de l'unité.

En effet, on obtient ainsi :

$x_{1}=u+v,\quad x_{2}=\mathrm {j} u+\mathrm {j} ^{2}v\quad {\text{et}}\quad x_{3}=\mathrm {j} ^{2}u+\mathrm {j} v$

et il ne reste alors plus qu'à calculer u et v en fonction des coefficients du polynôme :

$-q=x_{1}x_{2}x_{3}=(u+v)(\mathrm {j} u+\mathrm {j} ^{2}v)(\mathrm {j} ^{2}u+\mathrm {j} v)=u^{3}+v^{3}$, $p=x_{1}x_{2}+x_{2}x_{3}+x_{3}x_{1}=(u+v)(\mathrm {j} u+\mathrm {j} ^{2}v)+(\mathrm {j} u+\mathrm {j} ^{2}v)(\mathrm {j} ^{2}u+\mathrm {j} v)+(\mathrm {j} ^{2}u+\mathrm {j} v)(u+v)=-3uv$.

Le système d'équations suivant permet alors de conclure :

${\begin{cases}u^{3}+v^{3}&=-q\\27u^{3}v^{3}&=-p^{3}.\end{cases}}$

L'équation est donc bien résoluble par radicaux, comme prévu par le théorème d'Abel et le calcul du groupe de Galois. Plus précisément : par racines carrées (pour l'expression de j et j² et le calcul de u³ et v³) et cubiques (pour en extraire u et v).

Ces éléments u et v ont l'interprétation suivante dans la théorie de Galois. On a vu que G contenait au moins le groupe alterné A₃, c'est-à-dire qu'il existe un automorphisme m de L (d'ordre 3) fixant les rationnels et vérifiant :

$m(x_{1})=x_{2},\quad m(x_{2})=x_{3}\quad {\text{et}}\quad m(x_{3})=x_{1}.$

Supposons d'abord que L contient j et j². Tout élément du sous-corps ℚ[j] est de degré 1 ou 2 sur ℚ, donc fixe par m. On peut donc considérer m comme un endomorphisme du ℚ[j]-espace vectoriel L, et les vecteurs $u$ et $v$ apparaissent alors comme propres pour m, puisque par construction,

$m(u)=\mathrm {j} u\quad {\text{et}}\quad m(v)=\mathrm {j} ^{2}v.$

Lorsque L ne contient pas j et j², on vérifie qu'il ne contient pas d'autres éléments de ℚ[j] que les rationnels, ce qui permet d'étendre naturellement m en un ℚ[j]-automorphisme de L[j] pour lequel, de même, u et v sont propres.

Le cas du degré quatre

La méthode de Ferrari permet d'extraire la ou les racines d'un polynôme de degré 4 dans le cas général.

Un contre-exemple de degré cinq

L'article détaillé montre que le groupe de Galois sur ℚ du polynôme P(X) = X⁵ – 3X – 1 est le groupe symétrique S₅, qui n'est pas résoluble. L'équation P(z) = 0 n'est donc pas résoluble par radicaux, c'est-à-dire qu'il n'est pas possible d'exprimer les racines de ce polynôme à partir de nombres entiers à l'aide des quatre opérations usuelles et de radicaux, ce qui démontre qu'il n'est pas possible de trouver une expression des racines dans le cas général d'une équation du cinquième degré, comme on peut le faire pour les équations de degré 1, 2, 3 ou 4.

Remarque. Il est impropre de dire que l'équation P(z) = 0 n'est pas résoluble. Cette équation possède 5 racines qui s'approximent aussi précisément qu'on le souhaite et qui s'expriment exactement à l'aide d'intégrales elliptiques.

Contre-exemples en tout degré supérieur ou égal à 5

Pour tout entier n ≥ 2, il existe une infinité de polynômes (irréductibles et de degré n) à coefficients entiers dont le groupe de Galois sur ℚ est le groupe symétrique S_n or pour n ≥ 5, ce groupe n'est pas résoluble.

Démonstration

Cette construction utilise un théorème de Richard Dedekind sur la réduction modulo p des groupes de Galois, jointe aux deux faits suivants :

• tout sous-groupe transitif de S_n contenant une transposition et un (n – 1)-cycle est égal à S_n tout entier ;
• sur tout corps fini — en particulier tout corps fini premier F_p — il existe des polynômes irréductibles de degré arbitraire.

On choisit trois polynômes séparables unitaires de degré n :

• P₂ sur F₂, irréductible,
• P₃ sur F₃, produit d'un irréductible de degré 2 et d'irréductibles de degrés impairs (aucun si n = 2 et par exemple un seul, de degré n – 2, si n est impair, et deux, de degrés n – 3 et 1, si n est pair et ≥ 4),
• P₅ sur F₅, produit de deux irréductibles, de degrés n – 1 et 1,

puis un polynôme unitaire P de degré n à coefficients entiers dont les réductions modulo 2, 3 et 5 sont égales à P₂, P₃ et P₅ : P est irréductible puisque P₂ l'est, donc son groupe de Galois agit transitivement sur ses n racines, et il contient une transposition (par choix de P₃) et un (n – 1)-cycle (par choix de P₅). Ce sous-groupe est donc S_n tout entier.

Démonstration du théorème de Galois

Si le groupe est résoluble, alors le polynôme l'est.

Soit n le degré d'une extension galoisienne finie L de K. Son groupe de Galois G est donc d'ordre n.

On traite d'abord le cas où G est abélien, en supposant dans un premier temps, comme dans la méthode de Cardan (dans laquelle le cas n = 3 correspond au cas où G est abélien), que K contient les n racines n-ièmes de l'unité. On s'affranchit ensuite de cette hypothèse.

• Si G est abélien et si K contient les racines n-ièmes de l'unité, alors il existe une base du K-espace vectoriel L constituée d'éléments radicaux sur K.
  D'après un théorème de Lagrange, chaque élément de G est annulé par le polynôme Xⁿ – 1, qui est scindé sur K et à racines simples. Les éléments de G, considérés comme automorphismes du K-espace vectoriel L, sont donc diagonalisables, et leurs valeurs propres sont des racines n-ièmes de l'unité. Comme ils commutent entre eux, ils sont même simultanément diagonalisables. Soit (r₁, … , r_n) une base propre commune. Pour montrer que chaque r_iⁿ appartient à K (ce qui conclura) il suffit, puisque L est une extension galoisienne de K, de vérifier que r_iⁿ est fixe par tout élément m de G. Or si λ est la valeur propre associée à m et au vecteur propre r_i, on a bien :$m(r_{i}^{n})={\Big (}m(r_{i}){\Big )}^{n}=(\lambda r_{i})^{n}=\lambda ^{n}r_{i}^{n}=r_{i}^{n}.$
• Si G est résoluble et si K contient les racines n-ièmes de l'unité, alors l'extension est résoluble par radicaux.
  On démontre l'assertion par récurrence sur la longueur k de la suite de sous-groupes G₀, G₁, … , G_k qui intervient dans la définition de la résolubilité de G.
  Si k = 0 alors G est trivial et L = K.
  Supposons la propriété vraie jusqu'à l'ordre k – 1 et considérons le sous-corps L' de L constitué des éléments fixes par G_k–1. Alors le théorème fondamental de la théorie de Galois assure que les extensions L/L' et L' /K sont galoisiennes, de groupes respectifs le groupe résoluble G_k–1 et le groupe abélien G/G_k–1. Par hypothèse de récurrence, L est donc résoluble par radicaux sur L' , lui-même résoluble par radicaux sur K d'après le point précédent, ce qui permet de conclure.
• Si G est résoluble, alors l'extension est résoluble par radicaux.
  Soit F = K[ζ] l'extension galoisienne de K par une racine primitive n-ième de l'unité. Le compositum LF = L[ζ] est alors une extension galoisienne de F, de groupe isomorphe à un sous-groupe de G, donc résoluble. D'après le point précédent, L[ζ] est donc résoluble par radicaux sur K[ζ], lui-même trivialement résoluble par radicaux sur K. Par conséquent, L[ζ] est résoluble par radicaux sur K, donc L l'est aussi.

Si un polynôme est résoluble, alors son groupe de Galois l'est.

Par hypothèse, le corps de décomposition L de P est contenu dans une extension K(α₁, … , α_k) telle que pour chaque i compris entre 1 et k, α_i^n_i appartient à K(α₁, … , α_i–1) pour un certain entier naturel n_i. On peut évidemment supposer de plus (en utilisant que α^uv = (α^u)^v et en intercalant des radicaux intermédiaires) que chaque n_i pour i > 1 est un nombre premier, et que la suite d'extensions commence par l'adjonction d'une racine primitive n₁-ième de l'unité α₁, pour n₁ égal au produit de ces nombres premiers. On montre ci-dessous, par récurrence sur i, que chaque extension K(α₁, … , α_i) de K est alors galoisienne et de groupe résoluble. D'après le théorème fondamental de la théorie de Galois, le groupe de Galois de la sous-extension L est alors lui aussi résoluble, comme quotient de celui de K(α₁, … , α_k).

• Si K contient les racines p-ièmes de l'unité, où p est un nombre premier, alors toute extension propre de K par un radical d'ordre p est galoisienne et abélienne.
  Soit K(α) une telle extension. Elle est galoisienne, comme corps de décomposition du polynôme X^p – α^p, dont les racines sont les produits de α par les racines p-ièmes de l'unité. Son groupe de Galois est d'ordre p (chaque automorphisme envoyant α sur l'une des p racines du polynôme), donc cyclique, donc abélien.
• Pour tout i de 1 à k, l'extension K(α₁, … , α_i) de K est galoisienne et de groupe résoluble.
  Notons F_i l'extension K(α₁, … , α_i) de K et G_i son groupe de Galois.
  L'extension F₁ de K est cyclotomique, donc galoisienne et abélienne.
  Soit i > 1. Supposons que l'extension F_i–1 de K est galoisienne et que G_i–1 est résoluble. D'après le point précédent, l'extension F_i de F_i–1 est galoisienne et de groupe H abélien. Par conséquent, l'extension F_i de K est galoisienne et G_i est résoluble, comme extension de G_i–1 par H.

Bibliographie

• (en) Nathan Jacobson, Basic Algebra, vol. 1, Dover, 2009, 2^e éd. (lire en ligne), chap. 4 (« Galois Theory of Equations »)
• (en) Peter Pesic, Abel’s Proof: An Essay on the Sources and Meaning of Mathematical Unsolvability, MIT Press, 2004 (lire en ligne)
• Pierre Samuel, Théorie algébrique des nombres [détail de l’édition]
• Pierre-Laurent Wantzel, « Démonstration de l'impossibilité de résoudre toutes les équations algébriques avec des radicaux », J. Math. Pures Appl., 1^re série, vol. 4,‎ 1845, p. 57-65 (lire en ligne)