Kommutatives Binoid/N^Inf/(n=Inf) wedge N^Inf/(m=Inf)/Beispiel

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

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist positiv.

Das Binoid ist nicht reduziert.

Dimension: ${}0$.

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