Groupes et Actions de groupes

On prsente ici des notions de base de thorie des groupes pour lagrgation interne.

Groupes, morphismes et actions de groupes.

Un groupe (G, ), ou plus simplement G, est un ensemble muni dune opration interne vriant les proprits suivantes : G1 : Lopration est associative, ie (g1 g2 ) g3 = g1 (g2 g3 ) G2 : G possde un lment neutre e, ie e g = g e = g G3 : Tout lment g de G possde un symtrique g , ie g g = g g = e. Dans ce cas, on sait montrer quun lment neutre est unique et que pour tout g de G, son symtrique est unique, il sera not g 1 . Remarquons en passant que (g 1 )1 = g et que (h g )1 = g 1 h1 , on dit que linversion est un antiautomorphisme involutif. On a plus gnralement que tout lment de G est rgulier, ie pour tout g de G g a = g b implique que a = b. Si de plus est commutative, ie g1 g2 = g2 g1 , alors on dit que G est ablien. Exemple fondamental. Si X est un ensemble, lensemble des bijections de X dans X muni de la composition des applications est un groupe, not S (X ). De la mme manire que lindividu nest pas grand chose sans la socit, les groupes ne sont rien sans leurs morphismes : Dnition 1 Soient (G, ) et (H, .) deux groupes et une application de G dans H . On dit que est un morphisme de groupes si vrie (g1 g2 ) = (g1 ).(g2 ). Dans ce cas, on montre que envoie llment neutre de G sur llment neutre de H et le symtrique de g sur le symtrique de (g ). On dit que est un isomorphisme sil est de plus bijectif (dans ce cas son inverse est aussi un morphisme) et que cest un automorphisme si de plus H = G. Un exemple clbre et incontournable dautomorphisme est lautomorphisme intrieur que lon peut construire pour tout g de G. On pose g (h) := ghg 1 et on montre que g est un automorphisme de G appel automorphisme intrieur. Bien sr, si G est ablien, cet automorphisme nest rien dautre que lautomorphisme trivial : lidentit. Lecacit et lubiquit des groupes proviennent de leur action sur des ensembles : 1

Dnition 2 Soit (G, ) un groupe et X un ensemble. On dit que G agit sur X sil existe une application : G X X, (g, x) g.x qui vrie : A1 : e.x = x A2 : g1 .(g2 .x) = (g1 g2 ).x. Une faon quivalente, plus abstraite, mais plus fconde, de dnir une action du groupe G sur lensemble X , se fait par un morphisme de G vers S (X ). Eectivement, on construit partir de par : G S (X ), avec (g )(x) = (g, x). Inversement, on construit partir de par : G X X, (g, x) (g )(x). Remarque. Notons que si G agit sur X , alors G agit sur lensemble des applications de X dans un ensemble Y par g.f = f (g 1 ), et il agit sur lensemble des application de Y vers X par g.f = (g ) f . Une premire proprit importante dune action de groupe est quelle partitionne lensemble X : Dnition 3 Soit G un groupe agissant sur un ensemble X . On appelle orbite pour laction tout sous-ensemble de X de la forme Ox := {g.x, g G}, o x est x dans X . On appelle en particulier Ox lorbite de x. Proposition 1 Si G est un groupe agissant sur X , alors les orbites pour cette action forment une partition de X .

Sous-groupes, classes gauche, groupes quotients.

Les sous-groupes et les classes quon peut leur associer jouent un rle important dans ltude des actions. De plus, lorsque le sous-groupe sera distingu, on pourra dnir une notion de groupe quotient. Les notions de sous-groupes et de groupes quotient permettent souvent de diviser en deux la complexit lie un groupe. Soit (G, ) un groupe et H un sous-ensemble de G, H est appel naturellement sous-groupe de G si H muni de lopration est aussi un groupe. On prfre laxiomatisation plus simple suivante : Dnition 4 Soit (G, ) un groupe et H un sous-ensemble de G, alors H est appel sous-groupe de G sil vrie SG1 : H est non vide 1 SG2 : Si h1 , h2 sont dans H , alors h1 h 2 est aussi dans H . 2

