Decomposability of the finitely generated free hoop residuation algebra
An ordered algebra \((A;\cdot,\to,1,\leq)\) such that \((A;\cdot,1)\) is a commutative monoid, \(\leq\) is an order relation on \(A\) with largest element 1, and \(\to\) is a residuation operation, is called a partially ordered commutative residuated monoid (pocrim). A hoop is a pocrim satisfying the identity \(x\cdot(x\to y)=y\cdot(y\to x)\). The \(\{\to,1\}\)-subreducts of hoops are called hoop residuation algebras. They form a variety denoted by HoRA. The main result of the paper (Theorem 2.8) states that, for \(n>1\), the \(n\)-generated algebra in any locally finite subvariety \(V\) of HoRA can be written as \(L_2\times A'\) where \(L_2\) is the 2-element Lukasiewicz residuation algebra and \(A'\) is a directly indecomposable \(V\)-algebra.
- Free Łukasiewicz and hoop residuation algebras
- scientific article; zbMATH DE number 3819795 (Why is no real title available?)
- scientific article; zbMATH DE number 3908432 (Why is no real title available?)
- scientific article; zbMATH DE number 3724445 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 475196 (Why is no real title available?)
- scientific article; zbMATH DE number 910446 (Why is no real title available?)
- Free Łukasiewicz and hoop residuation algebras
- Factor congruences in BCK-algebras
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- A Decomposition of Elements of the Free Algebra
- Hoops with quasi-valuation maps
- On the variety generated by involutive pocrims
- Quotient Hoops Induced by Quasi-Valuation Maps
- Łukasiewicz fuzzy filters in hoops
This page was built for publication: Decomposability of the finitely generated free hoop residuation algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2426730)
