Kommutatives Binoid/ Z/nZ ^Inf wedge N^Inf/m=Inf/Beispiel

Binoid: ${}M=(\mathbb {Z} /n\mathbb {Z} )^{\infty }\wedge \mathbb {N} ^{\infty }/(m=\infty ){\text{, }}n,m\geq 2$.

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht positiv.

Das Binoid ist semipositiv.

Das Binoid ist nicht reduziert.

Dimension: ${}0$.

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