Exemple Un exemple classique de sous-groupe est limage Im() dun morphisme . Le sous-groupe H agit alors sur G par H G G, (h, g ) h g et les orbites pour cette action sont appeles classes droite de G. Les orbites sont de la forme H g = {h g, h H } qui sera souvent note [g ] dans le contexte. Les classes droite forment donc une partition de G et on pose H \G = {[g ], g G}. De mme, on dnit les classes gauche : H g = {h g, h H } et lensemble des classes forment aussi une partition (mme si G H G, (g, h) g h ne dnit pas une action car A2 nest pas vrie). On notera G/H lensemble des classes gauche. Les classes gauche ont un lien important avec les orbites : Proposition 2 Soit G un groupe agissant sur un ensemble X et soit x dans X . Alors, (i) Le stabilisateur Gx := {g G, g.x = x} de x est un sous-groupe de G (ii) Lapplication G/Gx Ox , [g ] g x est bien dnie et tablit une bijection (ensembliste) (iii) Si y = g x est dans lorbite de x alors g Gy g 1 = Gx , et donc les sous-groupes Gy et Gx sont isomorphes via un automorphisme intrieur de G. Preuve : Seul (ii) demande une preuve. Le reste est laiss titre dexercice. Soit g1 pris quelconque dans la classe de g , alors on peut ecrire g1 = g h, avec h Gx . Il vient que g1 .x = (g h).x = g.(h x) = g.x. Ce qui prouve que lapplication est bien dnie. La surjectivit est claire par dnition dune orbite. Montrons linjectivit. Supposons pour cela que g1 et g2 vrient g1 x = g2 x. 1 1 1 1 Alors, on a (g2 g1 ).x = g2 .(g1 .x) = g2 .(g2 .x) = (g2 g2 ).x = e.x = x. 1 Conclusion, g2 g1 Gx , donc g1 g2 Gx et on a bien [g1 ] = [g2 ]. En particulier, si laction est transitive, ie sil ny a quune seule orbite, alors X est en bijection avec un quotient de G. Cest l une des clefs de limportance des groupes en mathmatiques. Le problme est maintenant de savoir si G/H est muni dune structure naturelle de groupe, cest dire si lon peut dnir une opration (encore note *) telle que [g1 g2 ] = [g1 ] [g2 ]. La proposition suivante donne des conditions ncessaires et susantes pour que cette loi soit cohrente, cest dire ne dpende pas du choix de g1 et de g2 dans leur classe (on multiplie en fait deux ensembles !). Proposition 3 Soit G un groupe et H un sous-groupe. Les conditions suivantes sont quivalentes : 3

(i) G/H est muni dune structure naturelle de groupe (i) H \G est muni dune structure naturelle de groupe (ii) Toute classe droite est aussi une classe gauche, ie g H = H g pour tout g (iii) H est stable par tout automorphisme intrieur de G, ie g H g 1 H pour tout g . Preuve : (i)(iii). (i) implique en particulier que [e] [g 1 ] = [e g 1 ] = [g 1 ] et donc que H (g 1 H ) = g 1 H , en particulier comme e est dans H , H g 1 = H g 1 e g 1 H . Il vient que g H g 1 H , do la stabilit. (iii)(ii). On a donc g H g 1 H , mais aussi en changeant g en g 1 , g 1 H g H , cest dire H g H g 1 . Do lgalit g H g 1 = H et donc g H = H g. (ii)(i). Comme (ii) est vrai, on a [g1 ] [g2 ] = (g1 H ) (g2 H ) = g1 (H g2 ) H = g1 (g2 H ) H = (g1 g2 ) (H H ) = (g1 g2 ) H = [g1 g2 ]. Comme (i) et (i) jouent des rles similaires, on a boucl la proposition.

