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

DOI10.1142/S0218196712500658MaRDI QIDQ4902684zbMATH OpenFDO

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

zbMATH Keywords

congruence latticelattice of quasivarietiesquasi-equational theoryquasivarietysemilattice

Mathematics Subject Classification ID

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

Abstract: We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the lattice of sub-quasivarieties of K) is isomorphic to Con(S,+,0,F). As a consequence, new restrictions on the natural quasi-interior operator on lattices of quasi-equational theories are found.

Recommendations

• Lattices of quasi-equational theories as congruence lattices of semilattices with operators. II
• A refinement of the equaclosure operator
• Lattices of theories in languages without equality
• Equational closure operator and forbidden semidistributive lattices
• On equational theories of semilattices with operators

Cites work

• A class of lattices of quasivarities
• A property of the lattice of equational theories
• Axiomatizable and nonaxiomatizable congruence prevarieties
• Congruence lattices of semilattices
• Equational closure operator and forbidden semidistributive lattices
• Equational theories as congruences of enriched monoids
• Further properties of lattices of equational theories
• Intervals in the lattice of varieties
• Join-semidistributive lattices and convex geometries.
• Lattices of algebraic subsets
• Lattices of equational theories are congruence lattices of monoids with one additional unary operation
• On atoms in the lattice of quasivarieties
• Open questions related to the problem of Birkhoff and Maltsev
• The cardinality of subdirectly indecomposable systems in quasivarieties
• The Pontryagin duality of compact O-dimensional semilattices and its applications
• The structure of the lattices of quasivarieties
• Weak distributive laws and their role in lattices of congruences and equational theories

Cited in

(13)

• A property of the lattice of equational theories
• A refinement of the equaclosure operator
• On semilattices and lattices for families of theories
• Lattices of theories in languages without equality
• A topological duality for monotone expansions of semilattices
• Quasivariety lattices of pointed abelian groups.
• Congruence lattices of semilattices with operators
• On equational theories of semilattices with operators
• scientific article; zbMATH DE number 4170985 (Why is no real title available?)
• scientific article; zbMATH DE number 125211 (Why is no real title available?)
• scientific article; zbMATH DE number 647610 (Why is no real title available?)
• Lattices of quasi-equational theories as congruence lattices of semilattices with operators. II
• Equational closure operator and forbidden semidistributive lattices

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

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