I Gnralits

A) Dfinition
Un groupe est un couple
) , ( G
constitu dun ensemble G et dune loi de
composition interne

sur G de sorte que :

(1)

est associative
(2) Il y a dans G un lment neutre pour

.
(3) Tout lment de G admet un symtrique pour la loi

.
Cest--dire :
e x y y x G y G x
x x e e x G x
z y x z y x G z y x



, , ) 3 (
, ) 2 (
) ( ) ( , , , ) 1 (
Remarque :
Si
) , ( G
est un groupe, il y a unicit du neutre (dj vu en cas plus gnral).
Si de plus

est commutative, on dit que

) , ( G
est un groupe commutatif.
B) Exemples
) , ( + N
nest pas un groupe.
) , ( + Z
est un groupe.
) , ( Z
nest pas un groupe.
) , ( Q
nest pas un groupe, mais
) *, ( Q
en est un.
Crons un groupe trois lments
{ } c b a G , ,
Loi dfinie par la table de Pythagore donnant
y x
:
b a c c
a c b b
c b a a
c b a
y
x
\
On pose a comme lment neutre, et on choisit a b c c b
C) Rgles de calcul
1) En notation bizarre
Soit G un ensemble muni dune loi

formant un groupe.
Il y a dans G un et un seul lment neutre :
Lexistence est dj donne par la dfinition dun groupe.
Supposons que
' , e e
sont deux neutres.
Alors ' ' e e e e (premire galit : ' e est neutre ; deuxime : e est
neutre)
On peut donc parler du neutre du groupe
) , ( G
.
Tout lment x de G admet un et un seul symtrique par

:
Lexistence est toujours donne par la dfinition dun groupe.
Supposons que
' ' , ' x x
sont deux symtriques de x.
Chapitre 1 : Groupes
Algbre et gomtrie Page 1 sur 16
Chapitre 1 : Groupes
Alors
' ' ' ' ' ' ) ' ( ) ' ' ( ' ' ' x x e x x x x x x e x x
On note dans ce sous paragraphe x le symtrique de x.
Pour tout
x x G x ,
:
e x x x x
Donc x est symtrique de x .
Pour tous
x y y x G y x , ,
:
e x x x e x x y y x x y y x x y y x ] [ ] ) [( )] ( [ ) ( ) (
Et
e y y y e y y x x y y x x y y x x y ] [ )] ( [ ] ) [( ) ( ) (
Donc
x y y x
Remarque :
On a, pour tout
) ( ) ( , , , z y x z y x G z y x
.
On peut donc le noter sans ambigut
z y x
Rsolution dquations :
Pour tous
G z y x , ,
:
z y x z x y
y z x z y x


) 2 (
) 1 (
Dmonstration du (1) :
Si
z y x
, alors
y z y y x ) (
.
Or,
x e x y y x y y x ) ( ) (
. Donc
y z x
Si
y z x
, alors
z e z y y z y y z y x ) ( ) (
La dmonstration est la mme pour (2)
Rgularit
Pour tous
G z y x , ,
, on a :
y x y z x z
y x z y z x


) 2 (
) 1 (
(Les autres implications sont vraies aussi mais videntes)
Dmonstration de (1) :
Si
z y z x
, alors
z z y z z x ) ( ) (
Soit
) ( ) ( z z y z z x
, donc
e y e x
c'est--dire
y x
La dmonstration est encore la mme pour (2).
Consquence : dans une table de Pythagore dun groupe fini
) , ( G
, on ne
voit jamais deux fois le mme lment dans une mme range (ligne ou colonne) :
Si
z y x
1 1
et
z y x z y x
1 2 2 1
, alors
1 2 1 1 2 1 1 1
y x y x y x y x
, soit
2 1 2 1
/ x x y y
.
Itr dun lment :
Soit G x . On note (dans ce sous paragraphe seulement) :
2 $ x x x ,
3 $ ) ( x x x x x x x
Plus rigoureusement :
On dfinit, pour tout N n , n x$ par rcurrence en posant :
x n x n x n
e x
+

) $ ( ) 1 $( ,
0 $
N
Alors il est facile (mais pnible crire) dtablir que, pour tout
N p n,
,
) $ ( ) $ ( ) $( p x n x p n x +
et
) $( )$ $ ( p n x p n x
Itr un nombre ngatif de fois :
Soit G x , N n .
On pose
n x n x $ ) $(
Alors n x n x $ ) $(
Les rgles prcdentes se gnralisent Z.
Chapitre 1 : Groupes
Algbre et gomtrie Page 2 sur 16
2) En notation multiplicative (rcriture)
Dans le groupe
) , ( G
avec les notations suivantes :
- Le neutre
G
1
appel aussi lment unit
- Le symtrique de G x est not
1
x , appel aussi inverse de x.
- Litr n fois est not
n
x .
- Le symbole est souvent omis :
y x
est not aussi
xy
.
Les rgles prcdentes donnent :
p n p n
p n p n
n n n
n n
G
x x
x x x p n
x x x n
x x x n
x x
x
y x zy zx
y x yz xz
z y x z yx
zy x z xy
x y xy
x x

+

+

) (
, ,
) ( ) ( ,
,
1
) (
) (
) (
1 1
) 1 (
1
0
1
1
1 1 1
1 1
Z
N
N
3) En notation additive (rserve aux groupes commutatifs)
Dans le groupe
) , ( + G
, avec les notations suivantes :
- Le neutre
G
0
est appel llment nul de G
- Le symtrique de G x est not
x
, appel aussi oppos de x.
- Litr n fois est not
x n.
ou
nx
.
- On suppose de plus que le groupe
) , ( + G
est commutatif, c'est--dire :
x y y x G y x + + , ,
Les rgles donnent alors :
x x ) (
) ( ) ( ) ( ) ( ) ( y x x y y x + + +
) ( ) ( y z x z y x x y + + +
;
) ( y z +
est not aussi
y z
x x n x n n
x x
x
y x z y z x
G
+ +

+ +
. ). 1 ( ,
. 1
0 . 0
N
) . ( ) .( ). ( , x n x n x n n N
, not aussi
x n.
x n p x n p
x p n x p x n p n
) ( ) . .(
). ( . . , ,

+ + Z
D) Autres exemples de groupe
Chapitre 1 : Groupes
Algbre et gomtrie Page 3 sur 16
- Rappels :
Groupes de nombres :
) *, ( ), *, ( ), *, ( ), , ( ), , ( ), , ( ), , ( + + + + Q R C Z Q R C
- Groupes de permutation :
Soit E un ensemble non vide quelconque. On note
) (E S
lensemble des
permutations sur E (ensemble des bijections de E dans E). Alors constitue une loi de
composition interne sur
) (E S
, et
) ), ( ( E S
est un groupe, appel groupe des
permutations de E. Ce groupe est non commutatif ds que E a au moins trois lments.
Dmonstration :
- On peut composer deux bijections de E dans E, et on obtient une bijection de E
dans E.
- La loi est associative :
h g f h g f E h g f ) ( ) ( ), ( , , S
(Dmontr dans un cas plus gnral et pas seulement pour les bijections)
- Neutre :
) ( Id E
E
S
- Tout
) (E f S
a un symtrique pour , savoir
1
f .
Donc
) ), ( ( E S
est un groupe.
Montrons que, pour un ensemble E de plus de trois lments,
) ), ( ( E S
nest pas
commutatif :
Soient a, b, c trois lments de E distincts.
Soient
E E g f : ,
dfinies ainsi :
{ } { }

'

'

x x g c b E x
b c g
c b g
x x f b a E x
a b f
b a f
) ( , , \
) (
) (
) ( , , \
) (
) (
Alors f et g sont dans
) (E S
, puisque ce sont des applications de E dans E et
inversibles dinverse elles-mmes (elles sont involutives).
Et on a alors
f g g f
:
c b g a f g a f g
b a f a g f a g f


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

Exemples :
- On note
n
S
le groupe
) ), ( ( E S
lorsque
{ } n E ,..., 3 , 2 , 1
. Ainsi,
n
S
est un
groupe fini de cardinal ! n .
Table de Pythagore de
2
S
:
{ } , Id
2
S , o :
{ } { }
x x
2 , 1 2 , 1 : Id
{ } { } 2 , 1 2 , 1 :
dfinie par
1 ) 2 ( ; 2 ) 1 (
Tableau donnant
y x
:
Chapitre 1 : Groupes
Algbre et gomtrie Page 4 sur 16
Id
Id Id
Id \

y
x
Table de Pythagore de
3
S
:
{ } ' , , , , , Id
1 , 3 3 , 2 2 , 1 3
s s
E
S
, o :
{ } { }
x x
3 , 2 , 1 3 , 2 , 1 : Id
{ } { } 3 , 2 , 1 3 , 2 , 1 :
,

b a

dfini par
x x a b b a
b a b a b a
) ( ; ) ( ; ) (
, , ,

sinon.
{ } { } 3 , 2 , 1 3 , 2 , 1 : s
dfinie par
1 ) 3 ( ; 3 ) 2 ( ; 2 ) 1 ( s s s
{ } { } 3 , 2 , 1 3 , 2 , 1 : ' s
dfinie par
2 ) 3 ( ' ; 1 ) 2 ( ' ; 3 ) 1 ( ' s s s
.
Tableau donnant
y x
:
s s s
s s s
s s
s s
s s
s s
s s
y
x
Id ' '
Id '
Id '
' Id
' Id
' Id Id
' Id \
3 , 1 2 , 1 3 , 2
2 , 1 3 , 2 3 , 1
2 , 1 3 , 1 3 , 2 3 , 2
3 , 2 2 , 1 3 , 1 3 , 1
3 , 1 3 , 2 2 , 1 2 , 1
3 , 2 3 , 1 2 , 1
3 , 2 3 , 1 2 , 1







-
) ), , ( ( G A F
, o :
A est quelconque, et
) , ( G
est un groupe, avec :
dfini par :
) ( ) (
: ), , ( ,
x g x f x
G A g f G A g f

F
E) Classes dquivalence modulo n .
Soit
2 , n n N
.
On dfinit sur Z la relation
n

par :
Pour tous
Z Z n x y y x y x
n
, ,
Cette relation sappelle la relation de congruence modulo n.
On note plutt
n y x mod
ou encore
] [n y x
Cette relation est une relation dquivalence :
(1)
x x x
n
, Z
puisque Z n x x 0
(2) Pour tous
Z y x,
, si
y x
n

alors
Z n x y
donc
Z n y x
soit
x y
n

(3) Soient
Z z y x , ,
. Si
y x
n

et
z y
n

, alors
x y
scrit
nk x y
o
Z k , et
y z
scrit
' nk y z
o Z ' k . Donc
Z n k k n x y y z x z + + ) ' ( ) ( ) (
. Donc
z x
n