Dnition 5 Un sous-groupe H vriant une de ces conditions est appel sousgroupe distingu de G. Remarques. Si G est ablien alors tout sous-groupe de G est distingu. Si #G/H = 2 alors H est distingu. (TD). Un stabilisateur nest en gnral pas distingu et il ne faut donc pas sattendre une structure de groupe sur G/Gx , la bijection entre quotient et orbite reste une bijection et il ne sera encore moins question disomorphisme. Un exemple trivial de sous-groupe distingu est justement le sous-groupe trivial {e}. Un exemple important de sous-groupe distingu est le centre dun groupe : on appelle centre du groupe G et on notera Z (G) lensemble des lments qui commutent avec tous les autres lments. Z (G) := {z G, g z = z g, g G}. On voit facilement que Z (G) est un sous-groupe et comme z G est quivalent g z g 1 = z , on a en particulier que Z (G) est stable par tout automorphisme intrieur et il est donc distingu. 4

On montre facilement que la primage dun sous-groupe distingu par un morphisme est encore un sous-groupe distingu (ce nest dailleurs pas vrai pour limage). En particulier le noyau dun morphisme est un sous-groupe distingu du groupe de dpart. Rappelons quon appelle noyau du morphisme : G H lensemble ker = 1 {eH }. Son importance rside dans le fait quil mesure linjectivit dun morphisme : un morphisme est injectif ssi son noyau est trivial. Dailleurs on retrouve ainsi que le centre est un sous-groupe distingu puisque le centre nest rien autre que le noyau du morphisme pour laction de conjugaison. Il vient donc que G/ ker a une structure de groupe et on a le thorme fondamental suivant dit disomorphisme canonique : Proposition 4 Soit un morphisme dun groupe G vers un groupe H , alors lap entre les groupes plication [g ] (g ) dnit bien un isomorphisme canonique G/ ker et Im. Remarque. Cela signie quun morphisme est de faon purement probabiliste une chose rare chez les groupes. Eectivement, si chez les espaces vectoriels de dimension nie, deux espaces son isomorphes si et seulement si ils ont mme dimension, la classication des groupes isomorphisme prs est beaucoup plus complexe et beaucoup plus varie. Il existe par exemple 6 groupes dordre 8 deux deux non isomorphes. Cette proposition est importante dans le sens quelle rduit un morphisme lessentiel : dans le groupe de dpart, elle tue le noyau, dans le groupe darrive, elle ne garde que limage. Mais aussi importante quelle soit, elle nest quun cas particulier du passage au quotient :

Proposition 5 Soit un morphisme dun groupe G vers un groupe H , et soit K un sous-groupe de ker , alors lapplication [g ] (g ) dnit bien un morphisme entre les groupes G/K et H . Le noyau de est le quotient ker /K est son image est Im.

Groupes nis.

Ltude des groupes nis reprend les rsultats prcdents mais utilise aussi larithmtique, cest dire ici, la relation divise. Lordre dun groupe est par dnition son cardinal. Dans les groupes nis, les bijections obtenues precedemment donnent des galits de cardinaux. Par exemple le thorme de Lagrange peut sobtenir en faisant agir un sous-groupe H par multiplication gauche sur le groupe G, le stabilisateur dun lment tant trivial par la proprit de rgularit, toutes les orbites on #H lments. Et donc : Thorme 1 Lordre dun sous-groupe divise lordre du groupe. 5

On appelle ordre dun lment g de G le plus petit entier m, m > 0 tel que g m = e. Lordre dun lment g nest rien autre que lordre du sous-groupe quil engendre, cest dire le plus petit sous-groupe de G qui contient g , ou si on prfre {g k , k Z}. A laide dune division euclidienne, on voit que la minimalit de m donne que g n = e m divise n. Corollaire 1 Si G est un groupe ni, lordre dun lment divise lordre de G. Si G est un groupe ni agissant sur un ensemble ni X , on sait que X est partitionn en orbites, ce qui donne, via la bijection quotient/orbite la fameuse quation des classes : #X = #G/#Gx ,
xX/G

