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
3.3 and pages 145-146 of Bergman's book, Universal Algebra