Transfer theorems for finitely subdirectly irreducible algebras

DOI10.1016/J.JALGEBRA.2023.11.003MaRDI QIDQ6183569zbMATH OpenOpenAlexFDO

Authors Wesley Fussner, George Metcalfe

Publication date 4 January 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

varietyBL-algebraquasivarietyamalgamation propertycongruence extension propertycongruence-distributivefinitely subdirectly irreducible

Mathematics Subject Classification ID

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

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.

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

Cites work

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

Cited in

(3)

• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Interpolation in linear logic and related systems
• 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)