o X/G dsigne lensemble des orbites de laction. On note en passant que si le sous-groupe Gx dpend du choix de x dans son orbite, son ordre, lui, nen dpend pas. On sait aussi dans ce cas calculer le nombre dorbites, par une formule trs pratique, un peu plus dlicate dmontrer, la formule de Burnside : #X/G = o Xg = {x X, g.x = x}. Preuve : Lide est de calculer de deux faons direntes le cardinal de lensemble R := {(x, g ), g.x = x}. Si on xe x on a #Gx possibilits pour g et on peut regrouper tous les x dune mme orbite puisque leurs stabilisateurs, tant isomorphes, ont me mme ordre. Cela donne : #R =
xX

1 #Xg , #G gG

#Gx =
Ox X/G

#Gx /#Ox =
Ox X/G

#Gx (#G/#Gx ) =

#G = (#X/G)(#G).
Ox X/G

Si maintenant on xe g , alors on a #Xg possibilits pour x : #R =

g G

#Xg .

Do lgalit par comparaison des deux formules obtenues. Les exemples dapplications de cette formules sont nombreux, en particulier en dnombrement, par exemple dans les problmes de coloriage ou de colliers de perles. 6

Une application incontournable de lquation aux classes est dans son application ltude des p-groupes. Un p-groupe est un groupe dont lordre est une puissance de p. Proposition 6 Le centre dun p-groupe est non trivial. Preuve : Soit G un p-groupe. faisons agir G sur mui-mme par conjugaison, ie g.h = g h g 1 . Lquation aux classes donne alors : #G = O #O, o #O est un quotient de #G, donc une puissance de p. Or, z Z (G) ssi g.z = z pour tout g , cest dire ssi lorbite Oz est rduite un point, le point z . On peut donc regrouper lgalit prcdente en #G = #Z (G) + O #O, avec cette fois-ci les #O de la somme sont des puissances de p divisibles par p. Conclusion, p divise #Z (G) et ainsi, Z (G) ne peut pas tre rduit lidentit. On pourrait dire que nalement, on ne sait pas grand chose sur le p-groupe G puisquen somme, on a juste un maigre renseignement sur son centre. Mais, en regardant de plus prs, la donne conjointe du sous-groupe Z (G) et du groupe quotient G/Z (G) donne des renseignements prcieux sur G. De plus, Z (G) est un groupe ablien ni et G/Z (G) est encore un p-groupe plus petit que G. En fait, on se rend compte que la classication des groupes dordre ni n isomorphisme prs dpend de la complexit arithmtique de n, cest dire de la complexit de sa dcomposition en nombres premiers. Par exemple, il ny a quun seul groupe dordre p premier isomorphisme prs. Eectivement, le thorme de Lagrange montre facilement quun tel sous-groupe est isomorphe Z/pZ. La proposition prcdente est donc un premier pas dans cette classication.

Conseil : Il faut videmment bien connatre les thormes sur les groupes et leurs actions, mais la thorie des groupes se fait aussi de faon botanique. Il est bon de se familiariser (sans tomber tomber non plus dans lamour platonique) avec certaines classes de groupes, et certains types dactions naturelles associes. parce que nalement, on rencontre souvent les mme en pratique. Citons en quelques uns. Groupes : Groupes nis abliens, groupes symtriques, groupes alterns, groupes (spcial)linaires (sur nimporte quel corps, y compris les corps nis), groupes (spcial)orthogonaux. Actions : Action naturelle (S (X ) sur X , GLn (k ) sur k n , On (R) sur la (n 1)sphre). Action par multiplication gauche (dun groupe sur lui-mme), action par conjugaison.