No label defined (Q4487293)

An equivalential algebra is a groupoid satisfying the identities \((x\cdot x)\cdot y = y\), \(((x\cdot y)\cdot z)\cdot z = (x\cdot z)\cdot (y\cdot z)\) and \( ((x\cdot y)\cdot ((x\cdot z)\cdot z))\cdot ((x\cdot z)\cdot z) = x\cdot y \). Let \(\Omega \) be the groupoid whose underlying set are the natural numbers and \( x\cdot x = 0\) and \(x\cdot y = \max (x,y)\) if \( x\neq y\). Let \(\Sigma \) be the groupoid whose underlying set is a countably infinite family of sets closed under symmetric difference together with an external element \(*\), where the operation is symmetric difference and for any nonvoid \(x\), \(x\cdot * = *\cdot x = x \) and \(*\cdot * = \emptyset \) and \(*\cdot\emptyset = \emptyset \cdot * = *\). Theorem: Let \(\mathcal V\) be a variety of equivalential algebras. If \(\mathcal V\) is not finitely generated, then it includes \(\Sigma \) or \(\Omega \).