We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Transfer theorems for finitely subdirectly irreducible algebras

Abstract: We show that under certain conditions, well-studied algebraic properties transfer from the class $\mathcal{V}_{_\text{FSI}}$ of finitely subdirectly irreducible members of a variety $\mathcal{V}$ to the whole variety, and, in certain cases, back again. First, we prove that a congruence-distributive variety $\mathcal{V}$ has the congruence extension property if and only if $\mathcal{V}_{_\text{FSI}}$ has the congruence extension property. We then prove that for a variety $\mathcal{V}$ with the congruence extension property such that $\mathcal{V}_{_\text{FSI}}$ is closed under subalgebras, $\mathcal{V}$ has a one-sided amalgamation property (equivalently, since $\mathcal{V}$ is a variety, the amalgamation property) if and only if $\mathcal{V}_{_\text{FSI}}$ has this property. We also establish similar results for the transferable injections and strong amalgamation properties, and prove that possession of all these properties is decidable for finitely generated varieties satisfying certain conditions. Finally, as a case study, we describe the subvarieties of a notable variety of BL-algebras that have the amalgamation property.
Subjects: Logic (math.LO)
Cite as: arXiv:2205.05148 [math.LO]
  (or arXiv:2205.05148v2 [math.LO] for this version)

Submission history

From: George Metcalfe [view email]
[v1] Tue, 10 May 2022 20:04:24 GMT (16kb)
[v2] Fri, 10 Jun 2022 04:55:30 GMT (17kb)

Link back to: arXiv, form interface, contact.