.
Donc
n

est rflexive (1), symtrique (2) et symtrique (3), cest donc une relation
dquivalence.
Cette relation est compatible avec + :
Pour tout
Z ' , , ' , y y x x
:
Si
' , ' y y x x
n n

, alors :
Z n x x ' ,
Z n y y '
donc
Z n y y x x + ' '
soit
Z n y x y x + + ) ( ) ' ' (
,
c'est--dire
' ' y x y x
n
+ +
.
Pour tout Z x , on appelle classe dquivalence modulo n, et on note x
,
lensemble des lments de Z congrus x modulo n. (Attention, la notation nindique
pas quon travaille modulo n). On a alors lquivalence :
Chapitre 1 : Groupes
Algbre et gomtrie Page 5 sur 16
]) [ ( , , n y x y x y x Z
.
En effet :
Soient
Z y x,
Si
y x
. Dj, x x (car
n

est rflexive), cest dire

y x
, donc
] [n y x
.
Si
] [n y x
. Soit x z . Alors
] [n x z
. Donc
] [n y z
(car
n

est
transitive). Donc
y z
. Donc
y x
. De mme,
x y
. Donc
y x
.
Do lquivalence, pour tous
Z y x,
.
On note Z Z n / lensemble des classes dquivalences modulo n.
Ainsi,
{ } Z Z Z a a n , /
.
Proposition, dfinition :
Z Z n / est fini, et de cardinal n.
Pour tous
Z y x,
, on pose y x y x

+ .
Alors dfinit une loi de composition interne sur Z Z n / , et
) , / ( Z Z n
est un
groupe commutatif.
Dmonstration :
Soit Z x .
Alors il existe
[ ] 1 , 0 n a
tel que a x , c'est--dire tel que
] [n a x
.
En effet :
En prenant nk x a , o [ ]
n
x
k , on a alors :
1 + < k k
n
x
, donc n nk x nk + < , soit n nk x < 0 , c'est--dire 1 0 n a ,
do lexistence.
Donc
[ ] a x n a x , 1 , 0 , Z
Donc Z Z n / contient au plus n lments, savoir les
[ ] 1 , 0 , n a a
. On doit
donc maintenant montrer que tous ces lments sont distincts.
Soient
[ ] 1 , 0 , n y x
, supposons que
y x
, c'est--dire que
] [n y x
.
Il existe donc Z k tel que
nk x y
.
Alors
nk x y +
. On a :
1 0 n x . Donc
) 1 ( 1 + < + k n n nk y nk
Donc 1 + < k k
n
y
Donc [ ]
n
y
k . Or,
1 0 n y
. Donc 1 1 0
1
<
n n
y
Donc [ ] 0
n
y
k . Donc
x nk x y +
.
Donc
[ ] y x y x n y x , 1 , 0 ,
Soit, par contrapose :
[ ] y x y x n y x , 1 , 0 ,
.
Donc Z Z n / contient au moins n lments, savoir les
[ ] 1 , 0 , n a a
Donc Z Z n / est fini, de cardinal n.
Montrons dj que la loi est bien dfinie, c'est--dire que pour tous
Z y x,
, y x

+ ne dpend que de
y x +
, et non pas de x et de y :
Si ' x est tel que x x ' , et
' y
tel que
y y '
, alors
x x
n
'
et
y y
n
'
, soit
y x y x
n
+ + ' '
donc ' ' y x y x

+ + .
Dj, est videmment une loi de composition interne sur Z Z n /
est associative : en effet, pour tous
Z z y x , ,
, on a :
) ( ) ( ) ( ) ( z y x z y x z y x z y x z y x z y x

+ + + + + +
Pour tout Z x , on a :
Chapitre 1 : Groupes
Algbre et gomtrie Page 6 sur 16
x x x x x

+ + 0 0 0 0
Donc Z Z n / admet un lment neutre pour , savoir 0

.
Soit Z x , posons
x y
(ainsi,
Z y
). On a alors :
x y x y x x x x y x y x

+ + + +

) ( 0 ) (
Donc tout lment de Z Z n / admet un symtrique pour .
Enfin, est commutative : pour tous
Z y x,
, on a :
x y x y y x y x

+ +

Donc
) , / ( Z Z n
est bien un groupe commutatif. (on notera plutt + pour )
II Sous-groupes (notation multiplicative)
A) Dfinition
Soit
) , ( G
un groupe.
Soit H une partie de G.
On dit que H constitue un sous-groupe de
) , ( G
lorsque :
(1)
H
G
1
(2) H est stable par :
H y x H y x , ,
(3) H est stable par passage linverse : H x H x
1
,
Proposition :
Si H est un sous-groupe de
) , ( G
, alors constitue une loi de composition
interne sur H, et
) , ( H
est un groupe.
- Dj, est bien une loi de composition interne sur H daprs (2)
- Lassociativit nest pas perdue par restriction.
- Neutre : cest
G
1
qui est dans H daprs (1)
- Existence dun inverse pour tout x de H daprs (3).
B) Exemples
-
* R
est un sous-groupe de
) *, ( C
, * Q de
) *, ( R
(et aussi de
) *, ( C
), { } Z n
n
, 2 ,
{ } 1 , 1
,
*
+
Q sont des sous-groupes de
) *, ( Q

U est un sous-groupe de
) *, ( C
(
{ } 1 , z z C U
)
n
U
est un sous-groupe de
) , ( U
( { } 1 ,
n
n
z z C U )
- Des sous-groupes de
) , ( + C
sont :
{ } { } ] [ ) ( Arg *, 0 , , , z z C R Q Z
(Le dernier est une droite du plan complexe passant par O)
- Pour N n , Z n est un sous-groupe de Z.
- Si
) , ( G
est un groupe, alors
{ }
G
1
et G sont des sous-groupes de G (les autres
sous-groupes sont appels les sous-groupes propres de G)
-
{ } ' , , Id s s
est un sous-groupe (commutatif) de
{ } ' , , , , , Id
1 , 3 3 , 2 2 , 1 3
s s
E
S

qui nest pas commutatif.
Soit
* N n
, A une partie de
{ } n ,..., 2 , 1
non vide.
Soit
{ } A A H
n
) ( , S
, c'est--dire que H est lensemble des permutations
qui laissent stable A (remarque : si
n
S
, comme

est bijective,
) ( A
a le mme
cardinal que A, donc
A A A A ) ( ) (
)
Chapitre 1 : Groupes
Algbre et gomtrie Page 7 sur 16
Alors H est un sous-groupe de
) , (
n
S
:
- H Id
- H est stable par : si
A A ) (
,
A A ) ( '
, alors
A A ) ( '
- H est stable par passage au symtrique : si
A A ) (
, alors A A

) (
1

En effet :
Supposons que
A A ) (
. Alors
A A ) (
Soit A x . Donc
) ( A x
.
Il existe donc y dans A tel que
) ( y x
, avec
A y
Donc y x

) (
1
, donc A x

) (
1

Do linclusion A A

) (
1
(et mme lgalit puisque
1
est bijective)
- Des sous-groupes de
) ), , ( ( + R R F
:
Lensemble des fonctions polynomiales

{ } R , f
o f est un lment fix de
) , ( R R F
.

{ } 0 ) 0 ( ), , ( f f R R F
) , ( R R
n
C o N n , ) , ( R R
n
D o N n
Ensemble des fonctions T-priodiques ( T fix)
Ensemble des fonctions k-lipschitzienne ( k fix)
Ensemble des fonctions uniformment continues
Ensemble des fonctions paires, impaires
- Sous-groupes de Z Z n / :
Pour 6 n :
{ } { } { } { }


propres groupes - sous
3 , 0 , 4 , 2 , 0 , 5 , 4 , 3 , 2 , 1 , 0 , 0
1

engendre Z Z 6 / , 5

aussi.
2

et 4

engendrent
{ } 4 , 2 , 0

.
3

engendre
{ } 3 , 0

.
On dit que 1

est un lment dordre 6, 2

et 4

dordre 3, 3

dordre 2.
C) Les sous-groupes de
) , ( + Z
.
Dj, les Z n , o N n , sont des sous-groupes de Z.
Y en a-t-il dautres ?
Soit G un sous-groupe de Z autre que
{ } 0
.
Il contient donc un lment non nul de Z, et son oppos (lun deux tant alors
dans
* N
). Donc lensemble
* N G
est non vide et est une partie de N. il admet
donc un plus petit lment, disons 1 n . Alors Z n G .
En effet :
Dj, une rcurrence rapide montre que
G kn k , N
, puis comme G est stable
par passage linverse,
G kn k , Z
, donc G n Z
Lautre inclusion maintenant :
Soit G x . La division euclidienne de x par n donne :
r nq x +
, o
Z q
et
[ ] 1 , 0 n r
.
Donc

G
G
nq x nq x r

+ ) (
.
Chapitre 1 : Groupes
Algbre et gomtrie Page 8 sur 16
Donc G r . Comme n est le plus petit lment de
* N G
, on a
ncessairement 0 r (car
n r <
)
Donc Z n x
Ainsi, les sous-groupes de Z sont exactement les Z n , o N n .
D) Une caractrisation condense des sous-groupes
Proposition :
Soit
) , ( G
un groupe, H une partie de G.
Alors H est un sous-groupe de

'

H xy H y x
H
G
G
1
, ,
1
) , (
Dmonstration :
La premire implication est vidente. Pour lautre :
Supposons que

'

H xy H y x
H
G
1
, ,
1
Alors dj
H
G
1

En prenant
G
x 1
, Alors, pour tout
H y
, H y
1
.
Pour tout
H y x ,
, H y
1
, donc H y x
1 1
) ( c'est--dire
H xy
E) Intersections de sous-groupes
Thorme :
Soit
) , ( G
un groupe.
Alors toute intersection de sous-groupes de G est un sous-groupe de G.
Dmonstration :
Soit
I i i
H

) (
une famille de sous-groupes de G indexe par I. Notons

I i
i
H H

Dj,
H
G
1
, puisque
i G
H I i 1 ,
.
Soient
H y x ,
. Alors, pour tout I i ,
i
H x
,
i
H y
donc
i
H xy
1
.
Donc
H xy
1
.
Donc H est un sous-groupe de
) , ( G
.
F) Sous-groupe engendr par une partie
Soit
) , ( G
un groupe.
Soit A une partie de G.
On appelle sous-groupe engendr par A le plus petit sous-groupe de G contenant A.
Il y en a bien un, puisque dj G contient A. Donc lensemble

des sous-groupes
de G contenant A nest pas vide.
Considrons alors

H
H
. Cest un sous-groupe de G, il contient A et est
contenu dans tout sous-groupe de G contenant A.
Chapitre 1 : Groupes
Algbre et gomtrie Page 9 sur 16
On note alors

H
H A
Cas particulier :
Un sous-groupe engendr par un singleton
{ } a
est not
a
, et on parle du sous-
groupe engendr par llment a.
Exemples :
- Dans Z Z 6 / :
{ } 4 , 2 , 0 2


{ } 3 , 0 3


Z Z 6 / 5

(on dit que 5

est un gnrateur de Z Z 6 / )
{ } Z Z 6 / 3 , 2

(
{ } 3 , 2

est une partie gnratrice de Z Z 6 / )
- Dans
) , ( + R
:
Z 2 2
- Dans
{ } ' , , , , , Id
1 , 3 3 , 2 2 , 1 3
s s
E
S
:
{ } ' , , Id s s s
;
{ } ' , , Id ' s s s
;
{ }
2 , 1 2 , 1
, Id
; 3 ,
, S
b a
s
G) Groupe monogne
Dfinition :
Soit
) , ( G
un groupe.
On dit que G est monogne lorsquil admet un gnrateur, c'est--dire lorsquil
existe G a tel que
G a
, c'est--dire :
G a G a ,
Remarque :
{ } Z k a a
k
,
En effet :
- Soit H un sous-groupe de G contenant a. Alors, comme H est stable par et
passage linverse, une rcurrence vidente montre qualors H contient { } Z k a
k
, .
- Lensemble { } Z k a
k
, est effectivement un sous-groupe de G contenant a :
Il contient
0
1 a
G

.
Il est stable par , puisque pour tous { } Z k a y x
k
, , , x scrit
k
a x , y scrit
' k
a y (o
Z ' , k k
) et { } Z
+
k a a a a xy
k k k k k
,
' '
Il est stable par passage linverse puisque pour tout { } Z k a x
k
, , x scrit
k
a x o Z k , et { } Z

k a a a x
k k k
, ) (
1 1
.
Cest donc un sous-groupe de G, et enfin il contient a puisque
1
a a .
Donc { } Z k a
k
, est un sous-groupe de G qui contient a, et cest le plus petit.
Remarque :
Plus gnralement,
A
est lensemble des produits de puissances dlments de
A.
Dfinition :
Un groupe G est dit cyclique lorsquil est monogne et fini.
Exemples :
-
) , ( + Z
est monogne infini :
{ } 1 , 1 . Z Z k k
(Attention, notation
additive)
Tous les sous-groupes de Z sont monognes (infinis) :
{ } n k n k n Z Z , .
-
) , / ( + Z Z n
est cyclique, engendr par 1

(qui nest gnralement pas le seul)

-
) , (
n
U
est aussi cyclique :
{ } Z U k
k
n
,
o
n
i
e
2
.
Chapitre 1 : Groupes
Algbre et gomtrie Page 10 sur 16
III Morphismes de groupes
(Morphisme est une apocope de homomorphisme)
A) Dfinition (en notation bizarre )
Soient
) # , (G
et
) , ( H
deux groupes.
Un morphisme de
) # , (G
vers
) , ( H
est une application
H G :
telle que :
) ( ) ( ) # ( , , y x y x G y x
Exemples :
exp
est un morphisme de
) , ( + R
vers
) *, ( R
x x de ) ,
*
(
+
R vers
) *, ( R
(ou vers ) ,
*
(
+
R aussi)
ax x
de
) , ( + R
vers
) , ( + R

i
e de
) *, ( + R
vers
) *, ( C
Lensemble
) , ( R N
C
S
des suites relles convergentes est un sous-groupe de
) , ( +
N
R et lapplication
) lim(u u
est un morphisme de
) ), , ( ( + R N
C
S

vers
) , ( + R
.
B) Proprits (notation multiplicative)
Proposition :
Soit

un morphisme dun groupe

) , ( G
vers un groupe
) , ( H
.
Alors :
n n
H G
x x n G x
x x G x
y x xy G y x
)) ( ( ) ( , ,
)) ( ( ) ( ,
1 ) 1 (
) ( ) ( ) ( , ,
1 1

Z
Dmonstration :
Cest la dfinition.

) 1 ( ) 1 ( ) 1 1 ( ) 1 (
G G G G G

.
Llment
) 1 (
G
a
de H vrifie donc
a a a
. Donc
H
a a a 1
1


Soit G x . Alors
H G
x x x x 1 ) 1 ( ) ( ) ( ) (
1 1



De mme,
H
x x 1 ) ( ) (
1

Donc
1 1
)) ( ( ) (

x x
Soit G x . Montrons par rcurrence que
n n
x x n )) ( ( ) ( , N :
Pour 0 n ,
0 0
)) ( ( 1 ) 1 ( ) ( x x
H G

Soit N n , supposons que
n n
x x )) ( ( ) ( .
Alors
1 1
)) ( ( ) ( )) ( ( ) ( ) ( ) ( ) (
+ +

n n n n n
x x x x x x x x
On passe aux n ngatifs avec le point prcdent.
C) Noyau et image dun morphisme
Chapitre 1 : Groupes
Algbre et gomtrie Page 11 sur 16
Dfinition, proposition :
Soit

un morphisme dun groupe

) , ( G
vers un groupe
) , ( H
.
Limage de

, note
Im
, cest
) (G
, c'est--dire
{ } G x x ), (
Alors
Im
est un sous-groupe de H.
Dmonstration :
-
Im
contient
H
1 car
) 1 ( 1
G H

-
Im
est stable par :
Soient
Im , v u
. Alors u scrit
) (x
o G x , v scrit
) ( y
o
G y
.
Donc
Im ) ( ) ( ) ( xy y x v u
-
Im
est stable par passage linverse :
Soit
Im u
. Alors u scrit
) (x
o G x .
Et : Im ) ( )) ( (
1 1 1


x x u
Dfinition :
Soit

un morphisme dun groupe

) , ( G
vers un groupe
) , ( H
.
Le noyau de

, not
ker
est par dfinition :
{ }
H
x G x 1 ) ( , ker
Proposition :
ker
est un sous-groupe de G.
Dmonstration :
-
ker 1
G
car
H G
1 ) 1 (
.
- Pour tous
ker , y x
, on a
H H H
y x xy 1 1 1 ) ( ) ( ) (
donc
ker xy
.
- Pour tout
ker x
,
H H
x x 1 ) 1 ( )) ( ( ) (
1 1 1


donc ker
1

x .
Thorme :
Soit

un morphisme dun groupe

) , ( G
vers un groupe
) , ( H
. Alors :
(1) Pour tous
G y x ,
, ker ) ( ) (
1


xy y x
(2)

est injective
{ }
G
1 ker
Dmonstration :
(1) On a les quivalences :

ker
1 ) ( 1 ) ( ) ( 1 )) ( )( ( ) ( ) (
1
1 1 1

xy
xy y x y x y x
H H H
(2) Supposons

injective :
Soit
ker x
. Alors
) 1 ( 1 ) (
G H
x
.
Donc, comme

est injective,
G
x 1
. Donc
{ }
G
1 ker
De plus,
ker
est un sous-groupe de G, donc
ker 1
G
, donc
{ } ker 1
G
.
Do lgalit.
Rciproquement, supposons que
{ }
G
1 ker
:
Soient alors
G y x ,
. Supposons que
) ( ) ( y x
.
Alors ker
1

xy . Donc
G
xy 1
1

. Donc
y x
.
Donc

est injective.
Exemple :
Chapitre 1 : Groupes
Algbre et gomtrie Page 12 sur 16
Lapplication

i
e
* : C R
est un morphisme de
) , ( + R
vers
) *, ( C
de
noyau Z 2 et dimage U
D) Composition
Proposition :
La compose, quand elle est dfinie, de deux morphismes de groupes est un
morphisme de groupes.
Dmonstration :
Soient
) , ( ), # , ( ), , ( I H G
trois groupes.
Soient
H G
GH
:
et
I H
HI
:
deux morphismes.
Alors
GH HI

