Restricting idempotents in \(E\)-inversive semigroups (Q3150809)

A semigroup \(S\) is called \(E\)-(0-)inversive if for every \(a\in S\) (\(a\neq 0\)) there exists \(x\in S\) such that \((ax)^2=ax(\neq 0)\). An idempotent \(e(\neq 0)\) of \(S\) is primitive if \((0\neq)f\leq e\) implies that \(f=e\). The article describes \(E\)-inversive and \(0\)-inversive semigroups having a unique idempotent or a least idempotent or whose (nonzero) idempotents are primitive or are ordered dually to the natural numbers. For example, it is proved that a semigroup \(S\) is \(E\)-inversive such that \(E_S\) has a least element if and only if \(S\) is a homogroup. A semigroup \(S\) without zero is \(E\)-inversive and all idempotents of \(S\) are primitive if and only if \(S\) is an ideal extension of a completely simple semigroup by a poor semigroup (a semigroup \(S\) is called poor if it has a zero which is the unique idempotent of \(S\)).