Lattices of quasi-equational theories as congruence lattices of semilattices with operators. II

DOI10.1142/S021819671250066XMaRDI QIDQ4902685zbMATH OpenOpenAlexFDO

Authors J. B. Nation, Kira Adaricheva

Publication date 17 January 2013

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.2204

zbMATH Keywords

semilatticecongruence latticequasivarietylattice of quasivarieties

Mathematics Subject Classification ID

Semilattices (06A12) Subalgebras, congruence relations (08A30) Quasivarieties (08C15)

Abstract: Part I proved that for every quasivariety K of structures (which may have both operations and relations) there is a semilattice S with operators such that he lattice of quasi-equational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+,0,F). It is known that if S is a join semilattice with 0 (and no operators), then there is a quasivariety Q such that the lattice of theories of Q is isomorphic to Con(S,+,0). We prove that if S is a semilattice having both 0 and 1 with a group G of operators acting on S, and each operator in G fixes both 0 and 1, then there is a quasivariety W such that the lattice of quasi-equational theories of W is isomorphic to Con(S,+,0,G).

Recommendations

• Lattices of quasi-equational theories as congruence lattices of semilattices with operators. I
• Quasiorder lattices in congruence modular varieties
• Lattices of theories in languages without equality
• Congruences, equational theories and lattice representations
• scientific article; zbMATH DE number 125211

Cites work

• A class of lattices of quasivarities
• Open questions related to the problem of Birkhoff and Maltsev

Cited in

(14)

• Congruences, equational theories and lattice representations
• On equational theories of semilattices with operators
• Minimal quasivarieties of semilattices over commutative groups.
• On semilattices and lattices for families of theories
• Congruence lattices of semilattices with operators
• scientific article; zbMATH DE number 4170985 (Why is no real title available?)
• A refinement of the equaclosure operator
• Lattices of theories in languages without equality
• On coatoms and complements in congruence lattices of unars with Mal'tsev operation
• On congruence-coherent Rees algebras and algebras with an operator
• Lattices of quasi-equational theories as congruence lattices of semilattices with operators. I
• Equational closure operator and forbidden semidistributive lattices
• A property of the lattice of equational theories
• Lattice of Mal'tsev theories

This page was built for publication: Lattices of quasi-equational theories as congruence lattices of semilattices with operators. II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4902685)