Kommutatives Binoid/N^Inf wedge (Z/mZ)^Inf/Beispiel

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

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