Pure \(\nabla\)-bands. (Q818936)

Let \(S\) be a band (i.e., a semigroup of idempotents). \(S\) is called pure if for all \(x,y\in S\) either \(xyx=x\) or \(yxy=y\) holds. A band is called regular if it satisfies the identity \(axaya=axya\). In the case when \(S\) lies in the multiplicative semigroup of a ring \(R\), an operation \(\nabla\) is defined on elements of \(S\) by \(a\nabla b=a+b+ba-aba-bab\). If \(S\) is closed under \(\nabla\), \(S\) is called a \(\nabla\)-band. A \(\nabla\)-band is always regular. It is shown that a regular band does not generate a \(\nabla\)-band in general. The main result says that any regular pure band \(S\) in a ring \(R\) generates a pure \(\nabla\)-band. Connections with skew lattices are also discussed [\textit{K. Cvetko-Vah}, Semigroup Forum 68, No. 2, 268-279 (2004; Zbl 1046.06004)].