Decomposability of the finitely generated free hoop residuation algebra (Q2426730)

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.