\({\mathcal P}\)-congruences on \({\mathcal P}\)-regular semigroups (Q1185768): Difference between revisions

A pair \((S,P)\) of a regular semigroup \(S\) and a subset \(P\) of the set \(E_ S\) of idempotents of \(S\) is called a \(\mathcal P\)-regular semigroup \(S(P)\) if it satisfies the following: (1) \(P^ 2\subset E_ S\), (2) \(qPq\subset P\) for all \(q\in P\), and (3) for any \(x\in S\) there exists an inverse \(x^*\) of \(x\) such that \(xP^ 1 x^*\subset P\) and \(x^*P^ 1 x\subset P\), where \(P^ 1=P\cup\{1\}\). This concept was introduced by the author and the reviewer [ibid. 39, 157-178 (1989; Zbl 0664.20039)]. Let \(S(P)\) be a \(\mathcal P\)-regular semigroup, and \(\rho\) a \(\mathcal P\)- congruence on \(S(P)\). The set of \(\rho\)-classes containing an element of \(P\) is called the \(\mathcal P\)-kernel of \(\rho\). It is shown that two \(\mathcal P\)-congruences on a \(\mathcal P\)-regular semigroup coincide if and only if they have the same \(\mathcal P\)-kernel. The main purpose of this paper is to give a characterization of the \(\mathcal P\)-kernel of a \(\mathcal P\)-congruence on a \(\mathcal P\)-regular semigroup \(S(P)\) in terms of a certain collection of subsets of \(S(P)\) called a \(\mathcal P\)-kernel normal system of \(S(P)\).