Sublattices of the lattices of strong \(\mathcal P\)-congruences on \(\mathcal P\)-inversive semigroups. (Q2461612)

A semigroup \(S\) is called \(\mathcal P\)-inversive if \(S\) is \(E\)-inversive (i.e., for any \(a\in S\) there is \(x\in S\) such that \(ax\in E(S)\)) and if there exists a non-empty subset \(P\) of \(E(S)\) such that: (i) \(P^2\subseteq E(S)\), (ii) \(pPp\subseteq P\) for any \(p\in P\), (iii) for any \(a\in S\) there exists a weak inverse \(a^+\in S\) (i.e., \(a^+aa^+= a^+\)) such that \(aP^1a^+\cup a^+ P^1a\subseteq P\). A congruence \(\rho\) on \(S\) is called a strong \(\mathcal P\)-congruence if (1) \(a\rho b\) (\(a,b\in S\)) implies \(a^+\rho b^+\) for any \(a^+,b^+\in S\) satisfying (iii), and (2) if \(a\in S\) then \(a\rho aa^+a\) for any \(a\in S\) satisfying (iii). The set \(CP(S)\) of all strong \(\mathcal P\)-congruences on a \(\mathcal P\)-inverse semigroup \(S\) is shown to be a complete lattice. Introducing \(C\)-traces and \(C\)-kernels of strong \(\mathcal P\)-congruences, results on congruences of regular semigroups [see \textit{F. Pastijn} and \textit{M. Petrich}, Trans. Am. Math. Soc. 295, 607-633 (1986; Zbl 0599.20095)] are generalized to \(\mathcal P\)-inversive semigroups. In particular, the relations on \(CP(S)\) identifying those strong \(\mathcal P\)-congruences on \(S\) which have the same \(C\)-trace resp. \(C\)-kernel, are studied.