ESTIA 1eAnnée - Mathématiques Cours d'algèbre
ESTIA 1eAnnée - Mathématiques Cours d'algèbre
ESTIA 1eAnnée - Mathématiques Cours d'algèbre
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Chapitre 1<br />
Groupes, Anneaux, Corps<br />
1.1 Groupes<br />
Nous commencons par rappeler des définitions classiques<br />
Definition 1.1.1 Un groupe est une ensemble non vide G muni d’une loi de<br />
composition interne (x, y) ↦−→ x ◦ y possédant les propriétés suivantes<br />
(1.1) x ◦ (y ◦ z) = (x ◦ y) ◦ z pour tout triplet (x, y, z) d’éléments de G.<br />
(1.2) Il existe un élément e de G tel que x ◦ e = e ◦ x = x pour tout x ∈ G.<br />
(1.3) Pour tout x ∈ G, il existe y ∈ G tel que x ◦ y = y ◦ x = e.<br />
On dira qu’une loi de composition interne sur un ensemble E vérifiant la condition<br />
(1.1) est associative. Si (G, ◦) est un groupe, l’élément e de G vérifiant la<br />
condition (1.2) ci-dessus est appelé élément neutre de G. On vérifie (exercice)<br />
que cet élément neutre est unique. L’élément y de G tel que x ◦ y = y ◦ x = e<br />
est appelé inverse de x. Il est également unique. On vérifie plus généralement<br />
(exercice) que si (E, ◦) est un ensemble muni d’une loi de composition associative<br />
pour laquelle il existe un élément neutre e, et si trois éléments x, y1 et y2<br />
de E vérifient x ◦ y1 = y2 ◦ x = e alors y1 = y2.<br />
Definition 1.1.2 On dit qu’un groupe (G, ◦) est commutatif , ou abélien , si<br />
on a la condition suivante<br />
(1.4) x ◦ y = y ◦ x pour tout couple (x, y) d’éléments de G.<br />
La loi de composition d’un groupe abélien G sera souvent notée +. Dans ce cas<br />
l’élément neutre de G sera noté 0 , et l’inverse d’un élément x de G sera noté<br />
−x et appelé l’opposé de x.<br />
Exemple 1.1.3 Notons Z l’ensemble des entiers relatifs, Q l’ensemble des rationnels,<br />
R l’ensemble des réels et C l’ensemble des nombres complexes. Alors<br />
(Z, +) , (Q, +) , (R, +) et (C, +) sont des groupes abéliens.<br />
1