Lattice varieties with non-elementary amalgamation classes
For a class \(\mathcal K\), denote by \(\text{Amal} (\mathcal K\)) the subclass of all amalgamation bases of \(\mathcal K\). It is a question under what conditions \(\text{Amal} (\mathcal K\)) is an elementary class. For lattice varieties it was shown by C. Bergman in 1989 that no finitely generated non-distributive modular variety has an elementary amalgamation class. The authors prove a more general result. For a lattice \(K\) denote by \(K_{(2)}\) the lattice obtained by glueing 2 copies of \(K\) together, top element to bottom element. For a variety \(\mathcal V\) let \(\mathcal V_{MI}\) denote the class of maximal SI-members of \(\mathcal V\). Main result: Theorem 3.7. Suppose that \(\mathcal V\) is a finitely generated variety of lattices and suppose that \(K\in \text{Amal} (\mathcal V\)) is a simple lattice such that \(K_{(2)}\) is not a sublattice of any member of \({\mathcal V}_{(MI)}\). Then neither \(\text{Amal} (\mathcal V\)) nor its complement are elementary classes.
- Algebraically closed algebras in certain small congruence distributive varieties
- Amalgamation classes of some distributive varieties
- Non-axiomatizability of the amalgamation class of modular lattice varieties
- Semilattice modes. II: The amalgamation property
- Many varieties of lattices with nonsurjective epimorphisms
- The Amalgamation Property for Varieties of Lattices
- From noncommutative diagrams to anti-elementary classes
- Strong amalgamation of distributive lattices
- Amalgamation in small varieties of lattices
This page was built for publication: Lattice varieties with non-elementary amalgamation classes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5932485)