Vous êtes sur la page 1sur 54

Groupes, anneaux, corps Groupes, anneaux, corps

Pascal Lain

Exercice 1. 1. On munit

de la loi de composition interne dfinie par : ( )( ) Montrer que est commutative, non associative, et que est lment neutre. 2. On munit de la loi de composition interne dfinie par : Montrer que est commutative, associative, et que est lment neutre. Montrer que aucun lment de na de symtrique pour . 3. On munit de la loi de composition interne dfinie par : ). En dduire que ( ) est Montrer que lapplication est un isomorphisme de ( ) vers ( un groupe commutatif. Allez : Correction exercice 1 Exercice 2. ) ( Soit et la loi dans dfinie par ( 1. Montrer que ( ) est un groupe non commutatif 2. Montrer que ( ) est un sous-groupe de ( ). Allez : Correction exercice 2 Exercice 3. On munit ) ( )

de deux lois dfinies par : ( ) ( ) ( ) ( 1. Montrer que ( ) est un groupe commutatif. 2. a) Montrer que la loi est commutative. b) Montrer que est associative c) Dterminer llment neutre de pour la loi . d) Montrer que ( ) est un anneau commutatif. Allez : Correction exercice 3 Exercice 4. On pose ( ( ( ( Calculer, , , Allez : Correction exercice 4 , . ) ) ) ) ( ( ( (

) (

) ) ) )

Exercice 5. Montrer que lintersection de deux sous-groupes Allez : Correction exercice 5 Exercice 6. 1

et

de

est un sous-groupe de .

Groupes, anneaux, corps Montrer que les ensembles Allez : Correction exercice 6 muni de laddition sous des sous-groupes de ( )

Pascal Lain

Exercice 7. Soit ( ) un groupe, et soit son lment neutre. ) . 1. Soient , dterminer ( On suppose que pour tout , 2. Soient , dterminer et . 3. En dduire que ( ) est commutatif. Allez : Correction exercice 7 Exercice 8. { } muni de la loi Soit justification. est llment neutre de

un groupe. Complter sa table. On ne demande pas de

Allez : Correction exercice 8 Exercice 9. Montrer que { Allez : Correction exercice 9

| |

} muni de la multiplication est un sous-groupe de (

).

Exercice 10. Dresser les tables des groupes ( ) et ( isomorphisme entre ces deux groupes. Pour simplifier les notations on pourra poser puissances de . Allez : Correction exercice 10 Exercice 11.

) o

} et montrer quil existe un en fonction des

et exprimer les lments de

Soit Soit { } 1. Montrer que muni de la multiplication est un groupe. 2. Dterminer tous les lments de , on les exprimera en fonction de j , puis dterminer les ordres possibles des lments de , puis enfin dterminer lordre de chacun de ces lments. 3. A laide de la question prcdente, dterminer deux sous-groupes de ( ), crire leur table de multiplication. Allez : Correction exercice 11 2

Groupes, anneaux, corps

Pascal Lain

Exercice 12. 1. Rsoudre dans , lquation (donner les solutions sous forme algbrique et trigonomtrique), et exprimer ces solution en fonction de . 2. Montrer que { } muni de la multiplication est un sous-groupe de ( ). 3. Dterminer les ordres possible des sous-groupes de ( ), en dduire tous les sous-groupes de ( ). Allez : Correction exercice 12 Exercice 13. Soit On pose rappelle que 1. 2. a) b) 3. 4. Montrer que (

. { { }}. Soit . , avec , et lordre de , on

est le plus petit entier non nul tel que ) est un sous-groupe de ( ).

En faisant la division euclidienne de par montrer que est un multiple de . Montrer que si et sont premiers entre eux alors lordre de est . ( ) Montrer que si alors lordre de est strictement infrieur . Que peut-on conclure laide des questions 2) et 3). Montrer que si lordre de est alors et sont premiers entre eux. (On pourra montrer la contrapose) Allez : Correction exercice 13 Exercice 14. Soit lensemble des fonctions telles quil existe ( ) 1. Montrer que pour tout , est une bijection de sur . 2. Montrer que muni de la loi de composition des fonctions est un groupe. Allez : Correction exercice 14 Exercice 15. On sait que si est un entier premier, { 1. Trouver deux entiers relatifs et tels que 2. En dduire le symtrique de dans le groupe . 3. Dterminer les solutions de mod . Allez : Correction exercice 15 Exercice 16. ) . Existe-t-il un inverse pour la multiplication de dans ( ) qui admettent un inverse dans ( ). Trouver tous les lments de ( ). Trouver linverse pour la multiplication de la classe de dans ( ), Montrer que pour tous lments de ( , o dsigne linverse de ) . multiplication dans ( 5. En dduire les solutions de . Allez : Correction exercice 16 1. 2. 3. 4. Exercice 17. 3

vrifiant :

} est un groupe pour la multiplication des classes. .

pour la

Groupes, anneaux, corps On considre les groupes et et la classe de lentier dans .

Pascal Lain (pour laddition). On notera la classe de lentier dans

1. Montrer que lapplication dfinie par ( ) est bien dfinie et que cest un morphisme surjectif de groupes. ( ) et dresser sa table de composition. 2. Dterminer le noyau ( ) et 3. Construire un isomorphisme entre . Allez : Correction exercice 17 Exercice 18. 1. Montrer que lapplication Est bien dfinie et que cest un morphisme surjectif de groupes. ( ) du morphisme et dresser sa table de multiplication. 2. Dterminer le noyau ( ). 3. Expliciter un isomorphisme du groupe pour laddition sur le groupe Allez : Correction exercice 18 Exercice 19. On note { }, o est lensemble des nombres complexes. 1. Montrer que ( ) est un sous-groupe de ( ). 2. Pour et on pose . Montrer que est une relation dquivalence sur . 3. Montrer que admet deux classes dquivalence. Dterminer les lments de ces deux classes dquivalence. Allez : Correction exercice 19 Exercice 20. Soit ; on note { }. 1. Dmontrer que cest un sous-groupe de pour la multiplication. 2. Montrer que si , et divise alors . 3. Montrer que si ( ) alors . 4. Pour : on pose dans le groupe multiplicatif Allez : Correction exercice 20 Exercice 21. Pour tout On appelle telle que ( ) . Montrer que ( ). . Dterminer est un morphisme du groupe additif

, on appelle classe de , note , lensemble des entiers congrus modulo . ) lensemble des classes lensemble des classe dquivalence modulo et ( diffrentes de . lensemble des puissances de , cest--dire { } lensemble des racines sixime de lunit. { } }

