Les f-réguliers à gauche (Q800492)

Let S be a monoid and let E be a set of idempotents of S containing the identity 1. Then one can define a relation N on S by setting xNy if and only if \(x=ey\) for some \(e\in E\). In the case when E is a band this relation is a quasiorder on S. The monoid S is said to be a left \(F_ E\)-monoid if each class X of the congruence \(\sigma\) generated by \(\{\) (x,y)\(\in S\times S: exe=eye\) for some \(e\in E\}\) has a maximum element under N; i.e. there exists \(p\in X\) such that xNp for all \(x\in X\). If E is the set of all idempotents of S then S is said to be a left F-monoid. If S is a regular left F-monoid then it is shown that S is orthodox and a structure theorem is obtained for S analogous to that obtained by \textit{C. C. Edwards} for F-orthodox semigroups [ibid. 19, 331-345 (1980; Zbl 0432.20052)].