est bien dfinie, et va de
) , ( G
dans
) , ( I
.
Soient
G y x ,
. On a :
)) ( ( )) ( (
)) ( ( )) ( (
)) ( )# ( (
)) ( ( ) (
y x
y x
y x
y x y x
GH HI GH HI
GH HI GH HI
GH GH HI
GH HI GH HI

E) Isomorphisme
Proposition, dfinition :
Soit

un morphisme bijectif de
) , ( G
vers
) , ( H
. Alors
1
est un
morphisme (bijectif) de
) , ( H
vers
) , ( G
. On dit que

est un isomorphisme.
Lorsquil existe un isomorphisme entre deux groupes, on dit que ces deux groupes
sont isomorphes.
Dmonstration :
Soit

un morphisme bijectif de
) , ( G
vers
) , ( H
.
Soient
H y x ,
.
Soient
G v u ,
tels que
y v x u ) ( , ) (
. (C'est--dire
) ( ), (
1 1
y v x u

).
Alors ) ( ) ( )) ( ( )) ( ) ( ( ) (
1 1 1 1 1
y x v u uv v u y x


Donc
1

est un morphisme de
) , ( H
vers
) , ( G
.
Exemples :
) [, , (]
2 2


et
) , ( + R
sont isomorphes, o

est la loi dfinie par :

y x y x y x tan tan ) tan( [, , ] ,
2 2
+

C'est--dire
) tan (tan Arctan [, , ] ,
2 2
y x y x y x +

(Ainsi,
) ( ) ( ) ( [, , ] ,
2 2
y x y x y x

+
, o
tan
, qui ralise bien
une bijection de
[ , ]
2 2

dans R)
n
ik
e k
f
2
:

U Z
est un morphisme surjectif de
) , ( + Z
vers
) , (
n
U
mais non
injectif. Son noyau est Z n :
Chapitre 1 : Groupes
Algbre et gomtrie Page 13 sur 16
Dj, cest un morphisme, puisque pour tous
Z y x,
, on a :
) ( ) ( ) (
2
2
) ( 2
y f x f e e e y x f
n
iy
n
ix
n
y x i
+
+

.
f est surjective puisque tout lment
n
z U
scrit
n
ik
e
2
o Z k .
Mais f nest pas injective : pour tout Z x , on a les quivalences :
Z Z Z n x x f f x
n
x
n
x

2 1 ) ( ker
2
Donc le noyau de f est Z n , donc f nest pas injective.
n
ik
e
n
u
n

2
/ :

U Z Z
o k est tel que u k

par contre est bijectif.

Dmonstration :
Dj, il faut montrer que la dfinition de

est cohrente, c'est--dire que

n
ik
e
2

ne dpend que de k

et non pas de k.
Si deux lments
Z ' , k k
sont tels que ' k k

, on a alors :
Z n k k ' . Donc
f k k ker '
. Donc
) ' ( ) ( k f k f
(on est en notation
additive)
Donc
n
ik
n
ik
e e
' 2 2

.
Cest un morphisme :
Pour tous
Z Z n u u / ' ,
scrivant k u

et ' ' k u

o
Z ' , k k
:
) ' ( ) ( ) ' (
' 2 2
) ' ( 2
u u e e e u u
n
ik
n
ik
n
k k i

