Notion de groupe
A. Exemple et définition :
1. Le groupe des homothéties-translations
Notons E l’ensemble des homothéties et des translations. Un élément f de E est donc soit une homothétie, soit une
translation.
A tout couple (f ; g) d'éléments de E, on peut faire correspondre la transformation f
°
g et cette transformation,
d’après les théorèmes de cours, est un élément de E. On dit alors que E est muni d’une loi interne, qu’on
appelle la «loi rond» (notée
°
). La loi est interne parce que, lorsqu’on l’applique à deux éléments dans E, on
obtient un élément dans E.
D’après le cours, pour toutes transformations f, g et h, f
°
(g
°
h) = (f
°
g)
°
h. On traduit ce résultat en
disant que la loi
°
est associative dans l’ensemble des transformations. Elle est donc associative dans E.
L’identité est un élément de E, car l’identité Id peut être vue comme la translation de vecteur nul. De plus,
Id
°
f = f
°
Id = f pour toute transformation f, et donc à fortiori pour tout élément de E.
On dit alors que Id est l'élément neutre de E
EE
E
pour la loi
°
de E
EE
E.
Enfin, si l’on se donne f dans E, il existe un élément g dans E tel que f
°
g = g
°
f = Id, cet élément g est f
–1
.
Précisez cet élément f
–1
lorsque f est une homothétie, puis lorsque f est une translation.
Conclusion : Pour toutes ces raisons, on dit que E est un groupe pour la loi
°
.
2. Définition :
De manière générale, on appelle groupe un ensemble G muni d’une loi interne, c’est-à-dire une loi, qui à
tout couple (x ; y) de G associe un élément de G et qui possède les propriétés suivantes.
Pour énoncer facilement ces propriétés, désignons la loi par le symbole ¨ et notons x ¨ y l’élément associé par la
loi ¨ au couple (x ; y).
_La loi est associative : x ¨ (y ¨ z) = (x ¨ y) ¨ z, pour tous x, y, z ∈ G.
_La loi possède un élément neutre e tel que, pour tout x ∈ G, x ¨ e = e ¨ x= x.
_Pour tout x ∈ G, il existe un élément y de tel que x ¨ y = y ¨ x = e.
De plus on dit que G est un groupe commutatif si, pour tous x, y ∈ G, x ¨ y = y ¨ x.
B. Exercices :
I.1.a) Pourquoi l’ensemble S
des similitudes est-il un groupe pour la loi
°
?
b) L’ensemble S
+
des similitudes directes est-il un groupe pour la loi
°
?
c) La loi
°
est-elle interne dans l’ensemble des similitudes indirectes ?
2. Si f et g sont deux transformations, on appelle «transmuée» de f par g, la transformation T = g
°
f
°
g
–1
.
h est l’homothétie de centre I, de rapport k (k distinct de 0 et de 1).
t est la translation de vecteur
→
u (
→
u ≠
→
0 ).
a) Démontrer que la transmuée de h par t est une homothétie. Préciser le centre et le rapport.
b) Démontrer que la transmuée de t par h est une translation ; préciser son vecteur.
O
désigne un point du plan, H l’ensemble des homothéties de centre O.
c) Démontrer que H est un groupe pour la loi
°
et que ce groupe est commutatif.
d) t est une translation de vecteur
→
u non nul fixé.
Démontrer que l’ensemble H ’ des éléments de H qui sont des transmuées par t, est un groupe commutatif
pour la loi
°
.
II.1. Pourquoi l’ensemble ô des naturels n’est-il pas un groupe pour la loi «addition» ?