Separable modes

Semilattices (06A12) Varieties (08B99) Vector spaces, linear dependence, rank, lineability (15A03) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Sets with a single binary operation (groupoids) (20N02)

Review text

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.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Separable modes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366146)