Aula 24

12 Abril 2021, 15:30 • Maria João Antunes Dias Gouveia

Congruence-distributive varieties. Jónsson's Lemma. The class of subdirectly irreducible algebras of a variety V is a subclass of HS(K) for any finite set K of finite algebras that generates V. Every lattice-based algebra is congruence-distributive.
S6  of Chapter IV and pages  79-80 of "A course in Universal Algebra", Burris and Sankappanavar