dquivalence modulo On appelle 1. a) Calculer pour {

On appelle groupe engendr par

b) Dterminer pour tout . On pourra utiliser la division euclidienne de par . ) 2. Pour quelle raison (( ) est-il un groupe ? 3. Montrer que le groupe engendr par est gal ( 4

).

Groupes, anneaux, corps 4. Soit dfinie pour tout par ( )

Pascal Lain

a) Montrer que est bien dfinie. ) ). b) Montrer que est un morphisme de (( ) sur ( c) Dterminer le noyau de et en dduire que est un isomorphisme (morphisme bijectif) de ) ). (( ) sur ( Allez : Correction exercice 21 Exercice 22. Soit (

) un groupe. Pour tout

, on note

lapplication de multiplication gauche par , qui va

de dans et associe tout ; autrement dit on a ( ) pour tous et dans . 1. Prouver que pour , lapplication est dans le groupe symtrique , autrement dit que est une bijection de sur . ). 2. Dmontrer que lapplication est un homomorphisme de groupe de ( ) dans ( 3. Dmontrer que lapplication est injective. Pour tout , on note lapplication de multiplication droite par , qui va de dans et associe tout ; autrement dit on a ( ) pour tous et dans . 4. Prouver que pour tout , lapplication est dans le groupe symtrique , puis que lapplication est une injection de dans . 5. Dmontrer que est un homomorphisme de groupe si et seulement si le groupe est ablien. Allez : Correction exercice 22 Exercice 23. Soit ( ) un groupe dlment neutre . 1. Soit lapplication de dans qui tout lment son inverse . Prouver que est un (homo)morphisme de groupe si et seulement si est ablien. } est un sous-groupe de 2. Soit un lment dordre fini de . Justifier que la partie { . 3. On suppose maintenant que est fini, de cardinal impair . En utilisant le thorme de Lagrange, prouver que lapplication qui associe est surjective. 4. Donner une condition simple assurant que est un (homo)morphisme de vers . Allez : Correction exercice 23 Exercice 24. Soit (

) un groupe. On considre le centre { 1. Montrer que ( ) est un sous-groupe de . 2. Si est un groupe commutatif, que vaut ? Allez : Correction exercice 24

de

dfini par : }

Exercice 25. Soit lensemble des parties dun ensemble deux lments, par exemple { { } { } { }} On considre les lois de composition suivantes sur lensemble . 1. Runion : . 2. Intersection : 5

({

}) donc

Groupes, anneaux, corps

Pascal Lain

( ) ( ) 3. Diffrence symtrique : 4. Runion des complmentaires : 5. Intersection des complmentaires : Pour chacune dentre elles : a) crire la table de composition de la loi . b) Lensemble possde-t-il un lment neutre pour la loi ? c) La loi est-elle associative ? d) La loi est-elle commutative ? e) Lensemble muni de la loi est-il un groupe ? f) Rpondre aux questions en remplaant par lensemble des parties dun ensemble quelconque. Allez : Correction exercice 25 Exercice 26. Le but de lexercice est dtudier les groupes , , ou lments. 1. Ecrire la table de composition dun groupe 1 lment. 2. Ecrire la table de composition dun groupe 2 lments. Vrifier quil est isomorphe aux groupes suivants. ( ) ({ } ) ({ } ) 3. Ecrire la table de composition dun groupe suivants. ( ) ({ } lments. Vrifier quil est isomorphe aux groupes ) ({( )( )( )} )

} ) un groupe lments, dlment neutre . 4. Soit ({ a) Montrer quil existe au moins un lment, autre que llment neutre, qui est son propre symtrique. On suppose dsormais que est son propre symtrique. b) On suppose . Remplir la table de composition du groupe. Montrer quil est isomorphe aux groupes suivants. } ) ({( )( )( )( )} ) ( ) ({ c) On suppose . Remplir la table de composition du groupe. Montrer quil est isomorphe aux groupes suivants. )( )( )( )} ) ( ) ({( d) Vrifier que lon est toujours dans le cas de la question (4b) ou dans le cas de la question (4c). 5. Vrifier que tous les groupes de cet exercice sont abliens. Allez : Correction exercice 26 Exercice 27. On considre les lments suivants de (

. ) ( ) et , ainsi que de , , et .

Calculer les puissances successives et dterminer lordre de Allez : Correction exercice 27

Exercice 28. On considre un pentagone rgulier : pour fixer les ides, lensemble des points du plan complexe dont des sommets ont pour affixes les racines cinquimes de lunit, soit { } Le but de lexercice est dtudier le groupe (pour la composition des applications) des isomtries du plan complexe qui laissent invariant ce pentagone. On notera la rotation de centre lorigine et dangle , et la symtrie qui un nombre complexe associe son conjugu. 1. Vrifier que et laissent invariant lensemble . 6

Groupes, anneaux, corps

Pascal Lain

2. Vrifier que les puissances successives de sont des rotations dont on donnera langle, et dterminer lordre de . 3. Pour , montrer que et sont des symtries par rapport un axe passant par lorigine, dont on donnera langle par rapport laxe rel. 4. Quel est lordre dune symtrie ? 5. Montrer que le produit de deux des symtries de la question 3) est une puissance de . 6. Montrer que le plus petit groupe contenant et possde lments. Allez : Correction exercice 28 Exercice 29. 1. Montrer que lordre de dans vaut . 2. Montrer que lordre de dans vaut si et seulement si est premier avec . 3. Si est un diviseur de , montrer que lordre de est le quotient de par . 4. Soit ( ) un groupe de cardinal . On suppose que contient un lment dordre . On note lapplication de dans qui associe llment neutre de et associe la puissance -ime de dans . Montrer que est un isomorphisme de groupes. Allez : Correction exercice 29 Exercice 30. est laddition entre deux classes dquivalence de est la multiplication entre deux classes dquivalence de 1. a) Pourquoi ( ) est-il un corps ? b) Donner la table daddition de . 2. Soit On munit dune addition que lon notera dfinie par : ) ( ) ( ) ( On munit dune multiplication que lon notera dfinie par : ) ( ) ( ) ( a) Montrer que ( ) est un groupe commutatif. b) Montrer que la multiplication est commutative. c) Montrer que la multiplication est une loi interne. d) Montrer que la multiplication est distributive sur laddition e) Montrer que possde un lment neutre pour la multiplication. f) ( ) est-il un anneau commutatif unitaire, un corps ? Allez : Correction exercice 30 Exercice 31. { } lensemble des applications de dans { }. On munit 1. Soit un ensemble quelconque et de laddition modulo des images : pour tout , est lapplication de dans { } dfinie par : ( ) ( ) ( )( ) { ( ) ( ) ) est un groupe ablien, dans lequel chaque lment est son propre symtrique. Montrer que ( ( ) lensemble des parties de . On munit de la diffrence symtrique ensembliste. On 2. Soit considre lapplication , de dans qui, une partie de , associe sa fonction indicatrice : ( ) ( ) ( ) o pour tout . ) est un Montrer que est un isomorphisme de vers , pour les lois et . En dduire que ( groupe 7

Groupes, anneaux, corps

Pascal Lain

ablien, dans lequel chaque lment est son propre symtrique. Dans toute la suite, dsigne un groupe dans lequel chaque lment est son propre symtrique. 3. Montrer que est ablien. 4. Soit un lment quelconque de , diffrent de llment neutre. On dfinit la relation sur par : ( ) Montrer que est une relation dquivalence sur . Montrer que chaque classe dquivalence a deux lments. 5. On dfinit la loi sur lensemble-quotient par : ( ) ( ) ( ) Montrer que est une loi de composition interne sur , et que muni de est un groupe ablien, dans lequel chaque lment est son propre symtrique. 6. On suppose que est fini. Dduire des questions prcdentes que le cardinal de est une puissance de . Allez : Correction exercice 31 Exercice 32. On considre les applications suivantes, de { } dans lui-mme.

{ } de la composition des applications. On munit lensemble 1. crire la table de composition de ( ) ( ) est un groupe. 2. Montrer que 3. Est-ce un groupe ablien ? 4. Dterminer tous les sous-groupes de . 5. Dterminer lordre de chacun des lments de . 6. Quels sont les lments de ? 7. Quels sont les lments de ? Allez : Correction exercice 32 Exercice 33. Soient ( ) et ( dfinie par : ) deux groupes. On munit lensemble produit (

de la loi de composition ) est un sous-groupe de

( )( ) ( ) ( ) 1. Montrer que ( ) est un groupe. 2. Soit un sous-groupe de , un sous-groupe de . Montrer que , muni de la loi . Allez : Correction exercice 33 Exercice 34. Montrer que les ensembles suivants dapplications de applications, sont des groupes. { } 1. { } 2. { } 3. { ( ) } 4. Allez : Correction exercice 34

dans , munis de la loi de composition des

Exercice 35. { }. Soit un sous-groupe additif de . On supppose que 1. Montrer que possde une borne infrieure, que lon notera . 2. Montrer que . 3. On suppose . Montrer que .

Groupes, anneaux, corps

Pascal Lain

4. On suppose . Montrer que si et sont deux rels tels que , lintervalle contient au moins un lment de (on dit que est dense dans ). ) 5. Montrer que lensemble { } muni de laddition est un sous-groupe de ( ), et ( quil est dense dans (on rappelle que est irrationnel). Allez : Correction exercice 35 Exercice 36. Soit lensemble des complexes de la forme o 1. Montrer que ( ) est un groupe commutatif. 2. Montrer que ( ) est un groupe commutatif. 3. En dduire que ( ) est un corps commutatif. Allez : Correction exercice 36

et

Exercice 37. On note [ ] lensemble de rels suivant : [ ] { } 1. Montrer que [ ], muni de laddition et de la multiplication des rels, est un sous-anneau de . 2. On considre lapplication , de [ ] dans lui-mme, qui associe ( ) Montrer que est un automorphisme de lanneau ( [ ] ) (cest une bijection, et un morphisme pour chacune des deux lois). [ ], on pose ( ) 3. Pour tout ( ). Montrer que est une application de [ ] dans , qui est un morphisme pour la multiplication. 4. Dmontrer que est un lment inversible de [ ] si et seulement si ( ) . 5. Vrifier que et sont inversibles dans [ ]. Allez : Correction exercice 37 Exercice 38. Soient et les applications de

dans lui-mme dfinies comme suit.

1. 2.

3. 4. 5. 6.

7.

Dans tout lexercice, on identifiera lapplication de dans , avec lapplication du plan complexe dans lui-mme, qui un point daffixe associe le point daffixe ( ). On note et les composes et . Interprter comme transformations gomtriques du plan complexe les applications , , , , , et . On note lapplication identit du plan complexe. Montrer que lensemble, { } muni de la composition des applications est un groupe, dont on donnera la table de composition. Il sera not . Montrer que { }, { }, { }, { }, { }, sont des sous-groupes de , tous isomorphes . Montrer que { } est un sous-groupe de , isomorphe . Montrer que { } est un sous-groupe de , isomorphe . On note : le point du plan complexe daffixe , le point du plan complexe daffixe , le point du plan complexe daffixe , le point du plan complexe daffixe , } Vrifier que chaque lment du groupe laisse invariant lensemble { tant donn un lment du groupe , on lui associe la permutation ( ) de { } dfinie par : 9

Groupes, anneaux, corps { }

Pascal Lain

( )( ) ( ) On dfinit ainsi une application de dans . Montrer que est un morphisme de groupes. 8. crire in extenso limage par de chacun des lments de . 9. Soit limage de par . Montrer que est un sous-groupe de , isomorphe . Allez : Correction exercice 38 Exercice 39. On note lensemble de rels suivant : { } muni de laddition et de la multiplication des rels), est un sous-

dans lui-mme, qui associe : ( ) Montrer que est un automorphisme de lanneau ( ) (cest--dire une bijection, et un morphisme pour chacune des deux lois). 3. Pour tout , on pose ( ) ( ). Montrer que est une application de dans , qui est un morphisme pour la multiplication. 4. Dmontrer que est un lment inversible de si et seulement si ( ) . 5. Vrifier que est inversible dans et calculer son inverse. Allez : Correction exercice 39 CORRECTION Correction exercice 1. 1.

