### References & Citations

# Mathematics > Logic

# Title: Transfer theorems for finitely subdirectly irreducible algebras

(Submitted on 10 May 2022 (v1), last revised 10 Jun 2022 (this version, v2))

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.

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