Separable modes (Q2366146)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separable modes |
scientific article |
Statements
Separable modes (English)
0 references
29 June 1993
0 references
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.
0 references
barycentric algebra
0 references
idempotent algebras
0 references
separability of varieties of modes
0 references
affine spaces
0 references
subreduct
0 references
Płonka sum
0 references