Binoid: M = N ∞ ∧ ( Z / m Z ) ∞ , m ≥ 2 {\displaystyle {}M=\mathbb {N} ^{\infty }\wedge (\mathbb {Z} /m\mathbb {Z} )^{\infty }{\text{, }}m\geq 2} .
Eigenschaften:
Das Binoid ist endlich erzeugt.
Das Binoid ist integer.
Das Binoid ist nicht positiv.
Das Binoid ist semipositiv.
Dimension: 1 {\displaystyle {}1} .
Binoidalgebra: K [ M ] = K [ X , Y ] / ( Y m − 1 ) {\displaystyle {}K[M]=K[X,Y]/(Y^{m}-1)} .
![{\displaystyle {}K[M]=K[X,Y]/(Y^{m}-1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b6fd6d4a331121b8b3f4192bc86ccc078bd0e6b2)