
I.E Structure algébrique des ensembles
5 janvier 2015
On appelle groupe un couple (G,⊕), où Gest un ensemble et ⊕une loi de composition interne sur Gvérifiant :
1. ⊕est associative (c’est à dire que pour tout (a,b,c)∈G3, on a : (a⊕b)⊕c=a⊕(b⊕c)).
2. ⊕possède un élément neutre (c’est à dire qu’il existe un élément etel que ∀a∈G,a⊕e=e⊕a=a)
3. Tout élément de Gpossède un symétrique pour la loi ⊕(c’est à dire que ∀a∈G,∃b∈Gtel que a⊕b=
b⊕a=e, et on note b=a−1ou −aselon les groupes et les lois de composition).
Si ∀(a,b)∈G2, on a : a⊕b=b⊕a, alors (G,⊕) est un groupe commutatif (ou groupe abélien).
Définition 7
Exemples 4 :
— (Z,+),(Q,+),(Q∗,×),(R,+) et (R∗,×) sont des groupes commutatifs.
Pour le groupe (R,+), l’élément neutre est 0 et le symétrique de aest noté −a(appelé opposé de a). Pour le
groupe (R∗,×), l’élément neutre est 1 et le symétrique de aest noté 1
a(appelé inverse de a).
— (N,+) et (Z∗,×) ne sont pas des groupes.
On peut donner un exemple plus original et plus imagé de la notion de groupe si on considère l’ensemble des heures
d’une pendule noté {0=12,1,2,3,...,11}, et muni de la loi d’addition +avec par exemple :
1+3=4
7+8=15 =3
On vérifie très facilement qu’il s’agit d’un groupe abélien (appelé en mathématiques Z/12Z) d’élément neutre 0, et où
la notion de symétrique prend un sens géométrique. Le symétrique de 2 est 10...
On appelle sous-groupe du groupe (G,⊕) tout groupe (H,⊕) contenu dans G(Hest muni de la même loi que G).
Définition 8
Remarque 3 : Ceci assure en particulier que ∀a,b∈H,a⊕b∈H, car ⊕est également une loi interne pour H(on
dit que Hest stable par ⊕).
Soit (G,⊕) un groupe, dont on note el’élément neutre et a−1le symétrique de a∈G, alors un ensemble Hest un
sous-groupe de Gsi et seulement si :
(i) e∈H
(ii) Si a∈H, alors a−1∈H.
(iii) Si a,b∈H, alors a⊕b∈H
Proposition 3
Dans l’exemple de la pendule, on peut par exemple vérifier que {0,3,6,9} est un sous-groupe du groupe des heures.
On appelle corps un triplet (K,⊕,⊗) vérifiant :
1. (K,⊕) est un groupe commutatif.
2. (K∗,⊗) est un groupe.
3. ⊗est distributive (à droite et à gauche) par rapport à ⊕. C’est à dire :
∀(x,y,z)∈K3,x⊗(y⊕z)=x⊗y⊕x⊗z
∀(x,y,z)∈K3,(x⊕y)⊗z=x⊗z⊕y⊗z
De plus, ce corps est dit commutatif si (K∗,⊗) est un groupe commutatif.
Définition 9
Lycée Jean Perrin 2013/2014 4 / 19