Académique Documents
Professionnel Documents
Culture Documents
(n)
= 1 [n]
p1
= 1 [p]
a = a [p]
p
avec m
G
gx
Bij (G)
Page 1
G. COSTANTINI
n 1)
n 1)
g = ri ou g = ri o s
Dmontrer que :
G = < r, s >
c) En dduire que :
o r = r1
Prciser l'ordre de G.
3. Compositions d'lments de G :
a) Dmontrer que :
s o r o s o r = Id
b) Dmontrer que :
i, j 0, n1 , (ri o s) o (rj o s) = ri j
Z(G) = {x G | y G, xy = yx}
G G G
g . x = gxg1
(g, x)
Sx = {g G | g . x = x} (stabilisateur de x)
Card(G )
Card( S x )
xI '
O I' est une partie de G contenant exactement un reprsentant non central de chaque classe de conjugaison.
3. Applications aux p-groupes. (Groupes d'ordre p, o p premier et
a) Dmontrer que le centre d'un p-groupe est non trivial. (C'est--dire non rduit l'lment neutre)
b) Dmontrer que pour = 2 les p-groupes sont abliens.
Page 2
G. COSTANTINI
Exercice 1
y x1y H)
(x, y) G2, (x
a. Montrons que
x1x = 1 H donc x
x
y x1y H
x,
est rflexive.
H sous groupe
(x1y)1 H y1x H y
(x1y H et y1z H)
(x
y et y
Donc
z)
x, donc
est symtrique.
(x
z),
est transitive.
a : H
h
a(h1) = a(h2)
ah1 = ah2
aH
ah
ah = bh'
a = bh'h1
bh'h1h"
Or, h'h1h" H, donc tout lment ah" de aH est aussi lment de bH, d'o :
aH bH
On montre, de mme :
bH aH
On a donc :
aH = bH
Page 3
G. COSTANTINI
Remarque : on pouvait affirmer ce rsultat directement car les classes d'quivalences forment une partition
de G.
d. Concluons :
En notant m le nombre de classes gauches, on a donc :
m
G=
an H
n =1
|G| =
D'o :
an H =
H = m|H|
n =1
n =1
Notons que cette dmonstration peut se faire aussi en raisonnant sur les classes droite Ha et, qu'en cas de
groupe commutatif, les classes gauche et droite concident (aH = Ha).
b) Soit m l'ordre a. (On a donc : a = 1). On sait que m divise n : n = km. Donc a = (a ) = 1.
m
c) Soit G un groupe d'ordre un nombre premier p. Soit a 1 dans G. Notons m son ordre (m > 1 car a 1).
Comme m divise p, on a ncessairement m = p donc G = < a >.
(n) = kd
tel que :
( )k = 1
a (n ) = a d
Donc
(galit dans
(n)
p1
))
= 1 [n]
(p)
= 1 [p]
= 1 [p]
si (a, p) = 1, alors il suffit de multiplier l'galit ci-dessus par a pour obtenir : a = a [p]
p
On a donc bien :
a , a = a [p]
p
Exercice 2
Page 4
G. COSTANTINI
G = {a , n } o a G (a s'appelle un gnrateur de G)
n
pour m
a :
n
a
n+n'
n'
| a = 1} est un sous-groupe de
n
Ker(a) = m
tel que :
m = 0 : et alors Ker(a) = {0}, a est injective et donc bijective. Donc G est infini et isomorphe ( , +). Ce
qui n'est pas le cas, par hypothse.
a(n) = a(n')
a =a
n
n'
a
n n'
=1
n n' Ker(a)
n n' m
n = n' [m]
a :
ker( a ) =
m
n
n = n ) et surjectif.
m .
L'entier m
k Ker(a)
km )
,n
d, tel que :
Page 5
h = an
G. COSTANTINI
0, d 1 , n = qd + r
h = an = aqd + r = (ad)q ar
Alors :
Donc h = (ad)q. Autrement dit, h < ad >. On en dduit : H < ad >. Donc H est cyclique.
3. Soit a un gnrateur de G.
Soit d un diviseur de m : q
, m = dq.
dq' multiple de m = dq
Donc :
q' multiple de q
Ce qui prouve :
H' H
H' = H
gx = gy
Comme G est un groupe, g1 existe. En multipliant gauche par g1, on obient bien :
x=y
D'o :
(g) = (g')
Page 6
G. COSTANTINI
x G, (g)(x) = (g')(x)
Alors :
g(x) = g'(x)
C'est--dire :
gx = g'x
g = g'
1) Il est clair que G est un sous-groupe du groupe symtrique Sn. D'aprs le thorme de Lagrange, on peut
affirmer que l'ordre de G divise n !
2) a) g possde dj deux points fixes. Il y a videmment A0. Mais galement O. En effet, comme g est affine,
elle conserve le barycentre d'une famille de points. Donc g(O) = O.
(Car O est l'isobarycentre de A0, A1, ... An1)
En consquence, g fixe la droite (A0O). (Puisque cette droite est l'ensemble des barycentres de A0 et O)
g = s ou g = Id
On en dduit :
b) On a :
ri1 o g = s ou ri1 o g = Id
Et d'aprs a) :
g = ri o s ou g = ri
D'o :
De plus, ces deux isomtries sont bien distinctes puisque l'on a, par exemple :
c) D'aprs les questions a) et b), on a examin toutes les possibilits de transformation du point A0.
( chaque image possible de A0 correspond deux isomtries distinctes).
On a la liste des isomtries suivantes :
G = < r, s >
r o s o r = Id ou r o s o r = s
r o s o r(A1) = r o s(A2) = r(An2) = An1. Donc r o s o r Id.
rosor=s
D'o :
s o r o s o r = Id
(On a aussi : r o s o r o s = Id)
b) Utilisons r o s = s o r1. (D'aprs 3)a))
(ri o s) o (rj o s) = ri o s o r o ... o r o s = ri o s o s o rj = ri j
j fois
Page 7
G. COSTANTINI
A0
A0
i:G
g
Soit
Aut(G)
ig : G G
x
gxg1
On vrifie que i est un morphisme de groupe dont le noyau est Z(G), ce qui prouve le rsultat.
2. Puisque les orbites sous G forment une partition de X, on a :
Card(X) =
Card(G . x)
xI
Sx
Card(G . x) =
Card(G )
Card( S x )
D'o :
Card(X) =
Card(G )
Card( S x )
xI
Dans le cas o G opre sur lui mme par conjugaison, chaque lment x du centre Z(G) dfinit une orbite
rduite lui mme :
En effet, rappelons que : OrbG(x) = G . x = {g . x o g G} = {gxg1 o g G}
On a donc :
Card(G )
Card( S x )
xI '
O I' est une partie de G contenant exactement un reprsentant non central de chaque classe de conjugaison.
3. D'aprs le thorme de Lagrange, pour tout x G, Card(Sx) divise Card(G) = p.
Or, si x est non central (et donc x 1), alors Card(Sx) > 1 donc Card(Sx) = p avec 1
Page 8
G. COSTANTINI
Par ailleurs :
x Z(G) y G, xy = yx y G, x = yxy1 y G, x = y . x y G, y Sx Sx = G
Mais comme x est non central, Sx est un sous-groupe propre de G (contrapose de x Z(G) G = Sx)
Donc :
Card(G )
= 0 [p]
Card( S xi )
D'o :
On a donc :
Or, Card(Z(G))
<
Sx = ZG(x)
G
+x
Card(Z(G)).
ZG(x)
Z(G)
p + 1.
Page 9
G. COSTANTINI