Decomposability of the finitely generated free hoop residuation algebra (Q2426730)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decomposability of the finitely generated free hoop residuation algebra |
scientific article |
Statements
Decomposability of the finitely generated free hoop residuation algebra (English)
0 references
23 April 2008
0 references
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.
0 references
hoop residuation algebras
0 references
free algebras
0 references
decomposability
0 references
Lukasiewicz residuation algebras
0 references