The problem of characterizing the lattices of equational theories is still unsolved. In this paper we describe a class K of monoids enriched by two unary operations and show that a lattice L is a lattice of equational theories if and only if L is isomorphic to a lattice of congruences of some enriched monoid belonging to K
© 2008-2024 Fundación Dialnet · Todos los derechos reservados