Finitely Based Congruence Varieties
arXiv:2306.14396 · doi:10.1007/s00012-023-00840-6
Abstract
We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.
18 pages
arXiv:2306.14396 · doi:10.1007/s00012-023-00840-6
We show that for a large class of varieties of algebras, the equational theory of the congruence lattices of the members is not finitely based.
18 pages