Super rpp semigroups. (Q1959028)

A semigroup \(S\) is called an rpp (right principally projective) semigroup if every \(\mathcal L ^*\)-class contains at least one idempotent of \(S\) (compare with abundant semigroups). Such a semigroup is called a strongly rpp semigroup if for every \(a\in S\) there exists a unique idempotent \(a^\dag\) such that \(aa^\dag=a\). Let \(S\) be a strongly rpp semigroup. The authors define \(a\overline{\mathcal R}b\Leftrightarrow a^\dag\mathcal Rb^\dag\). A strongly rpp semigroup \(S\) is called super rpp if \(\overline{\mathcal R}\) is a left congruence on \(S\). These super rpp semigroups are generalizations of both superabundant semigroups and Clifford semigroups within the class of rpp semigroups. A characterization theorem for such semigroups is given. The structure of super rpp semigroups whose idempotents form a band is studied. In closing the paper, the primitive strongly rpp semigroups are considered. These semigroups are always super rpp. In particular, a semigroup \(S\) without zero is a primitive strongly rpp semigroup if and only if \(S\) is isomorphic to some Rees matrix semigroup over a left cancellative monoid.