A ternary variety generated by lattices
Let be a -ary lattice term. A -pointed lattice , will be called a -lattice (or a test lattice if is not specified), if is generated by and, in addition, for any -ary lattice term satisfying , in , the lattice identity holds in all lattices. In an elementary visual way, we construct a finite -lattice for each . If is a canonical lattice term,...
The clone lattice Cl(X) over an infinite set X is a complete algebraic lattice with compact elements. We show that every algebraic lattice with at most compact elements is a complete sublattice of Cl(X).
A variety 𝕍 of algebras of a finite type is almost ff-universal if there is a finiteness-preserving faithful functor F: 𝔾 → 𝕍 from the category 𝔾 of all graphs and their compatible maps such that Fγ is nonconstant for every γ and every nonconstant homomorphism h: FG → FG' has the form h = Fγ for some γ: G → G'. A variety 𝕍 is Q-universal if its lattice of subquasivarieties has the lattice of subquasivarieties of any quasivariety of algebras of a finite type as the quotient of its sublattice....
The Cantor-Bernstein-Schröder theorem of the set theory was generalized by Sikorski and Tarski to -complete boolean algebras, and recently by several authors to other algebraic structures. In this paper we expose an abstract version which is applicable to algebras with an underlying lattice structure and such that the central elements of this lattice determine a direct decomposition of the algebra. Necessary and sufficient conditions for the validity of the Cantor-Bernstein-Schröder theorem for...
Let , be an algebraic lattice. It is well-known that with its topological structure is topologically scattered if and only if is ordered scattered with respect to its algebraic structure. In this note we prove that, if is a distributive algebraic lattice in which every element is the infimum of finitely many primes, then has Krull-dimension if and only if has derived dimension. We also prove the same result for , the set of all prime elements of . Hence the dimensions on the lattice...