1. Montrer que ( ) (ensemble anneau de ( ). 2. On considre lapplication , de

)(

)(

La loi est commutative Pour montrer que la loi nest pas associative, il suffit de trouver et tels que : ( ) ( ) Comme on le verra ci-dessous, sera llment neutre il ne faut pas prendre dans et . Prenons, par exemple : , et ( ) ( ) ( )( )) ( ) ( ( )( ) ( ) ( ) ( )( )) ( ) ( (( ) )( ) La loi nest pas associative ( )( ) De plus, comme la loi est commutative On a bien , est llment neutre. 2. La loi est commutative. ( ) ( ) en ( ( ( ( 10 ) ) ):

En reprenant le calcul ci-dessus en changeant ( ( ) Comme est commutative : ( ) Et finalement : ( ) La loi est associative. Remarque : On aurait pu calculer directement

) )

Groupes, anneaux, corps Comme est commutative Et finalement | |

Pascal Lain

est llment neutre. Supposons que admette un symtrique Or et donc est impossible, pour tout , na pas de symtrique. ( ) ( ) 3. On pose , pour tout et est nul en , est une fonction strictement croissante de sur , est une bijection de sur . Il reste montrer quil sagit dun morphisme. ( ) ( ) ) (puisque est est un morphisme de ( ) dans ( bijective). ) dans ( ), donc un morphisme, ( ) est un groupe commutatif est un isomorphisme de ( et limage dun groupe commutatif par un morphisme de groupe est un groupe. ( ) est un groupe. Allez : Exercice 1 Correction exercice 2. 1. Si et alors La loi est une loi interne. ( ) (( ) ( ( Et ) ( )) ( (( Donc la loi est associative. Soit ( ) tel que pour tout ( Ces galits quivalent : ( ) ( ) ( ) ) ( { ) ( ) ( ) ( { ) Donc ( ) est llment neutre. ) Soit ( , on cherche ( ) tel que ( Ces galits quivalent : ( ) ( ) ( ) donc ( )) ( ) ( ) ( ) ) ) ( : ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) ( ) ( ) ( ( ) ( ) ( ) ) et donc un isomorphisme de ( ) dans (

. ) )

{ Le symtrique de ( ) est ( ). ) ( . . Alors 11 ) ( ) il est clair que ce groupe nest pas

Donc ( ) est un groupe. Comme ( ) ( ) ( ) et que ( commutatif. 2. Llment neutre de ( ), ( ) ) ) Soit ( et (

Groupes, anneaux, corps ( Comme Donc ( Allez : Exercice 2 Correction exercice 3. ) ( ) 1. ( ( ) ( alors ( ) ( ) ) ( ( . ). ) ) ( )

Pascal Lain

) est un sous-groupe de (

( ) ((

) ( ) ) ( (

donc la loi est interne. ) ( ) ) ) ( ) (

( ) (

) )

))

Donc la loi

est associative. ( ) ( ) ( ) ( Donc la loi est commutative ) ( ) ( Soit ( ) tel que ( ), il est clair que ( ) tel que ( ) ( ) ( ) cela quivaut Soit ( ( ) ( ) {

) ) ( {

) est lunique lment neutre.

Donc le symtrique de ( ) est ( ). Donc ( ) est un groupe commutatif. 2. a) ( b) ( ) ( ) ( ) ) ( ( ) ( ) ( ) ( ) ) ( ) ) ) ( ), { et vrifient : ( ( ( ) ( ) donc est commutative. ( ) )) )

( ( ) ( ) ( ) ( ) ( ( ) ) ( ) ( ) ( ) ( ) ( Donc ( La loi est associative. ) ) ( ) c) Soit ( ) tel que pour tout ( ,( { {

( ) est llment neutre de pour la loi . d) Toutes les proprits pour quun ensemble muni de deux lois soit un anneau sont dans les questions prcdentes sauf la distributivit de par rapport laddition ( gauche ou droite puisque la loi est commutative, cest dailleurs cette commutativit qui rend lanneau commutatif). ( ) ( ) ( ) ( ) ( ) ( ( ) ( ) ( ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Et voil, ( ) est un anneau commutatif. Allez : Exercice 3 Correction exercice 4. ( ) ( 12 ) ( ) ( )

Groupes, anneaux, corps ( ( ( Allez : Exercice 4 Correction exercice 5. et donc . Soient et . , car est un sous-groupe de Cela montre que Allez : Exercice 5 ) ( ) ( ) ( ) ) ) ( ( ( ) ) ) ( ( (

Pascal Lain ) ) )

et

, car

est un sous-groupe de

donc

est un sous-groupe de .

Correction exercice 6. Vrifions que les sont des sous-groupes de . . Si et , il existe tel que et ( donc est un sous-groupe de . Allez : Exercice 6 Correction exercice 7. ) 1. ( 2. ( ) 3. Allez : Exercice 7 Correction exercice 8.

tel que )

, on en dduit que

de mme

. daprs 1), puis

daprs 2.

Allez : Exercice 8 Correction exercice 9. 13

Groupes, anneaux, corps | | donc , soient donc | | et | | | | | | | | | | ) est un sous-groupe de ( ). et

Pascal Lain

donc Allez : Exercice 9 Correction exercice 10.

,(

Pour tout

} on pose ( )

, il sagit videmment dune bijection, de plus la place de ( ) dans la table de ( ) sur ( ). ) donc il sagit

dans la table de ( ) est la mme que celle de dun morphisme, finalement est un isomorphisme de ( Allez : Exercice 10 Correction exercice 11. 1. Montrons que est un sous-groupe de . donc llment neutre de appartient Soient et deux lments de ,( )

. ( ) donc .

est un sous-groupe de . { }, , { } ( ) Lordre dun lment de divise , il vaut 1,2,3 ou 6. Lordre de 1 est 1. ) ) Lordre de est 6, car ( ,( , son ordre est donc 6. Lordre de est 3. Lordre de est 2. Lordre de est 3, car ( ) et ( ) . Lordre de est 6, car ( ) ,( ) , son ordre est donc 6. 3. { } est un sous-groupe de dordre 2. { } est un sous-groupe dordre 3. 2.

14

Groupes, anneaux, corps Allez : Exercice 11 Correction exercice 12. 1. ,

Pascal Lain

avec

{ , , , et donc

2. Soient ( )

donc et ( ) .

( ) est un sous-groupe de ( ). 3. Lordre des sous-groupes de ( ) divise lordre de ( ), cest--dire le nombre dlments de , soit 6. Lordre des sous-groupes des ( ) sont dordre 1,2,3 ou 6. Il y a un sous-groupe dordre 1 : { }. } Il y a un sous-groupe dordre 6 : { . Dans les sous-groupes dordre 2, il y a forcment 1 et un lment dordre 2, parmi { } il ny a que qui soit dordre 2, il ny a quun sous-groupe dordre 2 : { }. Dans les sous-groupes dordre 3, il y a forcment 1 et deux lments dont lordre divise 3, ce sont donc des lments dordre 3. est dordre 3 (car ), le troisime lments du sous-groupe est ,{ } est un sousgroupe dordre 3 de ( ). ( ) est aussi un lment dordre 3 (car ( ) ), le troisime lment est , on retombe sur le cas prcdent. ) nest pas dordre 3 car ( . nest pas dordre 3 car ( ) , est dordre 2, donc nest pas dordre 3. Il ny a pas dautre sous-groupe dordre 3. Allez : Exercice 12 Correction exercice 13. 1. { donc 2. a) Par dfinition de lordre quivaut dentiers ( ) avec , or est le plus petit entier suprieur ou gal 1 tel que ( par . donc . On en dduit que
( )

},

donc , par consquent (

, si

et

alors ( ).

( )

) est un sous-groupe de (

, ce qui

. La division euclidienne de tel que

donne quil existe un unique couple

. b) Daprs le thorme de Gauss divise et est premier avec entraine que divise , il exite donc tel que . Dautre part lordre de divise daprs le thorme de Lagrange donc il existe tel que on a donc Par consquent et alors .

15

Groupes, anneaux, corps 3. Si et ne sont pas premiers entre eux alors lordre de et tels que et nest pas . Soit , donc

Pascal Lain ( ) , il

existe alors

, on en dduit alors

) que ( . Et videmment car sinon . Ce qui montre que lordre de nest pas . 4. 3. est la contrapose de si lordre de est alors et sont premiers entre eux , on en dduit que lordre de est si et seulement si et sont premier entre eux . Allez : Exercice 13 Correction exercice 14. 1. Si alors ( ) est une bijection de Si alors ( ) sur donc

donc .

est croissante, de plus

et

est dcroissante, de plus

et

est une bijection de sur . 2. Rappelons que la composition est une loi associative. ( ) Soit dfinie pour tout , Soient ( ) et et ( ) dans et , ils existent et

, tels que pour tout ( ) ( ( )) (

car : ) ( ) ( )

est une fonction de donc Le symtrique de , .

pour la composition est sa bijection rciproque, de plus

, comme

Conclusion, est une loi interne, associative, qui admet comme lment neutre et la bijection rciproque de comme symtrique dans . ( ) est un groupe. Allez : Exercice 14 Correction exercice 15. 1. Utilisons lalgorithme dEuclide

( ) et est un couple de solution. 2. Daprs la question prcdente, gal la classe de dans . Car , le symtrique de est 3. Les classes sont celles de . mod quivaut . , en multipliant par

, donc la classe de

dans

est

gauche et droite :

16

Groupes, anneaux, corps Les solutions sont donc les entiers Allez : Exercice 15 Correction exercice 16. ( 1. On cherche ( 2. Soit ( ) congrus modulo .

Pascal Lain

) tel que :

qui ne divise pas donc nadmet pas dinverse. ) , admet un inverse si et seulement sil existe

) tel que

Ce qui quivaut , il existe tel que , autrement dit Finalement ce que et sont premiers entre eux, lensemble recherch est { } 3. On cherche ( ) tel que : ) ) ( ( ) soit on utilise lalgorithme dEuclide ) ( ) ( ),

Soit on voit une solution vidente ( ( ) (

Linverse de est . ) est un groupe multiplicatif 4. ( Par consquent 5.

lments donc, pour tout

On a vu la question 3. que loppos de la classe de Allez : Exercice 16 Correction exercice 17. 1. Soit , il existe tel que , donc ( )

est

donc

par consquent

Si on change de reprsentant dans la classe de dans , on ne change pas la valeur de ( ) donc est bien dfinie. On notera laddition dans et dans , cest un peu abusif mais pas trop. ( ) ( ) ( ) ( ) est bien un morphisme de groupe. Il reste montrer que est surjectif. Dans il n y a que deux classes et , comme ( )

( ) Ces deux classes ont au moins un antcdent. Remarque : Celui-ci na aucun chance dtre unique pour plein de raison, la premire est que sinon serait une bijection dun ensemble lments sur un ensemble lments, ce qui est bien sur compltement impossible, la seconde est que ( ) ; ( ) ; ( ) et ( ) . 2. Si on reprend la remarque on a ( ) Sinon (pour faire plus gnral), on cherche 17 { tel que }

Groupes, anneaux, corps ()

Pascal Lain

Dans il y a trois classes paires , , et . On rappelle que le noyau dun morphisme est un sous-groupe de lensemble de dpart.

3. On notera les classes de

. On dfinit ( ) ) .

de ( )

( ) dans par : ( ) , est-ce que et que par

Soit dune manire plus gnrale (

Comme pour on doit se demander ce quil se passe si on change de reprsentant dans lon retombe bien sur la mme classe modulo ? Soit , il existe tel que , ce qui entraine que consquent , tout va bien. Manifestement est une bijection, est-ce un morphisme ? ( ) ( ) est bien un morphisme. Autre mthode : On pouvait dresser la table de Allez : Exercice 17 Correction exercice 18. 1. Il faut vrifier que limage de consquent ( ( )) 2. Soit , ( ) { Donc ( ) ( ) }

et constater quelle est identique celle de

( ).

par ( )

est bien incluse dans ce qui montre que ( ) {

, or pour tout . }

par

3. Premire mthode complique mais qui se gnralise aux isomorphismes de

sur

. alors

On pose ( ) , o . Il faut dabord vrifier que est bien dfinie, cest--dire que si on change de reprsentant dans limage est bien la mme. Soit , , .
( )

Donc tout va bien. ( est bien un morphisme de ) ( sur ) . 18


( )

( ) ( )

Groupes, anneaux, corps Montrons que le noyau de injective. ( ) ( ) est bien rduit (llment neutre de

Pascal Lain ), ce qui montrera que est

Donc est injective. Comme le cardinal de est le mme que le cardinal de , on en dduit que finalement est un isomorphisme de groupe. Deuxime mthode. On pose ( ) , ( ) , ( ) et ( ) Chaque lment de admet un unique antcdent donc est une bijection. Il reste montrer que cest un morphisme. ) avec celle de ( ) Le plus simple est de comparer la table de (

est bijective,

Les lments de chaque groupe tant situ au mme endroit, est un morphisme entre ces deux groupes Sinon on peut faire leffort de vrifier la main que tout marche bien. ( ) ( ) ( ) ( ) ( ( ( ( ( ( ( ( ) ) ) ) ) ) ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ) ) ( ( ( ( ) ) ) ) ( ( ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

( ) ( ) ( ) ( ) ( ) ( ) Par commutativit on obtient ceux qui manquent. est bien un morphisme de groupe. Comme il est bijectif, cest un isomorphisme. Allez : Exercice 18 Correction exercice 19. 1. ( 2. donc . Soient et alors ( ) ( ) donc ,

) est un sous-groupe de ( ). donc , autrement dit est rflexive. 19

Groupes, anneaux, corps donc { 3. Soit { { , } ou encore { ( ) donc est symtrique. est transitive,

Pascal Lain

est une relation dquivalence. } donc

or les racines quatrime de 1 sont { } , et donc { }.

Ces lments sont videmment tous distincts (sauf pour , mais ) donc une classe pour cette relation dquivalence a 4 lments, or le cardinal de est 8, il y a donc deux classes dquivalence. { } il reste trouver une racine huitime de 1 qui ne soit pas dans . Par exemple , La seconde classe dquivalence est alors amliorer la clart de ces complexes, en effet . Allez : Exercice 19 Correction exercice 20. 1. donc Soient et { , }. On peut un peu ,

donc (

et ) ( ) .

Cela montre que , 2. Comme divise , il existe Soit , alors .

muni de la multiplication est un sous-groupe de tel que . ( )

Ce qui montre que et que . 3. divise , daprs b) , de mme divise , daprs b) , cela montre que Soit , et donc et . Daprs lidentit de Bzout il existe et ( ) ( ) tels que , on en dduit que , ce qui montre que , par consquent . Daprs cette double inclusion : . 4. Soient et ( )
( ) ( )

( ) ( ) . Il reste montrer

Cela montre que est un morphisme du groupe additif que limage de par est incluse dans . Pour tout , ( ( )) ( )

dans le groupe multiplicatif

, ce qui montre que ( ) .

est un morphisme du groupe additif Le

dans le groupe multiplicatif ( ) ( ) est llment neutre du groupe muni de la multiplication. ( ) ( ) il existe tel que .

, autrement dit

( ) est lensemble des multiples de , ce qui scrit aussi Allez : Exercice 20 Correction exercice 21. 1. 20

Groupes, anneaux, corps a)

Pascal Lain

La dernire galit ntant que le petit thorme de Fermat. { }, il existe un unique couple ( ) b) Si ( 2. est premier donc (( ) ) ( )

{ { {

} tels que }}

) est un groupe. est } {

3. Daprs la premire question le groupe engendr par Cest bien le mme ensemble que ( 4. a) Il faut vrifier que si alors on a bien ( ).

La seconde galit vient du fait que lordre de ( ) ( )


( )

est , daprs la premire question. ( ) )

Il faut aussi vrifier que est bien dfinie. b) Pour toutes classes { ( } tel que ) (

, ce qui est exact car (

et

de ( et ) (

) , il existe un unique
( )

} et un unique

( )

( ) ( )

est un morphisme de groupe. ( ) c) Soit ( ) Donc ( le noyau de est rduit llment neutre de ( ( ) et ont tous les deux lments est bijective. Allez : Exercice 21 Correction exercice 22. 21 ) est injective, comme ( )

) , ce qui montre que

Groupes, anneaux, corps 1. Pour tout , il existe un unique Donc est une bijection de sur . 2. Pour tout et pour tout ( )( ) ( ) ( ( ) ) ( Par consquent ( ) ( ) ). Ce qui montre que est un morphisme de ( ) dans ( 3. Pour montrer que est injective il faut et il suffit de montrer que le noyau de neutre de car est un morphisme. ( ) ( ) ( )( ) ( ) tel que ( ) ( )

Pascal Lain

( )

( ))

( )

est rduit llment

( ) { }, et que donc est injective. Ce qui montre que ( ) 4. Pour tout , il existe un unique tel que ( ) Donc est une bijection de sur . Pour montrer linjectivit de on ne peut pas utiliser le noyau puisque pour linstant nest pas un morphisme. ( ) ( ) ( )( ) ( )( ) ( ) ( ) est injective. Si 5. est un (homo)morphisme de groupe ) Pour tous , ( ( )( ) ( ) (

( ) )

( ), donc pour tout ( ) ( ) , , ( ) ( ) ( ( ))

( )( )

Il reste composer par gauche pour en dduire que pour tous autrement dit est ablien. Rciproque, supposons que soit ablien. Cest pareil dans lautre sens, faisons le tout de mme. Pour tout ( ( Ce qui montre que Allez : Exercice 22 ( )) ) ( ) ( ) ( ) ( ( ) )( )

( ( )

( )) ( )( )

( ) ( ) ( ) est un morphisme de groupe.

Correction exercice 23. 1. Si est un morphisme de Pour tout ( ) ( ) ( ) , ( ) 22 ) ( ) ( ) ( ) ( ) ( Ce qui montre que le groupe est ablien. Si le groupe est ablien alors pour tous Ce qui montre que est un morphisme de .

( )

Groupes, anneaux, corps

Pascal Lain

Ces deux implications montre que est un morphisme si et seulement si est ablien. { } 2. { }, il existe { } tels que Soit et Donc On effectue la division euclidienne de par , il existe un unique couple ( ) { } tel que , par consquent ( ) { } } muni de est un sous-groupe de ( ). Ces deux proprits montrent que { 3. est pair donc il existe tel que , une des consquences du thorme de Lagrange veut que pour tout , , par consquent ( Donc pour tout 4. Supposons que ( ) il existe tel que soit un morphisme, pour tous ( ) ( ) ( ) ) ( ) est surjective. ( ), ce qui montre que

En simplifiant gauche par et droite par Bref est un morphisme si et seulement si est ablien. Allez : Exercice 23 Correction exercice 24. 1. donc . Pour tout et pour tout , ( ) Or donc ( ) ( ) ( ) Ce qui montre que . Donc ( ) est un sous-groupe de ( ) 2. Si est commutatif alors pour tout Allez : Exercice 24 Correction exercice 25. 1. a) { } { } { } { } { } { } { } { } { } { } { } b) est llment neutre pour la runion. c) Oui, la runion est toujours associative. d) Oui, la runion est toujours commutative. e) Non, par exemple { } nest jamais gal { f) Mme rponse pour les questions de b e. Allez : Exercice 25 2. { } { } 23 { } { { { { { } } } } } { { { { { } } } } }

