Binoid: M=N∞∧(Z/mZ)∞, 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]/(Ym−1){\displaystyle {}K[M]=K[X,Y]/(Y^{m}-1)}.