Abstract

Some elements of tame congruence theory can be applied to quasiorder lattices instead of congruence lattices. In particular, it is possible to consider minimal sets of an algebra with respect to one of its prime quasiorder quotients. It turns out that if a finite algebra is in a congruence modular variety, then it is minimal with respect to a quasiorder quotient iff it is minimal with respect to a congruence quotient — in which case it is either a two-element algebra, or has a Mal’tsev-polynomial. As an application of this fact, we prove that if an algebra is in a congruence modular variety, its congruence and quasiorder lattices satisfy the same identities.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call