Binoid: M=(Z×Z/dZ)∞, d≥2{\displaystyle {}M=(\mathbb {Z} \times \mathbb {Z} /d\mathbb {Z} )^{\infty }{\text{, }}d\geq 2}.
Eigenschaften:
Das Binoid ist nicht endlich.
Das Binoid ist endlich erzeugt.
Das Binoid ist integer.
Das Binoid ist nicht semipositiv.
Dimension: 0{\displaystyle {}0}.
Binoidalgebra: K[M]=K[X,Y]/(XdYd−1){\displaystyle {}K[M]=K[X,Y]/(X^{d}Y^{d}-1)}.