Transfer theorems for finitely subdirectly irreducible algebras

DOI10.1016/J.JALGEBRA.2023.11.003arXiv2205.05148OpenAlexW4388639966MaRDI QIDQ6183569FDOQ6183569

Authors: Wesley Fussner, George Metcalfe 

Publication date: 4 January 2024

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: We show that under certain conditions, well-studied algebraic properties transfer from the class $mathcal{Q}_{{}_{e}xtRFSI}$ of the relatively finitely subdirectly irreducible members of a quasivariety $mathcalQ$ to the whole quasivariety, and, in certain cases, back again. First, we prove that if $mathcalQ$ is relatively congruence-distributive, then it has the $mathcalQ$-congruence extension property if and only if $mathcal{Q}_{{}_{e}xtRFSI}$ has this property. We then prove that if $mathcalQ$ has the $mathcalQ$-congruence extension property and $mathcal{Q}_{{}_{e}xtRFSI}$ is closed under subalgebras, then $mathcalQ$ has a one-sided amalgamation property (equivalently, for $mathcalQ$, the amalgamation property) if and only if $mathcal{Q}_{{}_{e}xtRFSI}$ has this property. We also establish similar results for the transferable injections property and strong amalgamation property. For each property considered, we specialize our results to the case where $mathcalQ$ is a variety -- so that $mathcal{Q}_{{}_{e}xtRFSI}$ is the class of finitely subdirectly irreducible members of $mathcalQ$ and the $mathcalQ$-congruence extension property is the usual congruence extension property -- and prove that when $mathcalQ$ is finitely generated and congruence-distributive, and $mathcal{Q}_{{}_{e}xtRFSI}$ is closed under subalgebras, possession of the property is decidable. Finally, as a case study, we provide a complete description of the subvarieties of a notable variety of BL-algebras that have the amalgamation property.

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

Recommendations

• Quasivarieties of algebras with definable principal congruences
• Quasi-identities of congruence-distributive quasivarieties of algebras
• On the Relationship of AP, RS and CEP in Congruence Modular Varieties. II
• On Solvable Congruences in Finitely Decidable Varieties
• Quasivarieties with definable relative principal subcongruences

zbMATH Keywords

varietyBL-algebraquasivarietyamalgamation propertycongruence extension propertycongruence-distributivefinitely subdirectly irreducible

Mathematics Subject Classification ID

Distributive lattices (06Dxx) Algebraic logic (03Gxx) Varieties (08Bxx)

Cites Work

• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Super-Łukasiewicz propositional logics
• Algebras Whose Congruence Lattices are Distributive.
• Varieties of BL-algebras. I: General properties.
• Amalgamation and interpolation in ordered algebras.
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• The Structure of Pseudocomplemented Distributive Lattices. II: Congruence Extension and Amalgamation
• On the congruence extension property
• Algebraic point lattices of quasivarieties
• Title not available (Why is that?)
• Embedding theorems for classes of GBL-algebras
• One chain generated varieties of MV-algebras
• Epimorphisms and dominions. V
• Free algebras in varieties of BL-algebras with a Boolean retract.
• Finitely generated congruence distributive quasivarieties of algebras
• Weak Injectivity and Congruence Extension in Congruence-Distributive Equational Classes
• Injectivity and related concepts in modular varieties: II. The congruence extension property
• Injectivity in model theory
• On the Relationship Between AP, RS and CEP
• Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components
• Epimorphism surjectivity in varieties of Heyting algebras
• Residuated Structures in Algebra and Logic
• DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS
• Poset products as relational models
• A topological approach to MTL-algebras
• Some modal and temporal translations of generalized basic logic

Cited In (3)

• Interpolation in linear logic and related systems
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Semiconic idempotent logic. I: Structure and local deduction theorems.

This page was built for publication: Transfer theorems for finitely subdirectly irreducible algebras

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