Lattices of equational theories are congruence lattices of monoids with one additional unary operation
In Stud. Sci Math. Hung. 26, 53-62 (1991; Zbl 0645.08004), the reviewer proved that the class of lattices of equational theories of unary algebras including non-regular equational theories is the class of congruence lattices of monoids with left (or right) zero. Let \(\mathcal M\) be a monoid, \(\langle A,\circ\rangle\) be the monoid obtained from \(\mathcal M\) by means of free addition of left zero \(\omega\), \(h\) be a unary operation on \(A\) such that \(h(a)= h(a\omega)= a\) for any \(a\) from \(\mathcal M\). From the results of the mentioned paper, it follows immediately that the class of congruence lattices of all such algebras \({\mathcal M}(h)=\langle A,\circ,h\rangle\) is the class of lattices of equational theories of unary algebras. In the reviewed paper it is proved that the class of lattices of equational theories of universal algebras is included in the class of congruence lattices of monoids with one additional unary operation.
- Covering relation in the language of mono-unary algebras with at most one constant symbol
- A perspective on algebraic representations of lattices
- Complements in lattices of varieties and equational theories
- Equational density of clones of polynomial functions
- Congruences, equational theories and lattice representations
- Lattices of theories in languages without equality
- An algebraic theory of clones
- scientific article; zbMATH DE number 4051703 (Why is no real title available?)
- Lattices of quasi-equational theories as congruence lattices of semilattices with operators. I
This page was built for publication: Lattices of equational theories are congruence lattices of monoids with one additional unary operation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802253)
