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

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

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist integer.

Das Binoid ist positiv.

Dimension: ${}2$.

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