2. ∩et ∪sont commutatives.
3. ∅est l’élément neutre de ∪.
4. Eest l’élément neutre de ∩.
Proposition 4.1.1 Si l’élément neutre existe, il est unique.
Preuve. Soit e′, respectivement e′′, un élément neutre à droite, respectivement à gauche, de ∗, alors
e′=e′′ ∗e′car e′′ élément neutre à gauche de ∗.
e′′ =e′′ ∗e′car e′élément neutre à droite de ∗.
Ce qui montre que e′=e′′.
Définition 4.1.4 Soit ∗une loi de composition interne sur un ensemble Eadmettant un élément neutre e. Alors tout
élément de Eest symétrisable c’est-à-dire, ∀a∈E, ∃a′∈Etel que a∗a′=a′∗a=e.
On dit que aest inversible (ou symétrisable) et a′est dit un inverse (ou un symétrique) de apar rapport à ∗.
Remarque 4.1.1 Si une loi ∗est commutative, pour vérifier qu’un élément eest l’élément neutre, il suffit unique-
ment de vérifier l’une des deux relations, x∗e=xou e∗x=xpour tout x∈E. L’autre relation étant obtenue par
la commutativité. De même, pour vérifier qu’un élément x′est le symétrique de x, il suffit que l’on ait soit x∗x′=e
soit x′∗x=e.
Conventions :
Etant donnée une loi de composition interne associative dans un ensemble E,
-Si la loi est notée additivement, son élément neutre est noté 0Eou 0, et on parle du symétrique de aqu’on note
a′=−a.
-Si la loi est notée multiplicativement, son élément neutre est noté 1Eou 1, et on parle de l’inverse de aqu’on note
a′=a−1.
Proposition 4.1.2 Soit ”∗”une loi de composition interne dans un ensemble E, associative et admettant un élément
neutre e. Pour tout couple (a, b)d’éléments inversibles de E, le composé a∗best inversible et :
(a∗b)−1=b−1∗a−1
Preuve.
On a : (a∗b)∗(b−1∗a−1) = a∗(b∗b−1)∗a−1=a∗e∗a−1=a∗a−1=e,
et (b−1∗a−1)∗(a∗b) = b−1∗(a∗a−1)∗b=b−1∗e∗b=b−1∗b=e.
D’où le résultat.
Définition 4.1.5 Soit ∗une loi de composition interne dans un ensemble E. On dit qu’un élément s∈Eest
simplifiable à droite (respectivement à gauche) de ∗si :
∀a, b ∈E, a ∗s=b∗s⇒a=b
(respectivement )∀a, b ∈E, s ∗a=s∗b⇒a=b
Si sest un élement simplifiable à droite et à gauche ; on dit qu’il est simplifiable.
Exemples 4.1.2 Soit Eun ensemble et F=P(E), alors ∅est un élément simplifiable pour la réunion dans Fet
Eest un élément simplifiable pour l’intersection dans F.
Proposition 4.1.3 Soit ∗une loi de composition interne associative admettant un élément neutre edans E, alors
tout élément symétrisable dans (E, ∗)est simplifiable.
28