Exercise 11, § 2
Algebra, I, 127
Bourbaki marks this one as harder than the rest.
E is called a left semi-group if every element of E is left cancellable.
(a) If is an idempotent (, no. 4), then for all (use Exercise 9(a)); is identity element for the law induced on .
(b) If and are two distinct idempotents of E, then and the sets and (with the laws induced by that on E) are isomorphic.
(c) Let R be the complement of the union of the sets , where runs through the set of idempotents of E. Show that ; it follows that R is a stable subset of E. If R is non-empty, then for all (use Exercise 9(a) to prove that, in the contrary case, R would contain an idempotent); in particular, R is then infinite. R is called the residue of the left semi-group E.
(d) If R is non-empty and there exists at least one idempotent in E (that is ), for all ; in particular, no element of is invertible in and is an infinite set (use Exercise 8).
(e) If E has an identity element , is the only idempotent in E and R is empty (note that ).
(f) If there exists a right cancellable element in E (in particular if the given law on E is commutative), either E has an identity element or (note that if there exists an idempotent , then for all ). For example, if E is the set of integers , with addition, E is a commutative semi-group such that .
(g) If there exists such that is surjective, either E has an identity element or (examine separately the case where and the case where for an idempotent ).
Solution
No solution has been written yet.