\(\mathcal P\)-sandwich sets and a class of locally regular \(*\)-semigroups. (Q2459001)

A regular semigroup \(S\) is called *-semigroup if there exists a unary operation * on \(S\) such that \(xx^*x=x\), \((x^*)^*=x\) and \((xy)^*=y^*x^*\) for all \(x,y\in S\). Let \(E(S)\) denote the set of idempotents of \(S\), \(V(a)\) the set of inverses of \(a\in S\). \(S\) is called locally regular *-semigroup if \(eSe\) is a regular *-subsemigroup for all \(e\in E(S)\). An idempotent \(e\in E(S)\) of a regular *-semigroup \(S\) is called a projection if \(e^*=e\); \(F_S \) is the set of all projections of \(S\). A regular semigroup \(S\) is called \(\mathcal P\)-regular and denoted \(S=S(P)\) if there exists a subset of idempotents \(P\subseteq E(S)\) such that \(P^2\subseteq E(S)\), \(pPp\subseteq P\) for every \(p\in P\) and for every \(a\in S\) the set \(V_P(a)=\{a^\dag\in V(a)\mid aP^1a^\dag\subseteq P\), \(a^\dag P^1a\subseteq P\}\) is not empty. \(S\) is called strongly \(\mathcal P\)-regular, if \(V_P(e)\subseteq P\) for each \(e\in P\). It is proved, that the following conditions are equivalent: (1) \(S\) is strongly \(\mathcal P\)-regular; (2) \(S\) is a locally regular *-semigroup and \(F_{eSe}=eSe\cap P\) for all \(e\in P\); (3) \(|\{g\in V_P(ef)\cap E(S):ge=fg=g\}|=1\) for all \(e,f\in P\).