Strong \({\mathcal P}\)-congruences on \({\mathcal P}\)-regular semigroups (Q1899943)

If \(S\) is a regular semigroup, \(E_S\) is its set of idempotents and \(P\subseteq E_S\), then the ordered pair \((S,P)\) is called a \(P\)- regular semigroup. In this case, saying that \(P^2\subseteq E_S\), means \(q P q\subseteq P\) for any \(q\) and for any \(a\in S\) there exists \(a^+\in V(a)\) such that \(aP^1 a^+\subseteq P\) and \(a^+ P^1 a\subseteq P\). Here \(P^1=P\cup\{1\}\) and \(V(a)\) denotes the set of all inverses of \(a\). A strong \(P\)-congruence on \((S,P)\) is a congruence \(\rho\) on \(S\) satisfying the further condition that for any \(q\in P\) and \(a\in S\), \(q\rho a\) implies \(q\rho a^+\) for all inverses \(a^+\) of \(a\) in \(P\). The properties of such congruences are described.