• Aucun résultat trouvé

2Sous-groupes 1G´en´eralit´es Tabledesmati`eres Groupes

N/A
N/A
Protected

Academic year: 2022

Partager "2Sous-groupes 1G´en´eralit´es Tabledesmati`eres Groupes"

Copied!
4
0
0

Texte intégral

(1)

Groupes

Table des mati` eres

1 G´en´eralit´es 1

2 Sous-groupes 1

3 Morphismes de groupes 2

4 Groupes finis 3

Sont cens´ees connues : la d´efinition d’une loi de composition sur un ensembleE, et les propri´et´es int´eressantes (associativit´e, commutativit´e, ´el´ement neutre, ´el´ement r´egulier, ´el´ement inversible, inverse, partie stable).

1 G´ en´ eralit´ es

D´efinition: ungroupe est un couple (G, ⋆) o`uGest un ensemblenon videmuni d’une loi ⋆v´erifiant :

• (G1)⋆ est associative ;

• (G2)⋆ poss`ede un ´el´ement neutre ;

• (G3) tout ´el´ement de Gposs`ede un sym´etrique pour la loi ⋆.

D´efinition: un groupe (G, ⋆) est ditcommutatif (ouab´elien) lorsque la loi⋆ est commutative.

Exemples — (Z,+), (R+), (Q,×), (R+,×), (U,×) o`u U d´esigne l’ensemble des complexes de module 1 sont des groupes commutatifs. Pourn>3, le groupe des permutations de [[1, n]] (ougroupe sym´etrique), not´e (Sn,◦), n’est pas commutatif : les transpositionsτ1,2 etτ1,3ne commutent pas. Pour la composition, le groupe desmanipulationsdu cube de Rubik n’est pas commutatif.

Notation: un groupe commutatif est souvent not´e additivement : la loi est not´ee +, le sym´etrique de aest not´e−a et appel´e oppos´e de a. Avec la notation multiplicative, la loi est not´ee · ou ×, voire est omise ; le sym´etrique dexest not´e x1, on parle alors de l’inverse dex. Si le groupe est ab´elien, on peut noter x1 pour x1; sinon, cette notation est ambigu¨e : ab d´esigne-t-il a ⋆ b1 ou b1⋆ a? ). Lorsqu’aucune confusion n’est possible, on parlera du groupeGsans pr´eciser la loi.

Proposition: tout ´el´ement d’un groupe (G, ⋆) est r´egulier pour la loi⋆.

Preuve: soienta,xety trois ´el´ements deG. Notonsele neutre deG. Alors :

a ⋆ x=a ⋆ y⇒a1⋆(a ⋆ x) =a1⋆(a ⋆ y)⇒(a1⋆ a)⋆ x= (a1⋆ a)⋆ y⇒e ⋆ x=e ⋆ y⇒x=y D´efinition: l’ordre d’un groupeGfini est le nombre d’´el´ements deG.

Exemples —l’ordre deSn estn! ; l’ordre du groupe des manipulations du cube de Rubik est 210·37·8!·12!.

2 Sous-groupes

D´efinition: une partieH non vide d’un groupe (G, ⋆) est unsous-groupe deGsi elle est stable pour la loi⋆, et si celle-ci induit surH une structure de groupe.

Exemples — (Z,+) est un sous-groupe de (R,+) ; (R+,×) est un sous-groupe de (R,×) ; (U,×) est un sous-groupe de (C,×) ; tout groupeGcontient les sous-groupesGet {e}(confondus lorsque |G|= 1).

Proposition: le neutre deGest aussi celui deH.

Preuve: notonseG le neutre deG, eteH celui deH. AlorseG⋆ eH =eH =eH⋆ eH donceG=eH puisque eH

est r´egulier.

Proposition: le sym´etrique dansH d’un ´el´ementadeH est ´egal `a son sym´etrique dansG.

1

(2)

Preuve: notons a1 (resp. a) le sym´etrique de a dans G (resp. H). Alors a ⋆ a = eH = eG, et de mˆeme a⋆ a=eG donca=a1.

