<page> <title>Théorème d'Abel (algèbre)</title> <id>450019</id> <revision> <id>30420980</id> <timestamp>2008-06-08T10:02:02Z</timestamp> <contributor> <ip>90.44.63.189</ip> </contributor> <text xml:space="preserve">{{Voir homonymes|Théorème d'Abel}} [[Image:Niels Henrik Abel (detail).jpeg|thumb|250px|right|[[Niels Henrik Abel]] 1802-1829]] En [[mathématiques]], plus précisément en [[algèbre]], dans le cadre de la théorie des [[équation algébrique|équations algébriques]], Le '''théorème d'Abel-Ruffini''' ou '''théorème d'Abel''' fournit une condition nécessaire et suffisante pour la résolution par radicaux d'une équation algébrique. Un corollaire plus simple s'exprime sous la forme suivante: {{citation|Il existe des [[Équation polynomiale|équations polynomiales]] (pour tout [[Degré mathématique|degré]] supérieur ou égal à cinq) qu'il est impossible de résoudre par radicaux.}} Ce théorème se démontre à l'aide de la [[théorie de Galois]]. == Explication du théorème == ===Équation algébrique et équation polynomiale=== Une équation algébrique est une équation qui s'exprime avec un nombre fini d'opérations choisies dans l'ensemble des [[addition]]s, [[soustraction]]s, [[multiplication]]s, [[division]]s et [[Racine (mathématiques)|extraction de racines]]. Une telle équation peut toujours se ramener à une [[équation polynomiale]]. C'est la raison pour laquelle la suite de l'article ne traite que des polynômes. ===Signification du théorème=== Le contenu de ce théorème est souvent mal compris. Il n'affirme pas que les [[Équation polynomiale|équations polynomiales]] ne sont pas résolubles. En fait, si le polynôme est à coefficients rationnels, [[Nombre réel|réels]] ou [[Nombre complexe|complexes]], alors il a des solutions dans le corps des nombres complexes ([[Théorème de d'Alembert-Gauss|théorème fondamental de l'algèbre]]). Même si on ne peut pas donner de formule pour ces solutions, on peut les calculer à n'importe quel degré de précision en utilisant des méthodes numériques comme la [[Méthode de Newton|méthode de Newton-Raphson]] ou la [[méthode de Laguerre]], et de ce point de vue, le degré n'intervient pas. Le théorème concerne uniquement la ''forme'' qu'une solution peut prendre. Il dit que les solutions d'une équation de degré 5 ou plus ne peuvent pas, en général, s'exprimer par radicaux à partir des coefficients de l'équation, ce qui signifie que ces solutions ne peuvent pas s'obtenir à partir des coefficients, en ne s'autorisant que des expressions faisant intervenir l'addition, la multiplication et des extractions de racines (d'ordre arbitraire). C'est par exemple le cas pour l'équation ''x''<sup>5</sup> - ''x'' + 1 = 0. Certaines équations du cinquième degré peuvent être résolues par radicaux comme ''x''<sup>5</sup> - ''x''<sup>4</sup> - ''x'' + 1 = 0. Le critère qui distingue les équations qui peuvent être résolues par radicaux et celles qui ne peuvent l'être a été énoncé par [[Évariste Galois]] et fait maintenant partie de la [[théorie de Galois]] : une équation polynomiale peut être résolue par radicaux si et seulement si son [[groupe de Galois]] est un [[groupe résoluble]]. Le théorème découle de ce que les [[groupe symétrique|groupes symétriques]] ''S''<sub>2</sub>, ''S''<sub>3</sub> et ''S''<sub>4</sub> sont des groupes résolubles, alors que ''S''<sub>''n''</sub> n'est pas résoluble pour ''n''≥5. {{Article détaillé|équation quintique}} == Histoire == ===Genèse=== Si l'histoire de la théorie des équations algébriques remonte à la nuit des temps, en revanche l'idée d'associer une structure de groupe à l'équation n'apparaît qu'au [[XVIIIe siècle]]. [[Joseph-Louis Lagrange]] <small>([[1736]] [[1813]])</small> 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 [[équation quartique|quartique]]<ref>[[Joseph-Louis Lagrange]] ''Réflexions sur la résolution algébrique des équations'' 1770</ref>. 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. ===Paolo Ruffini=== [[Image:Ruffini.jpg|thumb|160px|Paolo Ruffini 1765-1822]] [[Paolo Ruffini]] <small>([[1765]] [[1822]])</small> est le premier à comprendre que l'équation générale et particulièrement l'[[équation quintique]] n'admet pas de solution Il utilise pour cela les propriétés des groupes de permutations. Il publie un livre sur cette question<ref>[[Paolo Ruffini]] ''Théorie générale des équation, où il est montré que la résolution de l'équation algébrique générale de degré supérieur à quatre est impossible'' 1799</ref> en 1799. Malgré l'apport considérable d'une telle démarche, 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 (France)|Académie des sciences]], n'obtient pas plus de succès. Lagrange, [[Adrien-Marie Legendre|Legendre]] <small>([[1752]] [[1833]])</small> et Lacroix, trois mathématiciens sont chargés d'évaluer la validité de sa preuve. Le rapport décrit son travail comme sans importance. 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]] <small>([[1789]] [[1857]])</small> 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. Il est toutefois à noter que le travail de Ruffini est incomplet. Si l'énoncé du théorème est exact, en revanche la démonstration reste lacunaire. ===Niels Henrik Abel=== Après une tentative infructueuse en [[1821]], le mathématicien norvégien [[Niels Henrik Abel]] <small>([[1802]] [[1829]])</small> publie, à ses propres frais un petit texte de six pages<ref>[[Niels Henrik Abel]] ''Mémoire sur les équations algébriques, où l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré'' 1824</ref>. Si ce document représente une avancée considérable par rapport aux travaux de Ruffini, il obtient néanmoins une incompréhension analogue à celle des textes précédents. Même [[Carl Friedrich Gauss]] <small>([[1777]] [[1855]])</small> 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 une thèse que la recherche de solution par radicaux était sans intérêt, il suffisait de donner un nom quelconque à 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. Même si au regard de la rigueur actuelle, la preuve n'est pas parfaite, 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=== [[Image:evariste galois.jpg|thumb|160px|right|É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 parfaitement rigoureuse, 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]] <small>([[1811]] [[1832]])</small> 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 (France)|Académie des sciences]] dès [[1829]] sont définitivement perdus. Un article<ref>[[Evariste Galois]] ''sur les conditions de résolubilité des équations algébriques'' 1846 Journal de Liouville</ref> de l'auteur écrit en [[1831]] est redécouvert par [[Joseph Liouville]] <small>([[1809]] [[1882]])</small> qui le présente à la communauté scientifique en [[1843]] en ces termes: ''"...J'espère intéresser l'[[Académie des sciences (France)|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ée une équation irréductible, décider si elle est ou non résoluble par radicaux."''. L'apport de Galois est majeur, G. Verriest<ref>G. Verriest ''Å’uvres Mathématiques d'Évariste Galois'' 1951 Gauthier-Villars, Paris</ref> 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."'' ==Définitions et théorème== Soit ''K'' un corps, ''L'' une [[extension algébrique]], ''P''(X) un polynôme à coefficients dans ''K'', ''F'' un sous corps de ''L'' et Ω la [[clôture algébrique]] de ''K''. Ces notations sont utilisées dans toute la suite de l'article, de plus ''L'' est identifiée à un sous-corps de Ω. ===Définitions pour les expressions par radicaux=== :* On appelle '''radical''' de ''F'' dans ''L'' un élément ''l'' de ''L'' tel qu'il existe une puissance de ''l'' élément de ''F''. De même, on appelle '''radical''' d'une suite un élément de ''l'' de ''L'' tel qu'il existe une puissance de ''l'' un élément de la suite. :* On dit qu'un élément ''l'' de ''L'' s''''exprime par radicaux''' de ''K'' si et seulement s'il existe ''p'' suites finies ''S''<sub>i</sub> avec ''i'' variant de 0 à ''p''-1 telles que: ::- ''S''<sub>0</sub> est une suite de ''K'' ::- Si ''i'' est un entier compris entre 1 et ''p'' - 1 alors ''S''<sub>i</sub> est une suite de combinaisons linéaires à coefficients dans ''K'' de radicaux de la suite ''S''<sub>i-1</sub>. ::- ''l'' est une combinaison linéaire à coefficients dans ''K'' d'éléments de la suite ''S''<sub>p-1</sub> :* On dit qu'un polynôme est '''résoluble''' ou '''résoluble par radicaux''' si et seulement si toutes ses racines s'expriment par radicaux de ''K''. Par exemple, l'expression suivante d'un cosinus est une expression par radicaux. Elle est tirée d'un élément de solution du [[polynôme cyclotomique]] des racines dix-septièmes de l'unité, utilisée pour la [[construction à la règle et au compas]] de l'heptadécagone. <center><math> \cos\left(\frac{2\pi}{17}\right) = \frac{1}{16}\left(-1 + \sqrt{17}+\sqrt{34-2\sqrt{17}} +\sqrt{68 +12\sqrt{17}-2\sqrt{34-2\sqrt{17}}-16\sqrt{34+2\sqrt{17}}+2\sqrt{578-34\sqrt{17}}}\right)\,</math></center> ===Définitions pour les groupes résolubles=== {{Article détaillé|Groupe résoluble}} :* On appelle '''[[groupe de Galois]]''' de l'extension ''L'' sur ''K'' le groupe des automorphismes de ''L'' laissant invariant ''K''. Le groupe de Galois est souvent noté Gal (''L''/''K''). :* On appelle '''groupe de Galois''' du polynôme ''P''[X] le groupe de Galois du [[corps de décomposition]] de ''P''[X] sur ''K''. Le groupe de Galois est alors souvent noté ''G''<sub>K</sub>(''P''[X]). :* Un [[Groupe (mathématiques)|groupe]] <math>G</math> est '''résoluble''' lorsqu'il existe une [[Suite (mathématiques)|suite]] finie <math>G_0, G_1, \ldots, G_n</math> de <math>n+1</math> [[sous-groupe]]s de <math>G</math> telle que : <center><math>I= G_0\subset G_1\subset \ldots\subset G_{n-1}\subset G_n = G</math></center> ::où <math>\forall i\in[0,n-1]</math>, <math>G_i</math> est un [[sous-groupe distingué]] de <math>G_{i+1}</math> et le [[groupe quotient]] <math>G_{i+1}/G_i</math> est [[Groupe abélien|abélien]] (<math>I</math> est ici le sous-groupe constitué uniquement de l'élément neutre de <math>G</math>). ''Remarque: Dans le reste de l'article, le groupe de Galois est noté G.'' ===Théorème d'Abel-Ruffini=== Si l'extension ''L'' est séparable alors :*''' ''P''[X] est résoluble par radicaux si et seulement son groupe de Galois l'est.''' ==Exemples== ===Le cas de degré deux=== [[Image:Polynomialdeg2.png|thumb|right|200px|Courbe polynomiale quadratique]] Considérons le cas où le polynôme ''P''[X] est de degré deux à coefficients rationnels n'ayant pas de racine rationnelle. Quitte à diviser l'équation, il est possible de considérer que : <center><math>P[X]=X^2-pX+q\,</math></center> Notons ''x''<sub>1</sub> et ''x''<sub>2</sub> les deux racines de l'équation. On en déduit : <center><math>P[X]=X^2-pX+q=(X-x_1)(X-x_2)\quad donc\quad x_1+x_2=p \; et\; x_1.x_2=q\;</math></center> L'extension est de degré deux et ''L'' est un espace vectoriel sur les rationnels de dimension deux. Comme l'extension est [[Extension de Galois|galoisienne]] le groupe de Galois ''G'' est d'ordre deux, il existe donc un morphisme ''m'' du groupe de Galois différent de l'identité tel que ''m''² soit égal à ''Id'' l'identité de ''L''. Le [[polynôme minimal d'un nombre algébrique|polynôme minimal]] de ''m'' est donc un diviseur de ''X''²-1. Les valeurs propres de ''m'' sont donc 1 car l'ensemble des rationnels est invariant par ''m'' et -1 car ''m'' est différent de l'identité. Considérons alors une base de ''L'' (1,''r'') telle que ''r'' soit une valeur propre de ''m'' et telle que ''x''<sub>1</sub> = a + ''r''. Alors ''x''<sub>2</sub> s'exprime aussi dans la base, il existe donc deux rationnels ''a' ''et ''b' ''tels que ''x''<sub>2</sub> = a' + b'''r''. Or la somme des racines est rationnelle donc ''b' ''est égal à -1. De plus, le produit des racines est aussi rationnel donc ''a' ''est égal à ''a''. On en déduit : <center><math>x_1+x_2=2a=p \; et\; a=\frac{p}{2}\;</math></center> <center><math>x_1.x_2=a^2-r^2=q \; et\; r^2=\frac{1}{4}(p^2-4q^2)\;</math></center> Le groupe de Galois permet donc une résolution effective de l'équation quadratique. ===Le cas de degré trois=== [[Image:Cubicpoly.png|thumb|Courbe polynomiale cubique]] ====Généralités==== Considérons le cas où le polynôme ''P''[X] est de degré trois à coefficients rationnels et [[élément irréductible|irréductible]]. Quitte à diviser l'équation et à translater la variable, il est possible de considérer que: <center><math>P[X]=X^3+pX-q\;</math></center> Notons ''x''<sub>1</sub>, ''x''<sub>2</sub> et ''x''<sub>3</sub> les trois racines de l'équation. On en déduit: <center><math>P[X]=X^2-pX+q=(X-x_1)(X-x_2)(X-x_3)\;</math></center> <center><math>x_1+x_2+x_3=0\quad ,\quad x_1x_2+x_2x_3+x_3x_1=p \quad et\quad x_1x_2x_3=q\;</math></center> Le corps de décomposition ''L'' contient la racine ''x''<sub>1</sub> dont le polynôme minimal est de degré trois. Et ''L'' est au moins de dimension trois. Le groupe de Galois de ''P''[X] est isomorphe à un sous-groupe de S<sub>3</sub> le [[groupe symétrique]] d'ordre trois et est donc inclus dans un groupe d'ordre six. Le groupe de Galois est au moins d'ordre trois car ''L'' est au moins de dimension trois sur le corps des rationnels. Il est au plus d'ordre six. Le groupe de Galois est donc soit isomorphe à S<sub>3</sub> soit à A<sub>3</sub> le [[groupe alterné]] d'ordre trois isomorphe au groupe cyclique d'ordre trois. A<sub>3</sub> est un groupe résoluble car il est abélien, S<sub>3</sub> contient un sous-groupe distingué A<sub>3</sub> et A<sub>3</sub> ainsi que S<sub>3</sub>/A<sub>3</sub> sont abéliens car ils contiennent respectivement trois et deux éléments. En conséquence S<sub>3</sub> est aussi résoluble. Dans tous les cas, le groupe de Galois est résoluble, donc le théorème d'Abel-Ruffini garantit que le polynôme l'est aussi. ====Détermination du groupe de Galois==== Le groupe de Galois est égal à S<sub>3</sub> si et seulement s'il contient un élément dont la [[Permutations paires et impaires|signature]] (le groupe de Galois est ici identifié au groupe des permutations des racines) est égal à -1. Soit g un élément du groupe ; on a alors l'égalité: <center><math>g(\delta )=\epsilon(g).\delta \quad si \quad \delta =(x_1-x_2)(x_2-x_3)(x_1-x_3)\;</math></center> où ε(g) désigne la signature de g. On en déduit que le groupe de Galois contient un élément de signature impaire si et seulement si <math>\delta</math> a pour image par un élément du groupe <math>-\delta</math>. Dans le cas contraire <math>\delta</math> est invariant par tous les éléments du groupe, ce qui est une condition nécessaire est suffisante pour que <math>\delta</math> soit un rationnel (cf la quatrième propriété du paragraphe sur le [[Extension de Galois#Théorème fondamental de la théorie de Galois|théorème fondamental de la théorie de Galois]]. On remarque de plus que le carré de ce nombre est toujours un rationnel. On vérifie alors que: <center><math>\delta^2=-4p^3-27q^2\;</math></center> On en déduit la condition nécessaire et suffisante: :* '''Le groupe de Galois de ''P''[X] est égal à A<sub>3</sub> si et seulement si ''- 4p<sup>3</sup> - 27q<sup>2</sup>'' est un carré dans l'ensemble des rationnels.''' ====Calcul des racines==== Dans l'extension ''Q[<math>\delta</math>]'', le groupe de Galois ne contient que des éléments d'ordre trois. Pour plus de commodité, considérons alors l'extension ''L''<sub>1</sub> comme égale à ''Q[<math>\delta</math>, j]'' où ''j'' désigne la première racine cubique de l'unité (celle de partie imaginaire strictement positive). Les deux éléments <math>\delta</math> et ''j'' sont des éléments d'ordre deux, ''L''<sub>1</sub> ne peut donc contenir les racines du polynôme. Soit ''m'' le morphisme du groupe de Galois défini par: <center><math>m(x_1)=x_2\quad , \quad m(x_2)=x_3\quad et \quad m(x_3)=x_1</math></center> Le morphisme ''m'' est défini par une permutation de signature paire, et le groupe de Galois contient les trois permutations de signature paire, ''m'' est donc bien un élément du groupe. Le [[polynôme caractéristique]] de ''m'' considéré comme un endomorphisme de l'espace vectoriel ''L'' sur ''L''<sub>1</sub> est égal à ''X''³-1 = 0. Il admet trois racines 1, ''j'' et ''j''² qui sont donc trois valeurs propres. Il existe donc une base de vecteurs propres et ''x''<sub>1</sub> = ''u'' + ''v'' + ''w'' où ''u'' (respectivement ''v''), (respectivement ''w'') est soit un vecteur propre de valeur propre ''j'' (respectivement ''j''²) (respectivement 1) soit le vecteur nul. Il ne reste alors plus qu'à calculer ''u'', ''v'' et ''w'' en fonction des coefficients du polynôme. <center><math>x_1+x_2+x_3=0=3w \quad et \quad w = 0\;</math></center> <center><math>x_1x_2x_3=q=(u+v)(ju+j^2v)(j^2u+jv)=u^3+v^3\;</math></center> <center><math>-x_1x_2-x_2x_3-x_3x_1=p=-(u+v)(ju+j^2v)-(ju+j^2v)(j^2u+jv)-(j^2u+jv)(u+v)=-3uv\;</math></center> Le système d'équations suivant permet alors de conclure: <center><math>\left\{\begin{matrix} u^3+v^3=q \\ 27u^3v^3=-p^3 \end{matrix}\right. </math></center> ===Un exemple de degré seize=== {{Article détaillé|polynôme cyclotomique}} [[Image:Heptadecagone.jpg|thumb|right|200px|Figure à la règle et au compas: Heptadécagone, un polygone régulier de 17 cotés]] Certains polynômes, malgré leurs degrés élevés, sont résolubles par radicaux. [[Carl Friedrich Gauss]] <small>([[1777]] [[1855]])</small> a étudié les polynômes cyclotomiques en [[1801]]<ref>[[Carl Friedrich Gauss]] ''Disquisitiones arithmeticae'' 1801</ref> pour, entre autres choses, [[Construction à la règle et au compas|construire à la règle et au compas]] l'heptadécagone, c’est-à -dire le polygone régulier à 17 cotés. Il a considéré le polynôme suivant: <center><math>P[X]=\sum_{i=0}^{16} X^i</math></center> C'est le polynôme cyclotomique correspondant au troisième [[nombre premier de Fermat]]. Montrons que son groupe de Galois est isomorphe au [[groupe cyclique]] d'ordre seize. <center><math>1-X^n=(1-X)(\sum_{i=0}^{16} X^i)</math></center> L'égalité précédente montre que les seize racines d'ordre dix-sept différentes de l'unité sont des racines du polynôme. Soit ''z'' la première racine primitive: exp(i.2.<math>pi</math>/17) et ''m'' un morphisme de l'extension du corps des [[nombre rationnel|nombres rationnels]] contenant les seize racines différentes de un. Alors ''m(z)'' est aussi une racine, il existe donc un entier p tel que ''m(z)= z<sup>p</sup>''. On en déduit que si ''n'' est un entier alors : ''m(z<sup>n</sup>)= z<sup>n.p</sup>''. Réciproquement si p est un entier compris entre un et seize alors l'application qui à ''z<sup>n</sup>'' associe ''z<sup>n.p</sup>'' définit bien un élément du groupe de Galois. Le groupe de Galois est donc un groupe à seize éléments isomorphe au groupe cyclique d'ordre seize. La fin des calculs se trouve dans le paragraphe [[Polynôme cyclotomique#Cas de l'heptadécagone|Cas de l'heptadécagone]]. ===Un contre-exemple de degré cinq=== ==Démonstration== ===Si le groupe est résoluble, alors le polynôme l'est.=== On suppose dans ce paragraphe que ''L'' est une extension séparable, et donc ''L'' est une extension de Galois (cf l'article [[corps de décomposition]]). Un corps de décomposition est un [[espace vectoriel]] de dimension finie sur le corps de base, soit ''n'' cette dimension. Comme le montre la [[méthode de Cardan]], l'adjonction des ''n'' racines de l'unité, même si elle n'est pas toujours nécessaire, est bien utile. On suppose donc que ''K'' contient les ''n'' racines de l'unité, c’est-à -dire les ''n'' racines du polynôme X<sup>n</sup> - 1. La démonstration du caractère résoluble du polynôme est souvent réalisée en deux temps: :* Si ''G'' est abélien alors il existe une base de ''L'' considérée comme un [[espace vectoriel]] de ''K'' de radicaux de ''K''. ''Remarque 1'': souvent le corps initial est celui des nombres rationnels, et ''K'' est l'[[polynôme cyclotomique|extension cyclotomique]] d'ordre ''n''. ''Remarque 2'': s'il existe une base de radicaux, alors tout élément de ''L'' et en particulier les racines du polynôme s'exprime comme combinaison linéaire de radicaux, l'équation polynomiale est donc résoluble par radicaux. :* Si ''G'' est un [[groupe résoluble]] Alors tout élément de ''L'' possède une expression par radicaux sur ''K''. {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :* '''Si ''G'' est abélien alors il existe une base de ''L'' considérée comme un espace vectoriel sur ''K'' de radicaux de ''K''.''' L'extension ''L'' est un corps de décomposition séparable. L'article sur les [[corps de décomposition]] démontre que ''L'' est une [[extension de Galois]] [[extension finie|finie]]. En conséquence ''G'' contient exactement ''n'' éléments, et un élément laissé invariant par chaque élément de ''G'' appartient nécessairement à ''K'' (cf deuxième proposition du paragraphe sur les [[Extension de Galois#Propriétés élémentaires|propriétés élémentaires]]. Le groupe de Galois est aussi une [[représentation des groupes|représentation de groupe]] dans l'espace vectoriel ''L'', chaque élément du groupe ''m'' étant maintenant considéré comme un automorphisme d'espace vectoriel. Dans le cas de la représentation d'un groupe fini abélien dans un espace vectoriel de dimension finie, alors il existe une base qui diagonalise chaque automorphisme du groupe (cf [[Diagonalisation#Représentation de groupe fini commutatif|Diagonalisation de la représentation d'un groupe fini commutatif]]. Chaque valeur propre est racine de l'équation ''X'' <sup>n</sup> - 1 = 0, d'après le [[Théorème de Lagrange (algèbre)|théorème de Lagrange]]. Une valeur propre est donc une racine n-ième de l'unité. Soit (''r''<sub>1</sub>, ..., ''r''<sub>n</sub>) une base qui diagonalise tous les éléments de ''G'', et (''λ''<sub>1</sub>, ..., ''λ''<sub>n</sub>) les valeurs propres associées à ''m'' un élément quelconque de ''G'' alors: <center><math>\forall i \in [1,n] \quad m(r_i^n)=m(r_i)^n=\lambda_i^n.r_i^n=r_i^n \,</math></center> Or ''L'' est une extension de Galois, en conséquence, ''r''<sub>i</sub><sup>n</sup>, laissé invariant par chacun des automorphismes du groupe, est un élément de ''K''. Ce qui démontre que la base choisie est une base de radicaux. La proposition est donc démontrée. :* '''Si ''G'' est un groupe résoluble, alors tout élément de ''L'' possède une expression par radicaux sur ''K''.''' Dire que ''G'' est résoluble signifie qu'il existe une suite finie <math>G_0, G_1, \ldots, G_k</math> de <math>k+1</math> [[sous-groupe]]s de <math>G</math> telle que : <center><math>I=G_0\subset G_1\subset \ldots\subset G_{k-1}\subset G_k = G</math></center> Où, si ''i'' est compris entre 0 et ''k'' - 1 <math>G_i</math> est un [[sous-groupe distingué]] de <math>G_{i+1}</math> et le [[groupe quotient]] <math>G_{i+1}/G_i</math> est abélien. Ici, I désigne le groupe réduit à l'élément neutre. Démontrons alors la proposition par récurrence sur ''k''. : Si ''k'' est égal à 1, alors le groupe de Galois de ''L'' est abélien. En conséquence il existe une base ''L'' formée par des radicaux de ''K''. Toute racine s'exprime dans cette base, ce qui démontre la proposition. :Supposons la propriété vraie à l'ordre ''p'' et supposons que ''k'' est égal à ''p'' + 1. Considérons alors le corps ''L''<sub>k-1</sub> choisi comme étant égal aux élements de ''L'' laissé invariant par tous les automorphismes de ''G''<sub>1</sub>. Alors le [[théorème fondamental de la théorie de Galois]] assure que ''L''<sub>k-1</sub> est une extension de Galois dont le groupe de Galois est isomorphe à <math>G/G_1</math>. Cette extension vérifie donc l'hypothèse de récurrence et tous ses éléments s'expriment par radicaux sur ''K''. Le théorème fondamental assure aussi que ''L'' est une extension de Galois sur ''L''<sub>k-1</sub> ayant comme groupe de Galois le groupe abélien ''G''<sub>1</sub>. Donc tout élément de ''L'' s'exprime par radicaux sur ''L''<sub>k-1</sub> et donc sur ''K''. Et la proposition est démontrée. }} ===Si un polynôme est résoluble, alors son groupe de Galois l'est.=== La démonstration de la réciproque se réalise en trois temps. Dans un premier temps, l'objectif est de décrire l'extension ''L'' sous une forme plus maniable que le fait que les racines du polynôme aient une expression par radicaux. Comme précédemment, on suppose que ''K'' contient le groupe des racines n-ièmes de l'unité où ''n'' est le [[Plus petit commun multiple|ppcm]] de tous les ordres des racines. :* Si toutes les racines de P[X] s'expriment par radicaux, alors il existe une suite d'extensions: <center><math>K=F_0\subset F_1\subset \ldots\subset F_{k-1}\subset F_k = F \mbox { avec } \forall i \in [1,k] \; \exists \alpha_i \in F_i \mbox { tel que } \alpha_i^{p_i} \in F_{i-1} \mbox { et } F_i=F_{i-1}(\alpha_i)</math></center> :où ''p''<sub>i</sub> est une suite de nombres premiers et ''F'' une extension contenant ''L''. La suite de la démonstration consiste à analyser une des extensions de la suite: :* Si ''F''<sub>i</sub> est un corps contenant une racine primitive p-ième de l'unité où ''p'' est un nombre premier, si <math>\alpha</math> est un élément de Ω tel que α<sup>p</sup> est élément de ''F''<sub>i</sub>, alors ''F''<sub>i</sub>(α) de ''F'' est une extension de Galois abélienne. Les deux propositions précédentes permettent alors de conclure: :* Si P[X] est résoluble, alors son groupe de Galois l'est. {{boîte déroulante|align=left|titre=Démonstrations|contenu= : :* '''Existence de la suite d'extensions (''L''<sub>i</sub>).''' On remarque, dans une premier temps que tout radical s'écrit comme composé de radicaux dont l'ordre est un nombre premier, car: <center><math>\forall p,q \in \mathbb{N}^* \quad \sqrt[pq]{x}=\sqrt[p]{\sqrt[q]{x}} \; </math></center> Soit ''R'' l'ensemble des radicaux d'ordre un nombre premier utilisés dans les définitions des différentes racines de ''P''[X]. ''R'' est un ensemble fini, notons ''k'' son cardinal. Notons ''F'' l'extension du corps ''K'' engendrée par ''R''. Montrons alors par récurrence sur ''k'' l'existence de la suite d'extensions. : cas où ''k'' est égal à 1. ''R'' ne contient qu'un seul élément α<sub>1</sub> et la suite définie par ''F''<sub>0</sub> = ''K'' et ''F''<sub>1</sub> = ''K''(α<sub>1</sub>) = ''F'' vérifie la proposition. : Supposons la propriété démontrée à l'ordre ''m'' et supposons que ''k'' soit égal à ''m'' + 1. Comme ''R'' est l'ensemble des radicaux d'ordre un nombre premier utilisé dans l'expression des racines, il contient au moins un élément α<sub>1</sub> qui est un radical de ''K''. Soit ''F''<sub>1</sub> = ''K''(α<sub>1</sub>), ''F'' est une extension de ''F''<sub>1</sub> engendrée par ''m'' éléments. Il existe par hypothèse de récurrence une suite: <center><math>F_1\subset F_2\subset \ldots\subset F_{k-1}\subset F_k = F \mbox { avec } \forall i \in [2,k] \; \exists \alpha_i \in F_i \mbox { tel que } \alpha_i^{p_i} \in F_{i-1} \mbox { et } F_i=F_{i-1}(\alpha_i)</math></center> L'adjonction de ''K'' à cette suite démontre la proposition. :* '''Si ''F''<sub>i</sub> est un corps contenant une racine primitive p-ième de l'unité où ''p'' est un nombre premier, si <math>\alpha</math> est un élément de Ω tel que α<sup>p</sup> est élément de ''F''<sub>i</sub>, alors ''F''<sub>i</sub>(α) est une extension abélienne.''' : Montrons que ''F''(α) est une [[extension séparable]]. Notons ''r'' une racine primitive p-ième de l'unité. Si α est un élément de ''F'' alors la proposition est évidente. Dans le cas contraire, X<sup>p</sup> - α<sup>p</sup> est un polynôme annulateur de α. Ce polynôme est séparable car ses racines sont de la forme ''r''<sup>k</sup>. α ou ''k'' est un entier compris entre 1 et p, et elles sont toutes distinctes. Le polynôme minimal de α est un diviseur du polynôme précédent, il est donc séparable. En conclusion le [[théorème de l'élément primitif]] montre que l'extension ''F''(α) est séparable. : Montrons que ''F''(α) est une [[extension normale]]. ''F''(α) est engendré par la famille 1,α, ..., α<sup>p-1</sup> elle est donc de dimension inférieure ou égale à ''p''. Tout morphisme ''m'' de ''F''(α) dans la [[clôture algébrique]] de ''K'' est défini exactement par sa valeur en α. Cette valeur est une racine du polynôme X<sup>p</sup> - α<sup>p</sup> et il existe donc ''k'' tel que ''m''(α) = ''r''<sup>k</sup> α. Réciproquement toute valeur entière ''k'' comprise entre 0 et ''p'' - 1 définit un morphisme. Tous ses ''p'' morphismes distincts laissent ''F''(α) stable. Ce qui montre que ''F''(α) est une extension normale. : Montrons que ''F''(α) est une [[extension abélienne]]. L'extension est normale et séparable, elle est donc [[extension de Galois|galoisienne]]. Il suffit de remarquer que le groupe de Galois a pour ordre un nombre premier pour conclure que ce groupe est [[groupe cyclique|cyclique]], donc abélien. :* '''Si ''P''[X] est résoluble, alors son groupe de Galois l'est.''' Montrons par récurrence sur ''k'' que ''F''<sub>i</sub> est une extension galoisienne de ''K''. : Si k est égal à 1, alors ''F'' est égal à ''K''(α) et la proposition précédente démontre que ''F'' est une extension galoisienne de groupe un groupe abélien donc résoluble. : Supposons la propriété vraie pour ''m'' et supposons de ''k'' = ''m'' + 1. Alors ''F''<sub>k-1</sub> est une extension galoisienne de ''K'', ''F'' est une extension galoisienne de ''F''<sub>k-1</sub> d'après le résultat précédent. On en déduit que ''F'' est une extension galoisienne de ''K''. Soit ''G''<sub>i</sub> où i est un entier compris entre 0 et ''k'' le sous-groupe du groupe ''G'' de Galois de ''F'' laissant invariant ''F''<sub>i</sub>. Comme ''F''<sub>i</sub> est une extension galoisienne de ''K'', ''G''<sub>i</sub> est un [[sous-groupe distingué]] de ''G'' et donc de ''G''<sub>i+1</sub> si i est plus petit que ''k''. La démonstration précédente montre que le groupe de Galois de l'extension ''F''<sub>i+1</sub> de ''F''<sub>i</sub> est abélien, le quotient de ''G''<sub>i+1</sub> par ''G''<sub>i</sub> isomorphe à ce groupe est donc aussi abélien. G est donc résoluble. L'extension ''L'' de ''K'' est incluse dans ''F'' et est de Galois car c'est un corps de décomposition inclus dans une extension séparable. Le groupe ''H'' laissant invariant ''L'' est donc un sous-groupe distingué de ''F''. ''G'' est résoluble, ''H'' est un sous-groupe distingué de ''G'', donc ''G''/''H'' est résoluble (cf [[groupe résoluble]]). Or ''G''/''H'' est le groupe de Galois de ''L'' (cf [[théorème fondamental de la théorie de Galois]]). La proposition est ainsi démontrée. }} ==Voir aussi== ===Notes=== <references /> ===Liens externes=== * {{fr}} [http://perso.orange.fr/serge.hublau/014_Galois_demonstration.pdf#search=%22radical%20galois%22 Démonstration du Théorème d'Abel-Ruffini] par Serge Hubleau * {{en}} [http://www-groups.dcs.st-and.ac.uk/~history/Chronology/index.html Références historiques de l'université de St Andrews] * {{fr}} [http://www.institut.math.jussieu.fr/dea/aa/dea01-02/Galois.pdf Un cours de DEA sur la théorie de Galois] par Alain Kraus Université de Paris VI 1998 * {{fr}} [http://www.les-mathematiques.net/b/b/g/node2.php3 Groupe de Galois] dans les-mathématiques.net * {{fr}} [http://clg-evariste-galois.scola.ac-paris.fr/mathemat.html Une approche naïve du groupe de Galois] ===Références=== :R. et [[Adrien Douady|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 {{Théorie de Galois}} {{portail mathématiques}} [[Catégorie:Équation polynomiale]] [[Catégorie:Théorie de Galois]] [[Catégorie:Théorème d'algèbre|Abel]] [[de:Satz von Abel-Ruffini]] [[en:Abel–Ruffini theorem]] [[es:Teorema de Abel-Ruffini]] [[fi:Abelin-Ruffinin lause]] [[it:Teorema di Abel-Ruffini]] [[nl:Stelling van Abel-Ruffini]] [[pl:Twierdzenie Abela-Ruffiniego]] [[pt:Teorema de Abel-Ruffini]] [[ru:Теорема ÐÐ±ÐµÐ»Ñ â€” Руффини]] [[tr:Abel Teoremi]] [[zh:阿è´å°”-é²è²å°¼å®šç†]]</text> </revision> </page>