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

DOI10.1142/S021819671250066XzbMATH Open1284.08019arXiv1106.2204OpenAlexW4238548453MaRDI QIDQ4902685FDOQ4902685

Authors: J. B. Nation, Kira Adaricheva 

Publication date: 17 January 2013

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

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).

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

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

zbMATH Keywords

semilatticecongruence latticequasivarietylattice of quasivarieties

Mathematics Subject Classification ID

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

Cites Work

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

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
• Title not available (Why is that?)
• 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)