Exercice 11, § 2
Algèbre, I, p. 120
Bourbaki marks this one as harder than the rest.
On dit que E est un semi-groupe à gauche si tout élément de E est simplifiable à gauche. a) Si est un idempotent (I, p. 7), on a pour tout (utiliser l’exerc. 9a)); est élément neutre pour la loi induite sur . b) Si et sont deux idempotents distincts de E, on a , et les ensembles et (munis des lois induites par celle de E) sont isomorphes. c) Soit R le complémentaire de la réunion des ensembles , où parcourt l’ensemble des idempotents de E. Montrer que ; il en résulte que R est une partie stable de E. Si R n’est pas vide, on a pour tout (utiliser l’exerc. 9a) pour prouver que, dans le cas contraire, R contiendrait un idempotent); en particulier R est alors infini. On dit que R est le résidu du semi-groupe à gauche E. d) Si R n’est pas vide, et s’il existe au moins un idempotent dans E (c’est-à-dire si ), pour tout , on a ; en particulier, aucun élément de n’est inversible dans , et est un ensemble infini (utiliser l’exerc. 8). e) Si E possède un élément neutre , est le seul idempotent de E, et R est vide (remarquer que ). f) S’il existe un élément de E simplifiable à droite (en particulier si la loi donnée sur E est commutative), ou bien E possède un élément neutre, ou bien (remarquer que s’il existe un idempotent , on a pour tout ). Par exemple, si E est l’ensemble des entiers , muni de l’addition, E est un semi-groupe commutatif tel que . g) S’il existe tel que soit surjective, ou bien E possède un élément neutre, ou bien (examiner séparément le cas où et le cas où , pour un idempotent ).
Solution
Aucune solution n’a encore été écrite.