A Construction for 𝒫-Regular Semigroups (Q4803340)

A \(\mathcal P\)-regular semigroup \(S(P)\) consists of a regular semigroup \(S\) and a subset \(P\subseteq E(S)\) of idempotents such that the following conditions are satisfied: (1) for all \(p,q\in P\), \(pq\in E(S)\) and \(pqp\in P\); (2) each \(a\in S\) has an inverse \(a^+\) such that \(aP^1a^+\cup a^+P^1a\subseteq P\). In the paper, a construction is given for each \(\mathcal P\)-regular semigroup.