1
Soit un monoı̈de unitaire. On dit qu’un élément de admet un inverse à gauche (resp. inverse à droite) s’il existe tel que (resp. ).
(a) Supposons qu’un élément admette un inverse à gauche qui lui-même admet un inverse à gauche. Montrer que est inversible.
(b) Supposons que tout élément de admette un inverse à gauche. Montrer que est un groupe.