Separable modes (Q2366146)

The authors introduce the notion of (finite) separability of varieties of modes (= idempotent algebras \(A\) in which all fundamental operations are homomorphisms of suitable power of \(A\) into \(A\)). Using an ``affinisation process'' one can associate to each variety \(\mathbb{B}\) of modes, a commutative ring \(R(\mathbb{B})\), and thus the family of all affine spaces over \(R(\mathbb{B})\), and thus of the minimal cogenerator \(F\) (or \(F^ \infty\), i.e. \(F\) with the ``point at infinity'') of the last family. A mode \(B\in\mathbb{B}\) is called (finitely) separable in \(\mathbb{B}\) if any pair of its points can be separated by a \(\mathbb{B}\)-homomorphism of \(B\) into the \(\mathbb{B}\)-reduct of \(F^ \infty\) \((F)\). The authors prove that a mode \(B\in\mathbb{B}\) is separable iff \(B\) is a subreduct of Płonka sum of affine spaces over \(R(\mathbb{B})\). There are also many interesting examples and open questions in the paper.