Kommutatives Binoid/ZxZ/dZ/Beispiel

Binoid: ${}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$.

Binoidalgebra: ${}K[M]=K[X,Y]/(X^{d}Y^{d}-1)$.