\(E^*\)-dense \(E\)-semigroups. (Q5891858)

A semigroup \(S\) is called \(E\)-dense (\(E^*\)-dense) if every element \(a\in S\) (\(a\neq 0\)) has a weak inverse, that is, an element \(x\in S\) (\(x\neq 0\)) such that \(xax=x\). An \(E\)-semigroup is a semigroup \(S\) in which idempotents form a subsemigroup \(E(S)\). For \(E^*\)-dense semigroups, the known definition is modified to define strongly \(E^*\)-unitary semigroups, and a description of strongly \(E^*\)-unitary \(E^*\)-dense \(E\)-semigroups is given. An \(E\)-semigroup \(P\) is said to be a cover for an \(E\)-semigroup \(S\) if there is a surjective homomorphism \(\alpha\colon P\to S\) which maps isomorphically \(E(P)\) onto \(E(S)\). The mentioned notions are discussed. It is proved that every \(E^*\)-dense \(E\)-semigroup has an \(E^*\)-dense, strongly \(E^*\)-unitary \(E\)-semigroup as a cover. The structure of the latter semigroups is described.