Free cancellative hoops (Q1866810): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s000120050154 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1994741015 / rank | |||
Normal rank |
Latest revision as of 20:02, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Free cancellative hoops |
scientific article |
Statements
Free cancellative hoops (English)
0 references
23 April 2003
0 references
A cancellative hoop is an algebra \(\langle A;+,\ominus ,0\rangle\) of type \(\langle 2,2,0\rangle\) such that \(\langle A;+,0\rangle\) is a commutative monoid and the following axioms are satisfied: \(x+(y \ominus x)=y+(x \ominus y)\); \((x \ominus y) \ominus z=x \ominus (y+z)\); \(x \ominus x=0\); \(0 \ominus x=0\); \((x+y) \ominus x=y\). It is known that the positive cone \(G^+ \) of any abelian \(l\)-group \(G\) can be considered as a cancellative hoop, and, conversely, an algebra \(A\) of type \(\langle 2,2,0\rangle\) is a cancellative hoop if and only if there is an abelian \(l\)-group \(G\) such that \(A\) is isomorphic to \(G^+ \). The authors of the paper describe the free cancellative hoops in terms of piecewise linear functions.
0 references
cancellative hoop
0 references
ordered monoid
0 references
abelian \(l\)-group
0 references
free algebra
0 references