+
+
.

est surjective, puisque tout lment

n
z U
scrit
n
ik
e
2
o Z k .

est aussi injective :

Soit
ker u
. Alors u scrit k

o Z k .
Alors
1 ) (
2

n
ik
e u

. Donc Z n k . Donc 0

k u . Donc
{ } 0 ker


.
Comme
ker
est un sous-groupe de Z n , on a aussi lautre inclusion et donc
lgalit. Donc

est injective.
Donc

est bijective. Donc

) , (
n
U
et
) , / ( + Z Z n
sont isomorphes.
Remarque :
La relation tre isomorphe est une relation dquivalence sur lensemble des
groupes :
- Elle est rflexive (lidentit est un isomorphisme dun groupe G vers G)
- Elle est symtrique (si G est isomorphe H, alors H est isomorphe G)
- Elle est transitive (la compose de deux isomorphismes est un isomorphisme)
F) Vocabulaire (rappels)
- Un morphisme de G vers H est aussi appel homomorphisme de G vers H.
- Un isomorphisme de G vers H est un morphisme bijectif de G vers H.
- Un endomorphisme de G est un morphisme de G vers G.
- Un automorphisme de G est un morphisme bijectif de G vers lui-mme.
isomorphisme de G vers lui-mme.
endomorphisme bijectif de G.
IV Ordre dun lment dun groupe
Chapitre 1 : Groupes
Algbre et gomtrie Page 14 sur 16
Soit
) , ( G
un groupe.
Thorme, dfinition :
Soient * , N n G a . Alors les trois affirmations suivantes sont quivalentes :
(1)
a
est fini et de cardinal n.
(2) Il existe
* N k
tel que
G
k
a 1
, et n est le plus petit des ces entiers.
(3) Lensemble { }
G
k
a k 1 , Z nest pas rduit
{ } 0
, cest mme Z n .
Lorsque lune des ces affirmations (et donc les trois) est vraie, on dit que a est un
lment dordre fini de G, gal n.
Dmonstration :
Considrons
k
a k
G

Z :
. Alors

est un morphisme de
) , ( + Z
vers
) , ( G
.
En effet,
' '
, ' ,
k k k k
a a a k k
+
Z .
On a :
{ } a k a
k
Z , Im
ker
est un sous groupe de
) , ( + Z
donc du type Z m o N m .
- Si 0 m ,
{ } 0 ker
donc

est injective. Donc

ralise une bijection de Z sur

a Im
. Donc
a
est infini.
- Si 1 m ,
{ }
1 1 0
,... ,

m
a a a a
. En effet :
Une premire inclusion,
{ } a a a a
m

1 1 0
,... ,
est dj vidente.
Soit maintenant
a b
.
Alors b scrit
k
a o Z k . La division euclidienne de k par m ( 0 m ) donne :
r mq k +
avec
[ ] 1 , 0 m r
.
Donc
{ }
1 1 0
ker
car 1
,... , ) (

+

m r r
m m
q m r mq
a a a a a a a b
G

Z
, do lautre
inclusion, et lgalit.
De plus,
m a ) ( card
: il nexiste pas
j i,
distincts dans
[ ] 1 , 0 m
tels que
j i
a a
car si par exemple
1 0 < m j i
, et si on avait
j i
a a , on aurait
G
j i
a 1

ce qui ne se
peut pas car
1 0 < m j i
donc
Z m i j
.
Avec cela, il est maintenant facile de montrer que
) 1 ( ) 2 ( ) 1 (
et
) 1 ( ) 3 ( ) 1 (
:
Supposons (1).
Alors, en gardant les notations prcdentes,
n m
.
Donc n est bien le plus petit des
* N k
tels que
G
k
a 1
, car
G
m
a 1
et
[ ]
G
k
a m k 1 , 1 , 1
(puisque
G
a 1
0

et on a montr que les

[ ] 1 , 0 , m k a
k
sont
distincts)
Et dautre part lensemble des Z k tels que
G
k
a 1
est bien Z n (cest
ker
)
Donc
) 2 ( ) 1 (
et
) 3 ( ) 1 (
.
Supposons maintenant (3) : On est alors dans la situation 1 n m (car
{ } 0 ker
)
Donc le sous-groupe engendr par a est de cardinal n.
De mme,
) 1 ( ) 2 (
.
Exemples :
Dans
) , 6 / ( + Z Z
:
Chapitre 1 : Groupes
Algbre et gomtrie Page 15 sur 16
2

est dordre 3 :
{ } 4 , 2 , 0 2


de cardinal 3
Autre justification : 0 2 2 2 2 . 3

+ + et
0 4 2 . 2 , 0 2 2 . 1


3

est dordre 2, 1

et 5

sont dordre 6, 0

est dordre 1.
Dans
) , ( + Z
, 0 est dordre 1, tout les autres sont dordre infini.
Dans
) , (
8
S
:
Notation (dans
n
S
) : la permutation
... 1
1
a
est note gnralement

,
_

8 3 2 1
8 3 2 1
a a a a

.
Prenons par exemple

,
_

1 6 8 4 2 7 5 3
8 7 6 5 4 3 2 1

. Alors

est dordre fini, car

8
S
et
8
S
est de cardinal fini (Donc au pire

est dordre ce cardinal, savoir 15)

Chapitre 1 : Groupes
Algbre et gomtrie Page 16 sur 16