( ( ( )

) )

( (

) ) ( )

et pour

donc

}, ce qui signifie que { } na pas de symtrique.

Groupes, anneaux, corps a) { } { } { } { } { } { } { } { } { } { } { }

Pascal Lain

b) { } est llment neutre pour lintersection. c) Oui, lintersection est toujours associative. d) Oui, lintersection est toujours commutative. e) Non, par exemple { } nest jamais gal { f) Mme rponse pour les questions de b e. Allez : Exercice 25 3. a)

}, donc { } na pas de symtrique.

{ } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } b) est llment neutre pour la diffrence symtrique. c) d) e) Sur chaque ligne de la table il y a, une et une seule fois, chacun des lments de ce qui entraine que muni de la diffrence symtrique est un groupe, cette loi est associative et commutative, le symtrique de est , celui de { } est { }, celui de { } est { } et celui de { } est { }. f) ( ) ( ) Donc est llment neutre. On a besoin de rappeler un rsultat avant de montrer lassociativit bas sur le fait que ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) ( ) ( ( ) ( ) ( ) ( ) (( ((( ( ( ) ( ) ) ) ) ( )) (( ((( ) ) ) ) )) (( (( ( ) ( (( ) ) ) ( ( ( )) ) ( ) ) ) ) ((( ) ) ) ( ) ( ) ) ) ( )) )

{ } { }

( Faisons un petit calcul intermdiaire ) ( ( ) ( ) ( ( ) ( ) ( ) Reprenons le calcul de . ( ) ( ( ) ) (

) ( )

((( ((

) )

( )

)) ((

) ) )

( ) ( ) ( ) ( ) Ce calcul est assez compliqu cest pourquoi on va viter den refaire un aussi compliqu pour calculer ( ), la loi est clairement commutative, on va utiliser ce rsultat dans la suite. Avec un peu

24

Groupes, anneaux, corps

Pascal Lain

) dexprience, ds que dans ( , on peut intervertir , et on est sr de lassociativit de la loi. Calcul de ( ), on reprend le calcul de ( ) en changeant et , on constate que cela ne ( ) ( ) ( change rien donc ( ), dautre part donc ), la loi tant commutative ( ) ( ) , on a bien ( ) ( ) La diffrence symtrique est associative. On nen a pas parl mais la loi est videmment une loi interne. Il reste montrer que tous les ensembles admettent un symtrique. Soit un ensemble, on cherche tel que : ( ) ( ) ( ) ( ) ) ( ) ( ) ) ( Comme ,( ) ( ) Donc vrifie ( , autrement dit , or , do lon dduit que : , je crois que l cest clair, . Remarque : si on saperoit que est solution, par unicit du symtrique cest la seule solution possible. Finalement muni de la diffrence symtrique est un groupe commutatif. Allez : Exercice 25 4. a) { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } { } b) Il est clair (enfin jespre) quil ny a pas dlment neutre. c) La runion est toujours associative. d) La runion est toujours commutative. e) Comme il ny a pas dlment neutre, il ne peut pas y avoir de symtrique. f) Il ny a pas dlment neutre, la loi est associative et commutative et bien sur il ny a pas de symtrique. Allez : Exercice 25 5. a) { } { } { } { } { } { } { } { } { }

{ } { } { } { } b) Il est clair (enfin jespre) quil ny a pas dlment neutre. c) Lintersection est toujours associative. d) Lintersection est toujours commutative. e) Comme il ny a pas dlment neutre, il ne peut pas y avoir de symtrique. f) Il ny a pas dlment neutre, la loi est associative et commutative et bien sur il ny a pas de symtrique. Allez : Exercice 25 Correction exercice 26. Tous les groupes possdent un lment neutre, notons le . Et notons la loi. 1. 25

Groupes, anneaux, corps

Pascal Lain

Car Allez : Exercice 26 2. Dans un groupe deux lments, il y a llment neutre, notons lautre lment, donc { }. On a . Que vaut ? vaut soit soit car la loi est interne. Considrons le symtrique de , celui-ci appartient { }, il nest pas possible que sinon , par consquent , en multipliant gauche (ou droite) par : . On en dduit que :

Montrons que ( ) est isomorphe ( ). Soit : ( ) ( ) dfinit par ( ) et ( ) , est une bijection (cest vident). ( ) ( ) ( ) ( ) De mme ( ) ( ) ( ) ( ) Et enfin ( ) ( ) ( ) ( ) Cela montre que est un morphisme. Finalement est un isomorphisme et ( ) et ( ) sont isomorphes. Une autre faon de faire est dcrire la table du groupe ( ).