Remarque: voici une fa¸con peut-ˆetre plus claire de d´efinir un sous-groupe d’un groupe (G, ⋆) : c’est une partieH non vide deG, stable pour la loi⋆, contenant le neutre deGet stable pour le passage `a l’inverse. La proposition suivante donne une caract´erisationrapide.

Proposition: H est un sous-groupe de (G, ⋆) ssi :

• H est non vide ;

• sixety sont dansH, alorsx ⋆ y1 est dansH.

Preuve: le sens direct est banal. Pour la r´eciproque : Hn’est pas vide : soita∈H; alors le neutree=a ⋆ a1 est dansH; soit maintenantb∈H quelconque : b1=e ⋆ b1est dansH; soient enfinb, c∈H quelconques : b ⋆ c=b ⋆(c1)1 est dansH.

Proposition: l’intersection de deux sous-groupes d’un mˆeme groupeGest encore un sous-groupe deG.

Preuve: le neutre deGest dansH1etH2, donc dansH1∩H2, qui du coup n’est pas vide. Soientaet bdeux

´el´ements deH1∩H2: alorsaetbsont dansH1, donca ⋆ b1est aussi dansH1; mˆeme raisonnement pourH2. Donca ⋆ b1 est dansH1∩H2.

Remarque: plus g´en´eralement, on peut montrer que l’intersection d’une famillequelconque de sous-groupes d’un mˆeme groupeGest encore un sous-groupe de G.

3 Morphismes de groupes

D´efinition: soient (G, ⋆) et (H,∧) deux groupes ; une fonction p : G 7→ H est un (homo)morphisme de groupes si elle v´erifiep(x ⋆ y) =p(x)∧p(y) quels que soientx, y∈G.

D´efinition: unisomorphisme de groupes est un morphisme bijectif ; un automorphisme d’un groupe (G, ⋆) est un isomorphisme deGsur lui-mˆeme.

Exemples —la fonctionx7→x2est un morphisme du groupe (R,×) sur (R+), surjectif mais non injectif ; la fonction exp est un isomorphisme du groupe (R,+) sur le groupe (R,×) ; la fonctiont7→eitest un morphisme de (R,+) sur (U,×), surjectif mais non injectif ; la fonction z 7→ z est un automorphisme de (C,+) et de (C,×). Pour tout groupeGde neutree,idG et x7→esont des morphismes deGsur lui-mˆeme.

Proposition: la compos´ee de deux morphismes de groupes est un morphisme de groupes.

Preuve: soient G, H, K trois groupes, p: G 7→ H et q : H 7→ K deux morphismes de groupes. Alors, en notant⋆les lois des trois groupes :

(q◦p)(a ⋆ b) =q¡

p(a ⋆ b)¢

=q¡

p(a)⋆ p(b)¢

=q¡ p(a)¢

⋆ q¡ p(b)¢

= (q◦p)(a)⋆(q◦p)(b)

Proposition: soientGet H deux groupes etpun isomorphisme deGsurH. Alorsp1 est un isomorphisme deH surG.

Preuve: soientx, y∈H. Commepest bijectif, il existea, b∈Gtels quep(a) =xetp(b) =y; alorsa=p1(x) etb=p1(y). Par suite,p(ab) =xy, doncab=p1(xy). Doncp1(x)⋆ p1(y) =ab=p1(xy).

Proposition: l’ensemble des automorphismes d’un groupeGest not´e Aut(G) ; c’est un groupe pour la loi◦.

Preuve: idG est le neutre de Aut(G) ; il est clair que la compos´ee de deux automorphismes est elle-mˆeme un automorphisme ; enfin, si p est un automorphisme deG, alors c’est un morphisme bijectif, donc sa bijection r´eciproque est un morphisme, et elle est bijective (´etabli plus haut).

Proposition: soientGet H deux groupes etp:G7→H un morphisme de groupes ; soientJ un sous-groupe deG, etK un sous-groupe deH. Alorsp(J) est un sous-groupe deH et p1(K) est un sous-groupe deG.

Preuve: soientx, y∈p(J) : il existea, b∈Gtels quep(a) =xetp(b) =y; alorsx ⋆ y=p(a)⋆ p(b) =p(a ⋆ b), et donc x ⋆ y ∈p(J). Soient maintenant c, d∈ p1(K) : alorsp(c) et p(d) sont dans K; du coup, p(c ⋆ d) = p(c)⋆ p(d) est dansK, et doncc ⋆ dest dansp1(K).

Remarque: en particulier,p1¡ {eH

est un sous-groupe deGappel´enoyau depet not´e ker(p) ; etp(G) est un sous-groupe deH, appel´eimage depet not´e im(p).

Proposition: un morphisme de groupesp:G7→H est injectif ssi ker(p) ={eG}.

Preuve: soit a∈ker(p) ; alorsp(a) =eH; maisp(eG) =eH; commepest injectif, a=eG.

Remarque: sur tout ensemble de groupes, la relationest isomorphe `a est une ´equivalence, en ce sens que :

• tout groupeGest isomorphe `a lui-mˆeme (via l’automoprhismeidG) ;

2

(3)

• siGest isomorphe `aH, alorsH est isomorphe `aG(via l’isomorphisme inverse) ;

• siGest isomorphe `aH (viap) etH isomorphe `aK(via q), alorsGest isomorphe `a K(via q◦p).

