Monoïde/Exercices/Lois de composition internes, monoïdes

Problème 1

Soit $\ \star$ une loi de composition interne dans un ensemble E. On appelle neutre à gauche pour cette loi un élément e de E tel que, pour tout élément x de E, $e\star x=x.$ On appelle neutre à droite pour cette loi un élément e de E tel que, pour tout élément x de E, $x\star e=x.$

a) Prouver que si la loi $\ \star$ admet un neutre à gauche et un neutre à droite, elle admet un élément neutre et que cet élément neutre est l'unique neutre à gauche et l'unique neutre à droite.

Solution

Soient e₁ un neutre à gauche et e₂ un neutre à droite. Prouvons que e₁ = e₂. Puisque e₁ est neutre à gauche, le composé $e_{1}\star e_{2}$ est égal à e₂. Puisque e₂ est neutre à droite, le même composé est égal à e₁. Il en résulte que e₁ et e₂ sont égaux. Donc, si nous posons e = e₁ = e₂, e est un élément neutre. Le premier raisonnement tenu dans la démonstration prouve que tout neutre à gauche est égal à e₂ = e, donc e est le seul neutre à gauche. De même, il est le seul neutre à droite.

 

b) Donner un exemple de loi de composition interne associative qui admet plusieurs neutres à gauche et n'admet aucun neutre à droite.

Solution

Soit E un ensemble d'au moins deux éléments. Définissons sur E une loi de composition interne $\ \star$ par

$\ a\star b=b$ pour tous éléments a, b de E.

Cette loi est associative car pour tous éléments x, y et z de E, $(x\star y)\star z$ et $x\star (y\star z)$ sont tous deux égaux à z. Il est clair que tout élément de E est neutre à gauche. Comme E est supposé avoir au moins deux éléments, il admet donc au moins deux neutres à gauche. D'après le point a), il n'admet donc pas de neutre à droite, ce qu'on peut évidemment montrer plus directement.

 

Problème 2

Soient M un monoïde, noté multiplicativement, et x un élément de M. On dit qu'un élément x' de M est un symétrique à gauche de x si x' x = 1. (Définition analogue pour un symétrique à droite.) Prouver que si tout élément de M admet un symétrique à gauche, tout élément de M admet un symétrique (ce qui fait de M un groupe). Indication : pour un élément donné x de M, considérer un symétrique à gauche d'un symétrique à gauche de x.

Solution

Soit x un élément de M. Il s'agit de prouver que x admet un symétrique. Par hypothèse, il admet un symétrique à gauche, donc il existe un élément x' de M tel que

(1) x' x = 1.

Par hypothèse, x' admet lui aussi un symétrique à gauche, donc il existe un élément x'' de M tel que

(2) x'' x' = 1.

En vertu de l'associativité, nous avons

(3) (x'' x') x = x'' (x' x).

Puisque x'' x' = x' x = 1, la relation (3) peut s'écrire x = x''. Nous pouvons donc remplacer x'' par x dans (2). Nous obtenons ainsi x x' = 1, ce qui, joint à (1), montre que x' est symétrique de x, d'où notre thèse.

 

Problème 3 (généralisation du problème 2)

Soit $M$ un magma associatif dont la loi est notée multiplicativement. On suppose que $M$ admet un élément $e$ neutre à gauche (resp. à droite) tel que :

$\forall x\in M,\ \exists x'\in M:\,x'x=e$ (resp. $\forall x\in M,\ \exists x'\in M:\,xx'=e$).

Montrer que $e$ est élément neutre de $M$ et que tout élément de $M$ admet un symétrique.

Remarque : ceci implique que le magma $M$ est un groupe.

Solution

Nous rédigeons ici une solution pour les hypothèses « $e$ neutre à gauche et $\forall x\in M,\ \exists x'\in M:\,x'x=e$ » ; le raisonnement pour « $e$ neutre à droite et $\forall x\in M,\ \exists x'\in M:\,xx'=e$ » est analogue.

1) Montrons que : $\forall a\in M,\ aa=a\implies a=e$.

Soit $a$ dans $M$ tel que $aa=a$. Comme $e$ est neutre à gauche, on a $a=ea$. Par hypothèse, il existe $a'$ dans $M$ tel que $a'a=e$, d'où $a=ea=(a'a)a=a'(aa)=a'a=e$.

2) Montrons que pour tout $x$ dans $M$, il existe $x'$ dans $M$ tel que $x'x=xx'=e$.

Soit $x$ dans $M$. Par hypothèse, il existe $x'$ dans $M$ tel que $x'x=e$. On a donc :

$(xx')(xx')=x(x'x)x'=xex'=x(ex')=xx'$.

D'après 1), il en résulte que $xx'=e$, d'où $x'x=xx'=e$

Remarque : nous ne disons pas que $x$ est symétrisable, car pour l'instant on n'a pas prouvé que $e$ est élément neutre de $M$ ; on sait juste qu'il est neutre à gauche.

3) Montrons que $e$ est élément neutre de $M$.

$e$ étant neutre à gauche par hypothèse, il suffit de montrer qu'il est aussi neutre à droite.

Soit $x$ dans $M$. D'après 2), il existe $x'$ dans $M$ tel que $x'x=xx'=e$. On a donc $xe=x(x'x)=(xx')x=ex=x$, la dernière égalité résultant du fait que $e$ est neutre à gauche. Ainsi, pour tout $x$ dans $M$, $xe=ex=x$, autrement dit $e$ est élément neutre de $M$. Avec 2), on en déduit que tout élément de $M$ admet un symétrique.

Au final, $M$ est un magma associatif, admettant un élément neutre, et dont tout élément est symétrisable : c'est un groupe.