MEMO ALGEBRE GENERALE I. STRUCTURES ALGEBRIQUES USUELLES
Par exemple, Get {e}sont des sous-groupes de G(resp. le plus grand et le plus petit pour
l’inclusion).
Propriété I.2 Soit (G, ·)un groupe et Hun sous-groupe de G.
Les deux groupes (G, ·)et (H, ·)ont le même élément neutre et tout élément de Ha le même
symétrique dans Get dans H.
Théorème 1 Caractérisation d’un sous-groupe
Soit (G, ·)un groupe d’élément neutre e(pour tout élément xde G, on note x
−1
le symétrique de
xdans G) et Hune partie de G.
Les assertions suivantes sont équivalentes :
•Hest un sous-groupe de G
•Hest stable par la loi ·, e ∈Het ∀x∈H, x
−1
∈H
•Hest stable par la loi ·, H =∅et ∀x∈H, x
−1
∈H
•H=∅et ∀x, y ∈H, x ·y
−1
∈H
Remarque I.2 Pour prouver que (G, ·)est un groupe, on peut penser à prouver qu’il s’agit d’un
sous-groupe d’un groupe connu.
I.3 Structures d’anneau et de corps
Définition 5 On appelle anneau la donnée d’un triplet (A,+,×)où Aest un ensemble non vide
et +et ×deux lois de composition interne sur Avérifiant :
•(A,+) est un groupe commutatif
•(A,×)est un monoïde dont l’élément neutre, noté 1,est appelé l’élément unité de l’anneau
•la multiplication ×est distributive par rapport à l’addition +
Lorsque de plus la multiplication est commutative, l’anneau est dit commutatif.
Dans ce §, (A,+,×)est un anneau.
Proposition I.1 Identités remarquables.
Soient nun entier naturel et a, b, c, d des éléments de Aqui commutent deux à deux.
On a la formule dite du binôme : (a+b)
n
=
n
k=0
n
ka
k
b
n−k
.Notamment, on obtient
n
k=0
n
k= 2
n
.
On a aussi a
n
−b
n
= (a−b)
n−1
k=0
a
k
b
n−1−k
et ainsi a
2n+1
+b
2n+1
= (a+b)
2n
k=0
(−1)
k
a
k
b
2n−k
.
Notamment, si 1désigne l’élément unité de A,pour tout élément xde A,on a
(1 + x)
n
=
n
k=0
n
kx
k
1−x
n
= (1 −x)
n−1
k=0
x
k
Sans oublier l’identité de Lagrange : (a c +b d)
2
+ (a d −b c)
2
=a
2
+b
2
c
2
+d
2
qui a une inter-
prétation géométrique.
At last but not least : a
3
+b
3
+c
3
−3a b c = (a+b+c)a
2
+b
2
+c
2
−a b −b c −c a.
Définition 6 L’élément ade Aest dit inversible lorsqu’il existe un élément a
′
de Avérifiant
a a
′
=a
′
a= 1.
On note généralement a
′
=a
−1
.
2/14