Remarque: en pratique, on confond souvent deux groupes isomorphes. Classifier les groupes, c’est d´eterminer les diff´erentes classes modulo cette relation, et, pour chacune d’entre elles, pr´eciser un repr´esentant. Ce travail de classification a ´et´e achev´e vers 1985 pour les groupes finis dits simples, qui sont (un peu) aux groupes ce que les nombres premiers sont aux entiers naturels : un groupe fini quelconque est toujours le produit (en un certain sens) de groupes finis simples.

4 Groupes finis

Remarque: un groupe fini peut ˆetre d´ecrit par unetable, comme la suivante, qui est la table de la multiplication dansU3; j d´esigne le complexe exp³2iπ

3

´.

× 1 j j2

1 1 j j2

j j j2 1 j2 j2 1 j

On trouve des tables de ce genre pour l’addition et la multiplication des nombres de 1 `a 10 au dos de certains cahiers d’´ecolier.

D´efinition: uncarr´e latind’ordrenest un tableau `anlignes etncolonnes, v´erifiant la propri´et´e suivante : dans chaque ligne et dans chaque colonne, chacun des nombres 1 `anapparaˆıt une fois (et une seule, en application du principe des tiroirs).

Exemple —une grille de Sudoku (remplie sans erreur) est un carr´e latin d’ordre 9.

Remarque: nous g´en´eralisons cette notion comme suit : soitE={x1,x2, . . . ,xn}un ensemble. Un carr´e latin d’ordrenbas´e surE est un tableau `anlignes etncolonnes, v´erifiant la propri´et´e suivante : dans chaque ligne et dans chaque colonne, chacun des ´el´ements deE apparaˆıt une fois (et une seule, donc).

Proposition: la table d’un groupeGfini est un carr´e latin.

Preuve: Observons par exemple une ligne : soit a l’´el´ement plac´e devant la ligne. Comme aest r´egulier, la fonctionx∈G7→a ⋆ xest injective ; donc tous les ´el´ements de la ligne sont distintcs ; de par le principe des tiroirs, chacun apparaˆıt exactement une fois.

Nous allons maintenant d´ecrire les groupes d’ordre 1 `a 3 ; pour chaque ordre, nous donnerons un groupeabstrait et plusieurs groupesconcrets. Pour les groupes abstraits, le neutre sera toujours not´ee.

Voici d’abord quelques groupes d’ordre 1 : ⋆ e e e

+ 0

0 0

× 1

1 1

Et voici quelques groupes d’ordre 2 ; le deuxi`eme est la table d’addition modulo 2.

⋆ e a e e a a a e

+ 0 1

0 0 1

1 1 0

× 1 −1

1 1 −1

−1 −1 1

Voici le groupe abstrait d’ordre 3 :

⋆ e a b e e a b a a b e b b e a

Notez que le remplissage de la table de ce groupe ne pose aucun probl`eme : dans la premi`ere ligne et la premi`ere colonne, les valeurs sont ´evidentes ; puis, commeaetb sont distincts dee, le produita ⋆ bne peut ˆetre ´egal ni

`aa, ni `ab, donc il est ´egal `ae. Le reste se remplit automatiquement.

Exercice — Montrez qu’il existe deux groupes abstraits d’ordre 4 ; pour chacune des deux structures mises en ´evidence, donnez un exemple de groupe concret qui lui est isomorphe. Indications : la premi`ere ligne et la premi`ere colonne ne posent aucun probl`eme. Observez ensuite que : soit chacun des ´el´ementsa, bet c est son propre inverse ; soit l’un de ces ´el´ements (disonsa) est son propre inverse, tandis queb etc sont inverses l’un de l’autre. Compl´etez alors chacune des deux tables.

3

(4)

FIN

[Groupes] Version du 7 mars 2009

4

Références

Documents relatifs

En 1971, Matijasevic montre que l’ensemble des nombres premiers est diophantien, c’est-`a-dire qu’il existe un polynˆ ome (`a plusieurs variables) dont l’ensemble des

Si la r´ eponse reste la mˆ eme que pr´ ec´ edemment pour la partition minimale, il n’est plus vrai, quand k est impair, que la k -partition minimale correspondante (qui n’est

Pour appliquer ce th´ eor` eme, il faut d’abord v´ erifier que (u i ) i∈I est une famille sommable de complexes, c’est-` a-dire que (|u i |) i∈I est une famille sommable de r´

En d´ eduire l’´ equation r´ eduite (Si besoin, on pourra s’aider de calcul pour calculer l’ordonn´ ee ` a

On dira qu’une homographie f v´ erifie la propri´ et´ e C si, pour tout nombre complexe z tel que la suite (f ◦n (z)) des it´ er´ es de z par f existe, les termes de cette suite

[r]

Acla maJh~mat~ca.. I t will be apparent by inspection of the above formulm, and it becomes still more evident i n working systematically with the twelve func-

Le triangle CAS est ´ equilat´ eral, puisque AC = AS avec angle π/3