Et de constater que le et le sont aux mmes endroits que le et le . } ) sont isomorphes. Montrons que ( ) et ({ } ) dfinit par ( ) Soit ( ) ({ et ( ) ( ) ( ) ( ) ( ) De mme ( ) ( ) ( ) ( ) Et enfin ( ) ( ) ( ) ( ) Cela montre que est un morphisme. Finalement est un isomorphisme et ( ) et ({ } ) isomorphes. Une autre faon de faire est dcrire la table du groupe ({

} ) sont

Et de constater que le et le Montrons que ( ) et ({ notons ( ) et ( )

sont aux mmes endroits que le et le . } ) sont isomorphes. Cest formellement un peu plus compliqu, , pour tout ( ) ( ( )) ( ) ( ) et ( ) ( ) ( ) ( ) ( ) 26 ( ) ( )

Posons De mme Et enfin

({ ( ( (

} ) dfinit par ( ) ) ( ) ) ) ( ) ( )

Groupes, anneaux, corps Cela montre que est un morphisme. Finalement est un isomorphisme et ( ) et ({

Pascal Lain

} ) sont isomorphes. Une autre faon de faire est dcrire la table du groupe ({

} )

Et de constater que le Allez : Exercice 26

et le

sont aux mmes endroits que le

et le . { }

3. On note la loi du groupe, llment neutre, Il faut calculer , , et On va chercher ce que vaut le produit Si

et

les autres lments du groupe donc . Pour les autres produits cest vident par consquent

, celui appartient

, en multipliant gauche par , on a ( ) ( ) En utilisant dabord lassociativit de la multiplication, puis que . Ce nest pas possible puisque . De mme car en multipliant droite par on trouve que ce qui nest pas possible. Par consquent . On ne peut pas en dduire immdiatement que , mais avec un raisonnement analogue, cest -dire que lon suppose que gal , puis , on en dduit que . Table intermdiaire

Premire mthode : Sur chaque ligne et sur chaque colonne il y a une et une seule fois chaque lment du groupe donc et . Deuxime mthode : { }, Si alors (en multipliant gauche ou droite par ) mais entraine que et par consquent ce qui est impossible daprs ce que lon a vu ci -dessus. Si alors et donc ce qui est faux puisque . La seule solution est . Le mme raisonnement entraine que . On peut complter la table :

Montrons que ( ) est isomorphe ( ). ( ) ( Soit ) dfinit par ( ) , ( ) et ( ) (on aurait pu prendre ( ) et ( ) , cela ne change rien, sauf que dans ce cas il est prfrable dcrire la table de ( ) en intervertissant et ). est une bijection. Premire mthode : Il faut montrer que : ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Cela va tre long, on passe la deuxime mthode. 27

Groupes, anneaux, corps Deuxime mthode : On va comparer les tables des deux groupes ( ) et ( ).

Pascal Lain

On constate que le , le isomorphes. Montrons que ( On remarque que :

et le

sont aux mmes endroits que le , le }

et le . Ces deux groupes sont

) est isomorphe ({

), on va crire la table de ce groupe.

La commutativit de la multiplication fait le reste.

On constate que le , le sont isomorphes. Remarque : et Montrons que ( On pose ( On remarque :

et le

sont aux mmes endroits que le , le

et le

. Ces deux groupes

. ) est isomorphe ({( ) ( ) (

)( )

)( (

)} ), on va crire la table de ce groupe. ) ( ) ( )

( ( ( (

) ( ) ( ) ( ) (

) ) ) )

( ( ( (

) ) ) )

( ( ( (

) ) ) )

On constate que le , le sont isomorphes. Allez : Exercice 26 4. a) Si alors , donc Supposons que Que vaut ?

et le

sont aux mmes endroits que le

, le

et le

. Ces deux groupes

(on a dj vu cela dans les exercices prcdents), ce qui est impossible car de mme et . , et . { } par consquent , soit soit . 28

Groupes, anneaux, corps

Pascal Lain

Si Lordre dun lment divise lordre du groupe, si on appelle lordre de , comme lordre (=le cardinal) de est , il existe tel que donc ( ) ( ) Ce qui entraine que ce qui est impossible. Si On montre de mme que ce qui est impossible aussi. Par consquent , et est faux, il y en a un des trois qui vaut , lnonc impose que . b) On suppose que , on crit la table intermdiaire.

En regardant la Si alors thorme de Lagrange car On en dduit En regardant la Si alors de : ne divise pas . On en dduit que . Table intermdiaire

ligne (en multipliant gauche par ), ce qui nest pas possible daprs ne divise pas . que . ligne (en multipliant droite par ), ce qui nest pas possible car lordre

En regardant la On en dduit que En regardant la

. Les valeurs ,

et

ligne sont dj prises. ligne sont dj prises. . Les valeurs , . Les valeurs ,

On en dduit que . Les valeurs , et En regardant la deuxime colonne (celle de ), En regardant la quatrime colonne (celle de ), Table complte

et sont dj prises. et sont dj prises.

Remarque : Ce nest pas la seule mthode possible, on aurait pu raisonner sur les colonnes ou simultanment sur les lignes et les colonnes Montrons que ( ) est isomorphe ( ), pour cela on va crire la table de ( ). On pose dfinit par ( ) , ( ) , ( ) et ( ) , il sagit dune bijection. ) ( ) Pour que cela soit un morphisme il faut vrifier que pour tout et dans , ( ( ), 29

Groupes, anneaux, corps

Pascal Lain

) ( ) ( ) ( ) ( ) ( ) ( ) ( ), il faut donc en particulier ( faire attention lordre dans lequel on place les quatre lmen ts de car le seul lment qui vrifie est (ceci dit si on ne fait pas attention le tombe naturellement la bonne place).

On constate que le , le , le et le sont aux mmes endroits que le , le , le et le . Ces deux groupes sont isomorphes. Montrons que ( ) est isomorphe ( ), pour cela on va crire la table de ( ). ({ } ) dfinit par ( ) On pose , ( ) , ( ) et ( ) , il sagit dune bijection. Pour que cela soit un morphisme il faut vrifier que pour tout et dans , ( ) ( ) ( ), en particulier ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ), il faut donc faire attention } car le seul lment qui vrifie lordre dans lequel on place les quatre lments de { { } on se complique srieusement est . Ici cest moins vident parce que si on crit la vie car les deux tables ne vont pas se ressembler au premier coup dil.

On constate que le , le , le et le sont aux mmes endroits que le le , le et le . Ces deux groupes sont isomorphes. )( )( )( )} ), pour cela on va Montrons que ( ) est isomorphe ({( )( )( )( )} ). crire la table de ({( On pose ( ( ( ( ) ) ) ) ( ( ( ( ) ) ) )

Pour dfinir lisomorphisme il faut reprer lequel de ces lments, diffrent de lidentit, vrifie { } avec Pour remplir la table il faut calculer, , , , , , , , et . ( ( ( ( ) ( ) ( ) ( ) ( ) ) ) ) ( ( ( ( ) ) ) ) ( ( ( ( ) ) ) )

30

Groupes, anneaux, corps ( ( ( ( ( ) ( ) ( ) ( ) ( ) ( ) ) ) ) ) ( ( ( ( ( ) ) ) ) ) ( ( ( ( (

Pascal Lain ) ) ) ) )

Maintenant on va crire la table de { place parce que cest le seul qui vrifie

} dans cet ordre l, en tout les cas il faut mettre cette , par contre rien nempche dintervertir et .

)( )( )( )} dfinit par : ( ) , ( ) , ( ) et ( ) , cest une bijection et la table montre que cest un morphisme de groupe parce que , , et sont aux mmes places que , , et . c) Si , on rappelle que . Table intermdiaire

{(

Si on regarde la ligne Si alors Par consquent On regarde la ligne Si alors Par consquent Table intermdiaire (en multipliant par gauche ou droite) ce qui est impossible car , puis en compltant cette ligne . .

(en multipliant par gauche ou droite) ce qui est impossible car , puis en compltant cette ligne .

On regarde les trois dernires colonnes et on complte par llment qui manque.

Remarque : 31

Groupes, anneaux, corps Ce nest pas la seule mthode. Montrons que ( ). ) est isomorphe (

Pascal Lain

), pour cela on va crire la table de (

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) On pose , dfinit par : ( ) ( ), ( ) ( ), ( ) ( ) et ( ) ( ), cest une bijection et la table montre que cest un morphisme de groupe parce que , , et sont aux mmes places que ( ), ( ), ( ) et ( ). { }, ( ) ( ) ( ). Cela montre que pour tout Remarque : Ce nest pas le seul isomorphisme possible, si par exemple, on prend ( ) ( ), ( ) ( ), ( ) ( ) et ( ) ( ), pour visualiser le morphisme sur la table, il faut crire la table de (( )( )( )( )( )( ( ( ( ( Il faut calculer ( ( ( ( ( ( ( , , , ) ( ) ( ) ( ) ( ) ( ) ( ) ( , ) ) ) ) , ) ) ) ) ) ) ) ( ( ( ( ( ( ( ( ( ( ( , )) de faon respecter les places. )( )} ). )( )} ), pour cela on va

Montrons que ( ) est isomorphe ({( )( )( crire la table de ({( On pose

) ) ) ) , ) ) ) ) ) ) ) et ( ( ( ( ( ( ( . ) ) ) ) ) ) )

32

Groupes, anneaux, corps ( ( ) ( ) ( ) ) ( ( ) ) ( ( , et

Pascal Lain ) ) na pas

Maintenant on va crire la table de { dimportance.

}, dans cet exercice lordre de

{( )( )( )( )} dfinit par : On pose ( ) , ( ) , ( ) et ( ) , cest une bijection et la table montre que cest un morphisme de groupe parce que , , et sont aux mmes places que , , et . { }, ce ne peut pas tre sinon d) Le symtrique de , ce ne peut pas tre car est son propre symtrique (car ) donc soit soit . { }, ce ne peut-tre , ni et ni Si alors , dautre part le symtrique de car dans ce cas le symtrique de est , par consquent le symtrique de est et donc . Si alors par dfinition dun symtrique. On a deux solution soit soit . Allez : Exercice 26 5. Il suffit de regarder la table de chacun de ces groupes, elles sont toutes symtriques suivant la diagonale (en haut gauche, en bas droite). Allez : Exercice 26 Correction exercice 27. ( ( ( ( Lordre de est . ( ( ( ( ) ( ) ( ) ( ) ( ) ) ) ) ( ( ( ( ) ) ) ) ( ( ( ( ) ) ) ) ) ( ) ( ) ( ) ( ) ) ) ) ( ( ( ( ) ) ) ) ( ( ( ( ) ) ) )

33

Groupes, anneaux, corps ( Lordre de est . Remarque : Le cardinal de est ( ( ) ( est . ( ( ) ( est . ( . ) ( ( ) ) ( ) ) ( ) ( ) ) ( ( ) ) ( ( ) ( ) ( ) (

Pascal Lain )

et lordre de ) ( ) (

divise bien ) ) ( (

et lordre de

divise bien ) ) ( (

. ) )

Lordre de

) )

Lordre de Autre mthode :

En multipliant droite par En multipliant gauche par .

Remarque : intervertit et , cest une transposition, donc son carr rechange et , il tait donc clair que le carr de tait gal lidentit. Mme remarque pour , cest la transposition qui intervertit et . Cela montre que , lgalit est une vidence parce quil est clair que et commutent, en fait, dans ce cas on peut se contenter dcrire que pour en dduire que . ( ( ( ) ( ) ( ) ) ( ) ( ) ) ( ) ( )

Ici, si on est malin, on peut sapercevoir que le carr de cette permutation est lidentit car cela revient intervertir, la fois et et puis et . ( ) ( ) ( ( ) ( ) ( ( ) 34 ( ) ) ( ) ( ) ) ( ) ( )

Groupes, anneaux, corps Lordre de Comme est .

Pascal Lain

