Algèbre Tome 1

  • Published on
    14-Nov-2015

  • View
    66

  • Download
    20

Embed Size (px)

DESCRIPTION

livre d'algebre des exercice avec le corrigcar par ce que il pas .... dks

Transcript

<ul><li><p>ALGBRETome 1</p><p>GROUPES, CORPSET THORIE DE GALOIS</p><p>Daniel Guin Thomas Hausberger</p><p>Collection dirige par Daniel Guin</p><p>17, avenue du HoggarParc dactivits de Courtabuf, BP 112</p><p>91944 Les Ulis Cedex A, France</p></li><li><p> propos de la couverture :</p><p>Le groupe de Galois de lquation x4 2 = 0 est le groupe de Galois G = Gal(K/Q) ducorps K = Q(i, 4</p><p>2) engendr sur Q par les racines complexes 42,i 42 du polynme x4 2.</p><p>Il existe un lment de G dni par (i) = i et ( 4</p><p>2) = i 4</p><p>2 et un lment dni par (i) = i et ( 42) = 42. Ces deux lments engendrant G, on voit que le groupe de Galois estisomorphe au groupe didral D4 des isomtries du carr.</p><p>Les sous-corps de K correspondent aux sous-groupes de G par la correspondance de Galois :par exemple, H = correspond le sous-corps Q(i) des invariants de K sous laction de H . Onpeut reprsenter les inclusions entre les groupes et les extensions de corps par les diagrammesci-dessous, o chaque che reprsente une inclusion.</p><p>K = Q(i, 4</p><p>2)</p><p>Q(i 4</p><p>2)</p><p>Q( 4</p><p>2)</p><p>Q(i,</p><p>2)</p><p>Q((1 + i) 4</p><p>2)</p><p>Q((1 i) 42)</p><p>Q(</p><p>2)</p><p> Q(i)</p><p>Q(i</p><p>2)</p><p>Q</p><p>D4 = , </p><p>2, </p><p> Z/4Z</p><p>2, </p><p>2 </p><p>2</p><p>3 </p><p>{e}</p><p>Cette correspondance renverse le sens des inclusions, donc celui des ches. On peut sereprsenter les deux diagrammes comme deux arbres qui seraient reet lun de lautre, danslesprit de la gravure les 3 mondes dEscher. Lquation x4 2 = 0 est le trait dunion entrele monde des groupes et celui des corps. Peut-tre le troisime monde est-il celui de lesprit dumathmaticien dont linspiration et la raison ont fait natre les concepts, en se heurtant auxcontingences de lunivers mathmatique ?</p><p>Le groupe de Galois est le groupe des relations rationnelles entre les racines, par rapportau corps de base Q. Il est trivial lorsque toutes les racines sont direncies sur la base. Faireune extension, par exemple adjoindre le nombre imaginaire i, permet de regrouper les racines encatgories, selon quelles sont invariantes sous ou pas. Cest lide qui a guid Galois lors dellaboration de son trait sur la rsolution des quations : briser progressivement les symtriesentre les racines. Ces travaux ont permis de faire merger les structures contemporaines degroupe et de corps.</p></li><li><p>Algbre T1</p><p>En gnral, les formules donnant les racines ne sont pas connues. La connaissance du groupede Galois nous renseigne sur leur expression. Lorsque le groupe est rsoluble, cest--dire lorsquilexiste une suite G G1 . . . Gn = {e} forme de sous-groupes normaux embots tels queles quotients successifs soient abliens, alors les solutions sont exprimables par radicaux. Cestle cas sur notre exemple : D4 Z/4Z {e}.</p><p>Le dessin de la couverture a t ralis par Jos Leys(1), ingnieur passionn dimagerie ma-thmatique, reconnu internationalement dans le monde de ldition scientique pour la qualit deses illustrations, en relation directe avec le substrat mathmatique. Les auteurs le remercientchaleureusement.</p><p>(1)http://www.josleys.com</p><p>iii</p></li><li><p>Imprim en France</p><p>ISBN : 978-2-86883-974-9</p><p>Tous droits de traduction, dadaptation et de reproduction par tous procds rservs pour touspays. Toute reproduction ou reprsentation intgrale ou partielle, par quelque procd que ce soit, despages publies dans le prsent ouvrage, faite sans lautorisation de lditeur est illicite et constitue unecontrefaon. Seules sont autorises, dune part, les reproductions strictement rserves lusage privdu copiste et non destines une utilisation collective, et dautre part, les courtes citations justiespar le caractre scientique ou dinformation de luvre dans laquelle elles sont incorpores (art. L.122-4, L. 122-5 et L. 335-2 du Code de la proprit intellectuelle). Des photocopies payantes peuventtre ralises avec laccord de lditeur. Sadresser au : Centre franais dexploitation du droit de copie,3, rue Hautefeuille, 75006 Paris. Tl. : 01 43 26 95 35.</p><p>c 2008, EDP Sciences, 17, avenue du Hoggar, BP 112, Parc dactivits de Courtabuf,91944 Les Ulis Cedex A</p></li><li><p>TABLE DES MATIRES</p><p>Avant-propos xiii</p><p>Avertissement xvii</p><p>Premire partie GROUPES 1</p><p>I Gnralits sur les groupes 3I.1 Dnitions exemples . . . . . . . . . . . . . . . . . . . 3I.2 Sous-groupes morphismes . . . . . . . . . . . . . . . . 8</p><p>A - Sous-groupes . . . . . . . . . . . . . . . . . . . . . . 8B - Sous-groupes engendrs . . . . . . . . . . . . . . . . 11C - Ordre dun groupe, dun lment . . . . . . . . . . . 13D - Morphismes . . . . . . . . . . . . . . . . . . . . . . . 13</p><p>I.3 Produit direct de groupes . . . . . . . . . . . . . . . . . . 19</p><p>Thmes de rexion 25TR.I.A. tude du groupe symtrique Sn . . . . . . . . . . . . . . 25TR.I.B. Groupes cycliques . . . . . . . . . . . . . . . . . . . . . . 27TR.I.C. Dtermination des groupes dordre n, pour 1 n 9 . . 30</p><p>Travaux pratiques 33TPI. tude de quelques groupes de permutations . . . . . . . . 33</p><p>II Groupes quotients 37II.1 Classes modulo un sous-groupe . . . . . . . . . . . . . . . 37II.2 Compatibilit avec la structure . . . . . . . . . . . . . . . 41II.3 Groupes quotients . . . . . . . . . . . . . . . . . . . . . . 42</p></li><li><p>Algbre T1</p><p>II.4 Caractrisation des sous-groupes normaux . . . . . . . . . 45II.5 Sous-groupes normaux et morphismes . . . . . . . . . . . 47II.6 Sous-groupes dun groupe quotient . . . . . . . . . . . . . 48</p><p>Thmes de rexion 53TR.II.A. Sous-groupes drivs et ablianisation . . . . . . . . . . . 53TR.II.B. tude des sous-groupes normaux de Sn . . . . . . . . . . 54TR.II.C. tude des automorphismes de Sn . . . . . . . . . . . . . . 57</p><p>Travaux pratiques 59TP.II. Classes, structure quotient et systmes gnrateurs forts 59</p><p>III Prsentation dun groupe par gnrateurs et relations 65III.1 Groupes libres . . . . . . . . . . . . . . . . . . . . . . . . 65III.2 Gnrateurs et relations . . . . . . . . . . . . . . . . . . . 72</p><p>Thmes de rexion 75TR.III.A. Prsentation du groupe quaternionique H . . . . . . . . . 75TR.III.B. Groupes de prsentation nie . . . . . . . . . . . . . . . . 75TR.III.C. Quelques proprits des groupes libres . . . . . . . . . . . 76TR.III.D. Produit libre de groupes . . . . . . . . . . . . . . . . . . . 77</p><p>IV Groupes oprant sur un ensemble 81IV.1 Dnitions Exemples . . . . . . . . . . . . . . . . . . . 81IV.2 Stabilisateurs Orbites . . . . . . . . . . . . . . . . . . . 84IV.3 Produit semi-direct . . . . . . . . . . . . . . . . . . . . . 87</p><p>A - Groupes oprant sur un groupe . . . . . . . . . . . . 87B - Produit semi-direct de sous-groupes . . . . . . . . . 87C - Produit semi-direct de groupes . . . . . . . . . . . . 88</p><p>IV.4 Oprations transitives, dles . . . . . . . . . . . . . . . . 90IV.5 Points xes . . . . . . . . . . . . . . . . . . . . . . . . . . 91</p><p>Thmes de rexion 93TR.IV.A. Groupes didraux Dn . . . . . . . . . . . . . . . . . . . . 93TR.IV.B. Groupe des isomtries du cube . . . . . . . . . . . . . . . 94TR.IV.C. Produits et extensions de groupes . . . . . . . . . . . . . 94TR.IV.D. Groupes libres de rang 2 . . . . . . . . . . . . . . . . . . 96</p><p>Travaux pratiques 99TP.IV.A. Gnrateurs et relations, autour de lalgorithme</p><p>de Todd-Coxeter . . . . . . . . . . . . . . . . . . . . . . . 99</p><p>vi</p></li><li><p>Table des matires</p><p>TP.IV.B Actions k-transitives, formule de Burnsideet numrations de Polya . . . . . . . . . . . . . . . . . . 108</p><p>V Les thormes de Sylow 117V.1 Le premier thorme de Sylow . . . . . . . . . . . . . . . 117V.2 Le second thorme de Sylow . . . . . . . . . . . . . . . . 119V.3 Applications . . . . . . . . . . . . . . . . . . . . . . . . . 122</p><p>Thmes de rexion 125TR.V.A. Int(S6) = Aut(S6) . . . . . . . . . . . . . . . . . . . . . . 125TR.V.B. Dtermination des groupes dordre n, n 15 . . . . . . . 126TR.V.C. Dtermination des groupes dordre pq . . . . . . . . . . . 127</p><p>VI Groupes abliens 129VI.1 Somme directe de groupes abliens . . . . . . . . . . . . . 129</p><p>A - Somme directe de sous-groupes dun groupe ablien . 129B - Somme directe de groupes abliens . . . . . . . . . . 131C - Facteur direct dun groupe ablien . . . . . . . . . . 132</p><p>VI.2 Groupes abliens libres . . . . . . . . . . . . . . . . . . . 133A - Dnition - Proprit universelle . . . . . . . . . . . 133B - Rang dun groupe ablien libre . . . . . . . . . . . . 137C - Sous-groupes dun groupe ablien libre . . . . . . . . 140</p><p>VI.3 Groupes abliens de torsion . . . . . . . . . . . . . . . . . 142VI.4 Structure des groupes abliens de type ni . . . . . . . . 145</p><p>Thmes de rexion 155TR.VI.A. Rang dun groupe libre . . . . . . . . . . . . . . . . . . . 155TR.VI.B. Groupes divisibles . . . . . . . . . . . . . . . . . . . . . . 156TR.VI.C. Calcul des facteurs invariants . . . . . . . . . . . . . . . . 158</p><p>Travaux pratiques 161TP.VI.A. Algorithmes de Gauss-Jordan, de Hermite et de Smith . . 161TP.VI.B. Courbes elliptiques et groupe de Mordell . . . . . . . . . 166</p><p>VII Groupes rsolubles 177VII.1 Suites de composition . . . . . . . . . . . . . . . . . . . . 177VII.2 Suites de Jordan-Hlder . . . . . . . . . . . . . . . . . . . 179VII.3 Groupes rsolubles . . . . . . . . . . . . . . . . . . . . . . 181VII.4 Applications . . . . . . . . . . . . . . . . . . . . . . . . . 183</p><p>vii</p></li><li><p>Algbre T1</p><p>Deuxime partie THORIE DES CORPS 185</p><p>VIII Anneaux de polynmes 187VIII.1 Dnitions - Exemples . . . . . . . . . . . . . . . . . . . . 187VIII.2 Idaux Morphismes . . . . . . . . . . . . . . . . . . . . 190VIII.3 Idaux maximaux, idaux premiers . . . . . . . . . . . . . 194VIII.4 Produit danneaux - Thorme chinois . . . . . . . . . . . 196VIII.5 Corps des fractions dun anneau intgre . . . . . . . . . . 198VIII.6 Anneaux de polynmes . . . . . . . . . . . . . . . . . . . 199VIII.7 Anneaux principaux . . . . . . . . . . . . . . . . . . . . . 205VIII.8 Divisibilit . . . . . . . . . . . . . . . . . . . . . . . . . . 210VIII.9 Irrductibilit des polynmes . . . . . . . . . . . . . . . . 212VIII.10 Racines Ordre de multiplicit . . . . . . . . . . . . . . . 217VIII.11 Polynmes symtriques . . . . . . . . . . . . . . . . . . . 220</p><p>Thmes de rexion 225TR.VIII.A. Critre dirrdutibilit par extension . . . . . . . . . . . . 225TR.VIII.B. Critre dirrductibilit par rduction . . . . . . . . . . . 226TR.VIII.C. Rsultant - Discriminant . . . . . . . . . . . . . . . . . . 227TR.VIII.D. Algbres - Algbres de polynmes . . . . . . . . . . . . . 228</p><p>Travaux pratiques 231TP.VIII. Entiers de Gauss et sommes de deux carrs . . . . . . . . 231</p><p>IX Gnralits sur les extensions de corps 237IX.1 Corps premiers Caractristique dun corps . . . . . . . 237IX.2 Extensions . . . . . . . . . . . . . . . . . . . . . . . . . . 239</p><p>Thmes de rexion 243TR.IX.A. Corps nis . . . . . . . . . . . . . . . . . . . . . . . . . . 243TR.IX.B. Corps des quaternions et thorme des quatre carrs . . . 244</p><p>Travaux pratiques 249TP.IX.A. Factorisation des polynmes . . . . . . . . . . . . . . . . 249TP.IX.B. Les quaternions de Hamilton . . . . . . . . . . . . . . . . 259</p><p>X K-morphismes et groupe de Galois dune extension 263X.1 K-morphismes . . . . . . . . . . . . . . . . . . . . . . . . 263X.2 Groupe de Galois . . . . . . . . . . . . . . . . . . . . . . 264</p><p>viii</p></li><li><p>Table des matires</p><p>X.3 Degr dune extension et ordre du groupe de Galois . . . 266X.4 Corps intermdiaires et sous-groupes du groupe de Galois 268</p><p>XI Extensions algbriques extensions transcendantes 271XI.1 Extensions algbriques . . . . . . . . . . . . . . . . . . . . 271XI.2 Extensions transcendantes . . . . . . . . . . . . . . . . . 276XI.3 Appendice . . . . . . . . . . . . . . . . . . . . . . . . . . 281</p><p>Thmes de rexion 285TR.XI.A. Constructions la rgle et au compas . . . . . . . . . . . 285TR.XI.B. Thorme de Lroth . . . . . . . . . . . . . . . . . . . . . 287</p><p>Travaux pratiques 289TP.XI. Nombres algbriques et polynme minimal . . . . . . . . 289</p><p>XII Dcomposition des polynmes Cltures algbriques 299XII.1 Corps de rupture et corps de dcomposition</p><p>dun polynme . . . . . . . . . . . . . . . . . . . . . . . . 299XII.2 Cltures algbriques . . . . . . . . . . . . . . . . . . . . . 304</p><p>Thmes de rexion 311TR.XII. Plongements dans une clture algbrique . . . . . . . . . 311</p><p>Travaux pratiques 315TP.XII. Calculs dans les corps de nombres . . . . . . . . . . . . . 315</p><p>XIII Extensions normales, sparables 321XIII.1 Extensions et lments conjugus . . . . . . . . . . . . . . 321XIII.2 Extensions normales . . . . . . . . . . . . . . . . . . . . . 322XIII.3 Extensions sparables . . . . . . . . . . . . . . . . . . . . 326XIII.4 lments primitifs . . . . . . . . . . . . . . . . . . . . . . 331XIII.5 Norme et trace . . . . . . . . . . . . . . . . . . . . . . . . 333</p><p>Thmes de rexion 337TR.XIII.A. Corps parfaits . . . . . . . . . . . . . . . . . . . . . . . . 337TR.XIII.B. Extensions insparables et radicielles . . . . . . . . . . . . 337TR.XIII.C. Drivations et extensions sparables . . . . . . . . . . . . 339</p><p>ix</p></li><li><p>Algbre T1</p><p>Troisime partie THORIE DE GALOISET APPLICATIONS 343</p><p>XIV Extensions galoisiennes Thorie de Galois des extensionsnies 345XIV.1 Extensions galoisiennes . . . . . . . . . . . . . . . . . . . 345XIV.2 Clture galoisienne dune extension sparable . . . . . . . 348XIV.3 Thormes fondamentaux de la thorie de Galois . . . . . 348XIV.4 tude dun exemple . . . . . . . . . . . . . . . . . . . . . 350</p><p>Thmes de rexion 355TR.XIV. Thorie de Galois des extensions innies . . . . . . . . . . 355</p><p>Travaux pratiques 359TP.XIV. Autour de la correspondance de Galois . . . . . . . . . . 359</p><p>XV Racines de lunit Corps nis Extensions cycliques 367XV.1 Racines de lunit . . . . . . . . . . . . . . . . . . . . . . 367XV.2 Corps des racines n-ime de lunit . . . . . . . . . . . . . 369XV.3 Polynmes cyclotomiques . . . . . . . . . . . . . . . . . . 371XV.4 Corps nis . . . . . . . . . . . . . . . . . . . . . . . . . . 373XV.5 Extensions cycliques . . . . . . . . . . . . . . . . . . . . . 376</p><p>Thmes de rexion 381TR.XV.A. Symboles de Legendre. Loi de rciprocit quadratique . . 381TR.XV.B. Interprtation cohomologique du thorme Hilbert 90 383TR.XV.C. Irrductibilit du polynme Xn a . . . . . . . . . . . . 384</p><p>Travaux pratiques 387TP.XV. Racines de lunit dans un corps ni et codes BCH . . . . 387</p><p>XVI Rsolubilit par radicaux des quations polynomiales 399XVI.1 Extensions radicales . . . . . . . . . . . . . . . . . . . . . 399XVI.2 Rsolubilit des polynmes . . . . . . . . . . . . . . . . . 402XVI.3 Caractrisation des polynmes rsolubles . . . . . . . . . 406</p><p>Thmes de rexion 409TR.XVI. Rsolution des quations polynomiales de degrs 3 et 4 409</p><p>Travaux pratiques 413TP.XVI. Thorie de Galois constructive . . . . . . . . . . . . . . . 413</p><p>x</p></li><li><p>Table des matires</p><p>XVII Polygones rguliers constructibles et nombres de Fermat 431XVII.1 Points constructibles . . . . . . . . . . . . . . . . . . . . . 431XVII.2 Constructibilit des polygones rguliers . . . . . . . . . . 434</p><p>Appendice 4391 Ensembles ordonns . . . . . . . . . . . . . . . . . . . . . 4392 Cardinaux Ensembles innis . . . . . . . . . . . . . . . 442</p><p>Bibliographie 449</p><p>Index terminologique 451</p><p>xi</p></li><li><p>AVANT-PROPOS</p><p>La trs longue histoire de ltude des nombres, puis des quations, a permisde remarquer des analogies entre certaines proprits vries par des objets ma-thmatiques de natures direntes, par exemple, les nombres et les polynmes.Cela a conduit les mathmaticiens, en particulier au XIXe sicle, tenter de d-gager un...</p></li></ul>