The subvariety structure of weakly associative lattices with the unique bound property (Q1918963): Difference between revisions

The author studies subvarieties of \(\mathfrak A\) and \(\mathfrak W\). \(\mathfrak W\) is the variety of weakly associative lattices, \(\mathfrak A\) contains all subvarieties of \(\mathfrak W\) with the CEP (congruence extension property) and is itself generated by the algebras with the UBP (unique bound property). It is shown that \(\mathfrak A\) has a continuum of subvarieties. In \(\mathfrak A\) every finite subdirectly irreducible is projective, whereas \(\mathfrak W\) has no non-trivial projectives.