Regular involution groupoids revisited (Q1092170)

A set G with a mapping \(G\times G\supset D\ni (x,y)\mapsto x\cdot y\in G\) is said to be a partial groupoid. A mapping \(x\mapsto x'\) is said to be a compatible involution on G provided (i) \((x')'=x\), (ii) when (x,y)\(\in D\), so is (y',x') and \((x,y)'=y'\cdot x'\). The triple (G,\(\cdot,')\) is called then an involutive groupoid. This last is regular if for each \(x\in G\) the two related products \(x\cdot (x'\cdot x)\) and (x\(\cdot x')\cdot x\) both exist and they are equal. The regular involution groupoids of this paper generalize the regular semigroups of \textit{T. E. Nordahl} and \textit{H. E. Scheiblich} [Semigroup Forum 16, 369-377 (1978; Zbl 0408.20043)]; the usual associative law for triples of elements is replaced now by a form of associativity for a certain family of ordered quadruples from the groupoid. Varying the family gives a variety of types. Three types were studied in an earlier paper [the first author, Calcutta Math. Soc. Diamond Jubilee Commen. 1983, Pt. 1, 95-111 (1984; Zbl 0599.20090)]. Some elementary relations between these types are obtained. The question of which subsets of the set of projective elements of a regular involution groupoid occur as sets of projective elements of involutive subgroupoids is studied. The way the restriction of a congruence on a regular involution groupoid on the subset of the projective elements controls the full congruence is examined.