Short equational bases for two varieties of groupoids associated with involuted restrictive bisemigroups of binary relations. (Q863461)

\textit{B. M. Schein} [Mat. Čas., Slovensk. Akad. Vied 19, 307-315 (1969; Zbl 0194.02301)] defined an involuted restrictive bisemigroup to be a set \(S\), equipped with two binary operations, \(\triangleright\) and \(\triangleleft\), and with a unary operation, \(^{-1}\), for which both \((S,\triangleright)\) and \((S,\triangleleft)\) are idempotent semigroups and five of the following compatibility conditions: (1) \(x\triangleright y\triangleright z=y\triangleright x\triangleright z\), (2) \(x\triangleleft y\triangleleft z=x\triangleleft z\triangleleft y\), (3) \((x\triangleright y)\triangleleft z=x\triangleright(y\triangleleft z)\), (4) \((x^{-1})=x\), (5) \((x\triangleright y)^{-1}=y^{-1}\triangleleft x^{-1}\). Let \(X\) be a set and let \(\mathcal B(X)\) be the set of all binary relations on \(X\). B. M. Schein [loc. cit.] showed that \(\mathcal B(X)\) comes equipped with two natural binary operations and a natural unary operation that give it an involuted restrictive bisemigroup structure. Moreover, each involuted restrictive bisemigroup is isomorphic to a subalgebra of \(\mathcal B(X)\) for some set \(X\). With this representation theorem at hand, two groupoids of binary relations, \((\mathcal B(X),\ast)\) and \((\mathcal B(X),\ast\ast)\), are associated with the involuted restrictive bisemigroup \(\mathcal B(X)\). \textit{D. A. Bredikhin} [Semigroup Forum 44, No. 1, 87-92 (1992; Zbl 0792.20066)] found equational bases of the varieties of all groupoids representing a subgroupoid of \((\mathcal B(X),\ast)\) (Theorem 1) and \((\mathcal B(X),\ast\ast)\) (Theorem 2). Both bases contain six identities. The author sharpens Bredikhin's theorems by showing that the identities (B1), (B4), and (B6) are consequences of the three remaining in Theorem 1, that the identities (B7), (B11), and (B12) are consequences of the three remaining in Theorem 2, and that these three remaining identities in each basis are independent.