( ( ( ( ) ) ( ( ) ( ( ) ( ) ( Lordre de Autre mthode : Lordre de Allez : Exercice 27 est . ( ) ) ( ( ) )

) (

) ) (

( )

) (

( )

) (

est

( ) ( ) ) est , par consquent lordre de donc lordre de (

est .

Correction exercice 28. Remarque : Dans cet exercice on confondra le complexe et le point daffixe . En particulier lorsque lon parlera dune rotation ou dune symtrie, en gnral ce genre dapplication transforme un point en un autre point, ici ces applications transforment un complexe en un autre complexe. { } 1. ( On fait la division euclidienne de Donc ( )
(

par , il existe un unique couple (


)

} tel que :

On vient de montrer que pour tout ( On fait la division euclidienne de que : Donc ( )
(

, ( ) )

, autrement dit
(

est invariant par . ) { } tel

par , il existe un unique couple (

On vient de montrer que pour tout Allez : Exercice 28 2. Pour tout ( )

, ( )

, autrement dit

est invariant par .

35

Groupes, anneaux, corps ( ) est le nombre complexe de module limage de par la rotation dangle ( ) ( ( )) (
(

Pascal Lain | | et dargument .


) ( )

, le point daffixe ( ) est


( )

( ) est le nombre complexe de module limage de par la rotation dangle ( ) ( ( )) (

| | et dargument .
( ) ( )

, le point daffixe
( )

( ) est

( ) est le nombre complexe de module limage de par la rotation dangle ( ) ( ( )) (

| | et dargument .
( ) ( )

, le point daffixe
( )

( ) est

( ) est le nombre complexe de module limage de par la rotation dangle ( ) ( ( )) (


(

| | et dargument .
) ( )

, le point daffixe
( ) (

( ) est
)

( ) est le nombre complexe de module | | et dargument , le point daffixe ( ) est limage de par la rotation dangle , autrement dit . Par une rcurrence assez immdiate, on en dduit que pour tout , . Remarque : les puissances ngatives sont les bijections rciproques des puissances positives, par exemple est la bijection rciproque de , par consquent . Pour tout , effectuons la division euclidienne de par : { } tel que : Il existe un unique couple ( ) ( ) ( ) ( ) ( ( )) { }, Or pour tout est une rotation dangle comme on la vu plus haut, donc pour tout est une rotation dangle Au passage on a montr que Allez : Exercice 28 3. Rappel : modulo Pour tout o est le reste de la division euclidienne de par . } et que pour tout { , lordre de est .

est une symtrie si et seulement si la somme des arguments de et ( ) est constant et si les modules de et ( ) sont gaux, est alors la symtrie par rapport la droite
( ( )) ( )

passant par lorigine et dangle , ( ) On a | ( )| | | et

.
( )

( ( )) ( ( ))

( )

) .
( )

est la symtrie par rapport la droite passant par lorigine et dangle ( ) On a | ( )| | | et ( ( ( )) ( )) (


( )

) (

( )

) .
( )

est la symtrie par rapport la droite passant par lorigine et dangle ( ) On a | ( )| | | et ( ( ( )) ( )) (


( )

) (

( ) 36

Groupes, anneaux, corps est la symtrie par rapport la droite passant par lorigine et dangle ( ) On a | ( )| | | et ( ( ( )) ( )) (
( )

Pascal Lain .
( )

) (

( )

) .

est la symtrie par rapport la droite passant par lorigine et dangle Remarque : On aurait pu traiter tous ces cas en une seule fois de la faon suivante : { } Pour tout ( ) On a | ( )| | | et ( ( ( )) ( )) (
( )

) (

( )

) .

est la symtrie par rapport la droite passant par lorigine et dangle Pour les transformations Pour tout On a | ( )| | | et , on va tout traiter en une seule fois. ( ) ( ( ( )) ( )) ( ) ( ) . ( )
( )

est la symtrie par rapport la droite passant par lorigine et dangle Allez : Exercice 28

4. Si est une symtrique diffrente de lidentit (lidentit est une symtrie par rapport nimporte quelle droite et dangle ) alors , lordre dune symtrie est . Remarque : Si son ordre est . Allez : Exercice 28 5. Pour tout ( )( Donc ( )( , on pose )( ) ( )
(

le reste de la division euclidienne de ( ) ( ) ( ( )) (


)

par . ) ( ( )

))

( )( )( ) ( )( ) Donc Remarque : On est oblig de faire deux cas car la compose des fonctions nest pas commutative. Allez : Exercice 28 6. Si un groupe contient et alors il contient toutes les transformations de la forme avec { } ce qui en fait { } et mais pour linstant rien ne dit quil ny en a pas plus en particulier doit tre dans le groupe mais premire vue il nest pas de la forme alors il va falloir rflchir. { } { }}. On va montrer que muni de la compose des { On pose applications est un sous-groupe du groupe des bijections de sur . Soit et deux lments de . ( ) 37

Groupes, anneaux, corps Le but est de montrer que . Premier cas : Deuxime cas : car et donc par daprs la question 5). , c'est--dire quil existe { } {

Pascal Lain }

o est le reste de la division euclidienne de Troisime cas : et ,

On a vu la question 3) que est la symtrie par rapport la droite passant par lorigine et dangle symtrie par rapport la droite passant par lorigine et dangle . est la symtrie par rapport la droite passant par lorigine et dangle

et que et que

est la est la symtrie

par rapport la droite passant par lorigine et dangle . Or langle dfinissant une droite passant par lorigine est dfinie prs (quand on fait faire un demi-tour une droite on retombe sur la mme droite) on en dduit que : est la symtrie par rapport la droite passant par lorigine et dangle . Par consquent De mme , et , bref pour tout { } do

{ } entraine que { } on a bien montr que Comme Le cas est trivial car . Dans tous les cas , cela montre bien que est un sous-groupe du groupe des bijections de sur . Remarque : (a) Si dans le 3. lnonc avait demand de montrer que pour tout , et sont des symtries par rapport un axe passant par lorigine, dont on donnera langle par rapport laxe rel la rdaction de ce troisime cas aurait t plus simple (mais il aurait fallu travailler davantage au 3.). (b) est dordre , divise le cardinal de et est dordre donc divise le cardinal de , on en dduit que divise lordre de (car et sont premiers entre eux), mais rien ne dit quil ny a pas de groupe contenant et dordre , dailleurs cest le cas. Allez : Exercice 28 Correction exercice 29. 1. Rappel : lordre dun lment dun groupe ( ) est le plus petit entier strictement positif

tel que

tant llment neutre. Souvent on note multiplicativement les lois abstraites et la condition ci-dessus scrit : est un groupe pour laddition (et certainement pas pour la multiplication) donc lordre dun lment est le plus petit entier strictement positif tel que : Car est llment neutre de ( ). Cette condition scrit . Il faut montrer que le plus petit entier tel que est . Il existe tel que , manifestement et donc , comme on a (avec ). Allez : Exercice 29 38

sont impossible donc

alors

Groupes, anneaux, corps

Pascal Lain

2. Par contraposition pour montrer que : Si lordre de dans vaut alors est premier avec On va montrer que : Si nest pas premier avec alors lordre de dans ne vaut pas avec et premiers entre eux, on en dduit que : car et ne sont pas premiers entre eux, comme on a . , lordre de est infrieur ou gal avec ce qui montre bien que lordre de nest pas . Rciproque : On appelle lordre de . Comme lordre de est infrieur . On a . Ce qui implique quil existe tel que . Comme divise et que est premier avec , daprs le thorme de Gauss divise , il existe donc tel que , ce que lon remplace dans , ce qui entraine que , on rappelle que pour en dduire que . Allez : Exercice 29 tel que , il faut montrer que est lordre de . On appelle lordre de . donc . Comme est lordre de , donc il existe tel que , or ce que lon remplace dans , cela donne ce qui entraine que ( ne peut tre nul car un ordre nest pas nul), on en dduit que . Lordre de est o . Allez : Exercice 29 3. Il existe 4. Par dfinition de , pour tout ( ) ( )? Est-ce que est bien dfinie ? on peut avoir sans que mais a-t-on ( ) Si , il existe tel que donc ( ) ( ) ( ) Car pour tout lment dans de cardinal , . Lapplication est bien dfinie. Montrons que sont tous distincts. { }, Sil existe tels que alors ce qui implique que , { } tel que : On fait la division euclidienne de par , il existe un unique ( ) ( ) est strictement infrieur lordre de , cest--dire donc multiple de lordre de cest--dire de , . { { ( ) (

. On en dduit que )

est un

) } est , ce qui entraine que Le seul multiple de dans { ( , effectivement les sont tous distincts. Cette dmonstration fait partie du cours mais cest ce que demande cet exercice. } ont tous une image distincte dans lensemble lments de Les lments de { { }, est une bijection. Il reste montrer quil sagit dun morphisme de ( ) dans ( ) ( ) ( ) () est un isomorphisme de ( ) dans ( ). Allez : Exercice 29 Correction exercice 30. 1. a) est un nombre premier donc (

) est un corps. 39

Groupes, anneaux, corps b) 2. a) ( ) ( ) ( ) ( ) ( ) (

Pascal Lain

( ) ( ) La loi est commutative. ( ) ( ) ( ) b) La loi est interne. ( ) (( ) ( )) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Donc la loi

( ) ( (( ) ( )) ) ( )

( )

est associative. ( ) ( ) ( ) ( ) ( ) Donc ( ) est llment neutre pour la loi . Et enfin ( ) est le symtrique de ( ), car ( ) ( ) ( ) ( ) ( ) c) ) ( ) ( ) ( ) ( ) ( ) ( ) ( donc la loi est commutative. ) ( ) c) ( ) ( ) ( Donc la loi est une loi interne. d) ( ) (( ) ( )) ( ) ( ) ( ) ( ) (

( )

) ( ( ) ( )) ( ) ) ( ) ( ) ( ) ( ( ( ) ( ) ( ) ( ) Donc la multiplication est distributive sur laddition. e) ( ) ( ) ( ) ( ) Donc ( ) est llment neutre pour la multiplication. f) Toutes les proprits ci-dessus montre que ( ) est un anneau commutatif unitaire. Pour montrer que cest un corps il reste montrer que chaque ( ) diffrent de ( ) admet un symtrique ( ) pour la multiplication. Allez : Exercice 30 Correction exercice 31. 1. Remarque prliminaire : Pour tout : ( ) {

( ) ( ) 40

( ) ( )

Groupes, anneaux, corps En effet ( ) Montrons que ( ( ) et videmment ( ) ( ) .

Pascal Lain

) est un groupe ablien (commutatif). ( ) ( ) ( )( ) { donc ( ) ( ) { } dfinie par pour Soit , ( ) Pour tout et pour tout : ( ( est llment neutre. Pour tout et pour tout )( ) )( ) { {

, , ( ) ( ) ( ) ( )

est une loi interne. donc ( ( ( ( ) ) ) ) est non vide. ( ) ( )

Donc le symtrique de Commutativit : Pour tout et pour tout ( Donc )( ) {

( ) ( ) ( ) ( ) est . (Et donc tous les lments de admettent un symtrique). ( )( ) { : ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

)( )

est commutative. Associativit : Pour tout et pour tout (( ( ( ( ( Si ( ) ( ( Si ( ) ( ( Si ( ) ( ( Si ( ) ( ( Si ( ) ( ) )( ) )( ) ( ) )( ) )( ) ( ) )( ) )( ) ( ) )( ) )( ) ( ) ( ) ( ) ( ) (( ( ) ( ) ( ) (( ( ) ( ) ( ) (( ( ) ( ) ( ) (( ( ) )

: )( ) ))( ) )( ) )( ) { { { {

( ( ( ( ( ( ( ( ) ) ) ) ) )

)( ) ( ) )( ) ( ) ( )( ) ( )( ) ( ) ( ) ( ) ( )

) donc (( ( donc ( ) )( ) ( ) donc (( ( donc ( ) )( ) ( ) donc (( ( donc ( ) )( ) ( ) donc (( ( donc ( ) )( ) ( 41

)( ) ))( ) ( ))( ) )( ) ))( ) ( ))( ) )( ) ))( ) ( ))( ) )( ) ))( ) ( ))( )

Groupes, anneaux, corps ( ( )( ) )( )

Pascal Lain

( ) ) )( ) donc (( ( ) ( ))( ) donc ( ) ( ))( ) (( )( ) ( ( ) Si ( ) ( ) ( )( ) ( ) ) )( ) donc (( ( )( ) ( ) ( ))( ) donc ( ) ( ))( ) (( )( ) ( ( ) Si ( ) ( ) ( )( ) ( ) ) )( ) donc (( ( )( ) ( ) ( ))( ) donc ( ) ( ))( ) (( )( ) ( ( ) Si ( ) ( ) ( )( ) ( ) ) )( ) donc (( ( )( ) ( ) ( ))( ) donc ( ) ( ))( ) (( )( ) ( Dans tous les cas, cest--dire pour tout , pour tout ) ( ))( ) (( )( ) ( Donc ( ) ( ) La loi est associative. Autre mthode pour montrer lassociativit { ( ) }, { ( ) }, { ( ) }, { On pose ( ) }, { ( ) } et { ( ) }. ( ) ) ( ) et que On remarque que lensemble des tels que ( ) est ( ) ( ). lensemble des tels que ( ) ( ) est ( ( ) ( ) ( ) ( ). De mme lensemble des tels que est ( ) ( ) ( ) { { ( ) ( ) ( ) ) (( )( ) ( ) ( ) ( ) { { ( ) ( ) { ( ) ) )( ) Lensemble des tels que (( est lensemble des tels que : ( ( ) ( ) et ( ) ) ou ( ( ) ( ) et ( ) ). Le premire ensemble est : ) ( )) ) ) (( (( ) (( ) ( ) ( ) Le deuxime ensemble est : ) ( )) ) ) (( (( ) (( ) ( ) ( ) )( )( )( )} alors Autrement dit si ( ( ) ( ) ( )) {( ) (( )( ) )( )( )( )} alors Dans tous les autres cas, cest--dire si ( ( ) ( ) ( )) {( ) (( )( ) ( ) ( ) ( ) { { ( ) ( ) ( ) ( ))( ) ( ( ) ( ) ( ) { { ( ) ( ) { ( ) ( ))( ) Lensemble des tels que ( est lensemble des tels que : ( )). ( ( ) et ( ) ( )) ou ( ( ) et ( ) Le premier ensemble est : 42

Groupes, anneaux, corps (( Le deuxime ensemble : (( ) ( ) ( )) ( Autrement dit si ( ( ) ( ) ( )) ( )) ) ( ( ( ( ( )) ) )) ) ( ( ))

Pascal Lain

))

) ( {( )( )( )( )} alors ( ))( ) ( )( )( Dans tous les autres cas, cest--dire si ( ( ) ( ) ( )) {( ( ))( ) ( ) ( ))( ) et donc )( ) ( Finalement pour tout , (( ( ) ( )) ( La loi est associative. ( ) est un groupe ablien. Allez : Exercice 31

)(

)} alors

2. Montrons que est une bijection de sur . ( ) { ( ) } Pour toute partie , on pose ( ) dfinie par : ( ) ( ) Si , ( )( ) et si , ( )( ) . Or si , ( ) et si ( ) ( ) { ( ) , on a , autrement dit pour tout , il existe ( }) tel que : ( ) Cela montre que est surjective et mme bijective parce quil est assez peu vraisemblable quil puisse ( ) mais on va quand mme faire leffort de montrer exister un autre ensemble qui vrifie linjectivit. ( ) ( ) ( ) Pour montrer que ( ) on va montrer que Il existe, soit et soit et . Prenons le premier cas (le second se traite exactement de la mme faon). ( )( ) ( ) ( )( ) ( ) ( ), est injective et donc bijective. Donc ( ) ) vers ( ). Il reste montrer que est un morphisme de ( Pour tout . Pour tout ( )( ) ( ) ( ) ( ) ( ) ( ) et que donc { On rappelle que } forme une partition de . ( ) Si alors ( ) Si alors ( ) Si alors ( ) Si alors ( ) ( ) ( ))( ) ( )( ) { ( ( ) ( ) ( ) )( ) Si alors ( ) et ( ) donc ( )( ) Si alors ( ) et ( ) donc ( )( ) Si alors ( ) et ( ) donc ( )( ) Si alors ( ) et ( ) donc ( Par consquent pour tout : ( )( ) ( ( ) ( ))( ) Et que donc ( ) ( ) ( ) est un morphisme, comme est bijective cest un isomorphisme, donc est un isomorphisme de ( ) sur ( ) or ( ) est un groupe ablien, on en dduit que ( ) est un groupe. Que tout ) tout lment est son propre lment soit son propre symtrique provient du fait que dans ( 43

Groupes, anneaux, corps

Pascal Lain

symtrique, redmontrons le. Il est peu prs clair que ( ) ce qui montre que llment neutre ) est . de ( Pour tout , il existe (un unique) tel que ( ) or pour tout , do ( ) ( ) ( ) ( ) Chaque lment de Allez : Exercice 31 3. Pour tous , ( Cela montre bien que Allez : Exercice 31 4. ( ) ) , ( est ablien. ) est son propre symtrique.

donc est rflexive. ( ) Dans tous les lments sont leur propre symtrique donc . Par consquent ( La relation est symtrique. , { { { { {

) , ce qui signifie que )

La relation est transitive. Finalement la relation est une relation dquivalence. Soit et ( ), ou , la classe de au plus deux lments lments peuvent-ils tre gaux, ce qui est impossible puisque ( ) { } Allez : Exercice 31 , ( ) et ( ). Or ( ) ( ) Car . est une loi interne. ( ) { } donc nest pas vide. Il reste chercher le symtrique dun lment de . Pour cela il faut chercher llment neutre : ( ) ( ) ( ) ( ( ) { } est llment neutre. ( ) ( ) ( ) ( ) Donc ( (car ) est le symtrique de ( ) ( ( ) ( )) La loi est associative. ( ) est un groupe. ( ) ( ) ( ) Chaque lment est son propre symtrique. Allez : Exercice 31 5. Prenons deux lments de 6. On pose ( ). 44 ( )

et .

, ces deux

) )

( ) (

( ) ) ( ) ( ) ( )

) ( ( ). ( ( ) ( )

( )) ( )

Groupes, anneaux, corps

Pascal Lain

est un groupe de cardinal , puisquil y a deux lments dans chaque classe et que lensemble des classes forment une partition de . est un groupe dont chaque lment est son propre symtrique donc on peut dfinir une relation dquivalence (comme sur ) telle que soit un groupe dont tous les lments sont leur propre symtrique. Comme prcdemment le cardinal de est la moiti du cardinal de , soit . On dfinit ainsi une suite de groupes quotients jusqu ce quil ne reste plus quun lment dans le dernier groupe quotient, on en dduit quil existe tel que , autrement dit . Cette dmonstration est un peu vaseuse mais jespre que cela donne une ide de ce quil se passe. La mise en forme dune dmonstration parfaite avec une dmonstration par rcurrence rigoureuse ne me parat pas utile. Allez : Exercice 31 Correction exercice 32. { 1. Pour tout Pour tout ( ) }, } ( ( )) ( ) ( ) ( ) ( ) ) est un groupe, mais si lnonc ) ( ) ( ) ( ) (

{ ( )

car )

. ( ) ( ) ( )

( ( )) ( )

( ( )) ( )

( )

( ( ))

On ne peut pas en dduire que car on ne sait pas que ( est correct cest le rsultat que lon va trouv. ( ( ) ( ( )) ( ) ( ) ( ) ( ( )) ( ( )) ( ) ( ) ( )

( ) ( ) ( ( ))

( ( )) ( )

( )

( ) ( )

( )

( ( )) ( ) ( ) ( ) ( ) ( )

( ( ( )) ( ( ))

) ( ( ) ) ( ) ( ( 45 ) )

) ( ) ( ) ( ) ( ) ( )

( )

( ( )) ( ( )) ( ( ))

Groupes, anneaux, corps ( ) ( ) ( ( )) ( ( )) ( ( ) ) ( ) ( )

Pascal Lain

( ( )

) ( )

( )

( ( ))

( )

( ( ))

( )

( )

( ( ))

( )

( ) ( )

( ( )) ( ( ))

( (

) ) ( )

( ) ( )

( )

( ( ))

( ) ( )

( )

( )

( ( ))

( )

( )

( ( ))

( )

Ouf !!!!

Allez : Exercice 32 { }, il existe { } tel est une loi interne, on le voit sur la table, pour tout que : est llment neutre. Chaque admet un unique symtrique car sur chaque ligne et chaque colonne il y a une et une seule fois qui est llment neutre. { }. est un sous-groupe de lensemble des bijections de Allez : Exercice 32 2. 3. par exemple : Allez : Exercice 32 et donc le groupe nest pas ablien. 46

Groupes, anneaux, corps

Pascal Lain

4. Daprs le thorme de Lagrange, lordre des sous -groupes de divise lordre de donc lordre des sous-groupes de divise , leur ordre sont , , et . { } Si lordre est , { }. Si lordre est , Si lordre est , il y a et lautre lment vrifie donc { } { } { } Si lordre est , il y a et lordre des deux autres lments nest pas puisque leur ordre doit diviser autrement dit leur ordre est , donc il ny a pas , ni , ni . Il reste ventuellement et , on crit la } table de {

La loi est interne, chaque lment admet un symtrique, cest un sous -groupe de dordre . Allez : Exercice 32 5. Il sont dordre pour { }, dordre pour { }. dordre pour { Allez : Exercice 32 { }. 6. Allez : Exercice 32 { }. 7. Allez : Exercice 32 Correction exercice 33. 1. }, { } et { }, dordre

et cest le seul

pour {

} et

( )( ) ( ) ( ) ( ) Car tant un groupe, la loi est interne donc , de mme est un groupe donc On note llment neutre de et celui de ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) est llment neutre pour la loi . Montre que ( On appelle le symtrique de pour la loi et le symtrique de pour la loi ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ) Montre que le symtrique de ( ) pour la loi est ( en effet et car et sont des groupes. Il reste lassociativit ( )( )( ) ( ) (( ) ( )) ( ) ( ) ) ( )) (( ) ( ) ) ( ) ( ( ) ( ) (( )) ( ) ( ) (( ) ( )) (( ) )) ( ) Montre que la loi est associative car et sont deux lois associatives. Finalement ( ) est un groupe. 2. est un sous-groupe de donc , est un sous-groupe de donc , par consquent ( ) . ( )( ) ) ( ) ( ) ( ) ( ,( ) Comme est un sous-groupe de , pour tout , , de mme comme est un sousgroupe de , pour tout , , par consquent ( ) ( ) ( ) 47

Groupes, anneaux, corps Cela montre que Allez : Exercice 33 est un sous-groupe de .

Pascal Lain

Correction exercice 34. Rappel : Lensemble des applications de dans , munis de la loi de composition des applications nest pas un groupe, pour que cela soit un groupe il faut que ces applications admettent un symtrique, cest --dire une bijection rciproque. Cest pour cela que lon va montrer que les ensembles suivants sont des sousgroupes de lensemble des bijections de dans , not ( ). 1. On appelle lapplication dfinie pour tout par ( ) . ( ) , est llment neutre de ( ( ) ), il appartient ( ) ( ) ( ( )) Pour tout , , donc . ( ) ( ) ( ( )) Pour tout , , donc est le symtrique de et car . ( ) est un sous-groupe de ( ( ) ). 2. Mme dmonstration. 3. On pose lapplication dfinie pour tout par ( ) ( ) , est llment neutre de ( ( ) ), il appartient ( ) ( ) ( ( )) ( ) Pour tout , , donc . ( ) ( ( )) ( ) Pour tout , Donc ( ) car . ( ) est un sous-groupe de ( ( ) ). ( ) 4. On pose lapplication dfinie pour tout par ( ) , est llment neutre de ( ( ) ), il appartient ) Pour tout ( ) ( , ( ) ( )) ( ) ( ) ( ( ) donc . ( ) Pour tout , ( ) ( ) , donc ( ) ( ( )) ( ) ( )

( ) est un sous-groupe de ( ( ) ). Allez : Exercice 34 Correction exercice 35. 1. est un ensemble minor par donc il admet une borne infrieure . 2. Supposons que , il existe tel que et il existe tel que On pose , car et car et sont dans qui est un groupe additif. De plus { {

On a construit un lment de qui est infrieur , il y a une contradiction puisque ( ), par consquent . 3. Il est vident que . Montrons linclusion dans lautre sens. Soit , on pose ( ) o ( ) est la partie entire de . Par dfinition de la partie entire, puisque :

48

Groupes, anneaux, corps Si , comme , et , tant un groupe ( ) donc il y a une contradiction puisque Cela montre linclusion dans lautre sens. Finalement . 4. Il existe un lment de tel que . On pose ,

Pascal Lain , comme . ( ) . On a alors, puisque ,

{ On pose 5. On pose

( ) , donc avec . ) { } ( , ) ( ) ( Soient et , ) ( et . ). Cela montre que ( ) est un sous-groupe de ( ( ), supposons que Daprs 2. ( ) donc il existe tel que ( alors il existe ) , autrement dit pour tout lment que : ( ) Donc ( ) Si alors ce qui est faux, donc et par consquent On a montr que pour tout Si , pour tout il existe { et pour tout , tel que :

car

tel

ce qui veut dire que le quotient de deux entiers

est constant, ce qui est faux. Si , pour tout , ce qui est faux. Lhypothse est fausse par consquent 4. Allez : Exercice 35

et

est dense dans

daprs

Correction exercice 36. 1. car et . ( ) Soient et , car et . Laddition tant commutative dans , ( ) est un sous-groupe commutatif de ( 2. car et . Soient et , ( )( ) ( ) car et

( ).

La multiplication tant commutative dans , ( ) est un sous-groupe commutatif de ( ). 3. Il ne reste plus qu rappeler que la multiplication est distributive par rapport laddition dans conclure que ( ) est un corps commutatif, car la multiplication est commutative. Allez : Exercice 36

pour

49

Groupes, anneaux, corps Correction exercice 37. 1. Soient [ ], [ ] et

Pascal Lain

[ ] car et . ). Cela montre que ( [ ] ) est un sous-groupe de ( [ ] et [ ], Soient ( ) ( [ ] )( ) La multiplication est une loi interne sur [ ]. [ ], ). ( [ ] ) est un sous-anneau de ( Remarque : Les proprits de distributivit et lassociativit de la multiplication sont videntes dans . 2. Pour tout il existe un unique tel que ( ) , est une bijection de [ ] sur [ ]. [ ] et [ ], Soient ( ) (( )) ( Et dautre part ( ) ( ) ( )( ) ( ) ( ) ) ( ( ) ) ) ( ( ( ) ) ) ) ( ) est un morphisme pour la loi . (( )(

[ ], ) (

( On a bien (( )( )) ) ( ) est un morphisme pour la loi . [ ], on pose ( ) 3. Pour tout ( ). Montrer que est une application de [ ] dans , qui est un morphisme pour la multiplication. Pour tout ( ) ( )( ) [ ] et [ ], Soient (( )( ( ( )) ) ( ( ( ( ) )( ) ( ) ( [ ] ) ( ) ) ( ) ) ) ( ) ) )

( ) ( On a bien

)(

(( )( )) est un morphisme danneau pour la loi . 4. Soit un lment inversible de [ ], ( ) ( ) Comme pour tout [ ], ( ) , (

50

Groupes, anneaux, corps ( ) { ( ) ( ) ( )

Pascal Lain

( ) ( )

Cela montre que si est inversible alors ( ) . Rciproque : si ( ) . ( ) ( )( ) Cela montre que est inversible dans [ ]. 5. et ( donc ) est inversible. ( donc ) ( ) est inversible. Allez : Exercice 37 Correction exercice 38. 1. Soit lorigine du plan complexe. est la rotation de centre et dangle . est la rotation de centre et dangle . est la rotation de centre et dangle (ou ). est la symtrie par rapport laxe horizontal. est la symtrie par rapport la droite dquation est la symtrie par rapport laxe vertical. est la symtrie par rapport la droite dquation Allez : Exercice 38

[ ]

(seconde bissectrice). (premire bissectrice).

2. Pour montrer que est un groupe, il suffit de vrifier que cest un sous-groupe de lensemble ( ) des bijections du plan complexe dans lui-mme. Lensemble propos est non vide. Observons ensuite que et sont inverses lun de lautre, et que chacun des autres lments de est son propre inverse. La table de composition ci-dessous montre que le produit de deux lments quelconques de est encore dans . Donc est un sous-groupe de ( ). Dans cette table, nous omettons les signes par souci de clart.

Allez : Exercice 38 3. Nous le montrons pour { }, le raisonnement est identique pour les 4 autres. Dans la mesure o est son propre inverse, { } est bien un sous-groupe de . Lapplication qui associe et associe est une bijection, et cest un morphisme pour la loi au dpart, et pour laddition modulo larrive. Il suffit pour cela de sassurer que les tables de composition correspondent.

Dtaillons un peu 51

Groupes, anneaux, corps ( Par consquent Et Dautre part Et ( ( ( ) ( ) ) ( ) ) ( ) ( ) ) ( ) ( ) ( ) ( ) ( )

Pascal Lain

( ) ( )

( ) ( ) ( ) ( ) ( ) { }, ( ) ( ) ( ), cest bien la dfinition dun Cela montre que pour tout morphisme de groupe. Dans la suite on se contentera de constater que les tables correspondent. Allez : Exercice 38 4. Ici encore, le plus simple est de dfinir la bijection, puis de vrifier que cest un morphisme pour les deux lois en comparant les tables de composition. Remarquons que lexistence dun isomorphisme entre un sous-ensemble de et un groupe connu, nous dispense de montrer que ce sous-ensemble est effectivement un sous-groupe. Comme bijection nous choisissons lapplication , dfinie par : ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ( ( Allez : Exercice 38 5. Mme technique ; la bijection est dfinie par : ( ) ( ) ( ) ( ) ) ) ) ) ( ( ( ( ( ) ) ) ) ) ( ( ( ( ( ) ) ) ) ) ( ( ( ( ( ) ) ) ) ) ( ( ( ( ( ) ) ) ) )

Allez : Exercice 38 et pour . ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) Cest vident, il suffit de faire un dessin dans et de placer les points . Puisque et laissent invariant lensemble { }, cest aussi le cas pour toute transformation du plan compose de et , donc pour tous les lments du groupe . Allez : Exercice 38 7. Soient deux lments du groupe . Soient : ( ) () Autrement dit ( ) Alors, pour tout , ( ) ( ( )) 52 et et les deux permutations de ( ) ( (
( )) ()

6. Vrifions-le pour

telles que pour tout

)
( ( )) ()

Groupes, anneaux, corps

Pascal Lain

) ( ) ( ). Donc est un morphisme pour la composition des applications Donc ( dans au dpart, et pour la composition des permutations larrive. Allez : Exercice 38 8. Voici le tableau donnant limage par des lments de .

( ) (

) (

) (

) (

) (

) (

) (

) (

Cest vident pour ( ), ( ) et ( ) On va plutt utiliser la notation ( ( ) ( ) ( ) ( ( Allez : Exercice 38 9. Puisque est un morphisme, est un sous-groupe de . Le tableau de la question prcdente liste tous les lments de , qui sont tous distincts. Donc la restriction de larrive est une bijection : est donc un isomorphisme de sur . Allez : Exercice 38 Correction exercice 39. 1. Lensemble est non vide. Il suffit de vrifier que est un sous-groupe pour laddition, et que la multiplication est stable. Soient quatre lments de . ) ( ) ( ) ( ) ( Donc ( ) ( ) ) ( ) ( ) ( ) ( Donc ( ) ( ) 2. Observons dabord que pour tout lment de , ( ( )) . Donc est une bijection, puisque tout lment de a pour antcdent ( ). Montrons maintenant que est un morphisme pour laddition. ) ( ) ) ( ) ( ) (( (( ) ( )) Montrons enfin que ( ( ) ( ) ) est un morphisme pour la multiplication. ( ) ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ( ( ( ( ) ) ) ( ( ( ) ) ) ( ( ( ) ) ) ) ) )

53

Groupes, anneaux, corps (( ) ( ( )) ) (( ) ( ) )

Pascal Lain

( ) ( ) ( ) ( ( ) ) 3. Soit un lment quelconque de . ( ) ( ) ( ) ( ) Donc est bien une application de dans . Montrons que cest un morphisme pour la multiplication. Soient et deux lments de . ( ) ( ) ( ) ( ) ( ( ))( ( )) ( ) ( ) En utilisant le fait que est un morphisme pour la multiplication. ( ) ( ) 4. Si ( ) , alors ( ) est inverse de , et si ( ) , alors ( ) est inverse de : la condition est suffisante. Montrons quelle est ncessaire. Soit un lment inversible de : il existe tel que . Mais comme est un morphisme pour la multiplication, ( ) ( ) . Or ( ) et ( ) sont des entiers. Les seuls lments de inversibles pour la multiplication sont et . Do le rsultat. 5. Il suffit de calculer limage par , et dappliquer le rsultat de la question prcdente. ( ) Linverse de est . Allez : Exercice 39

54