Binoid: M=N∞/(n=k)⋃N∞/(m=l), m,n≥1, k,l≥2{\displaystyle {}M=\mathbb {N} ^{\infty }/(n=k)\bigcup \mathbb {N} ^{\infty }/(m=l){\text{, }}m,n\geq 1{\text{, }}k,l\geq 2}.
Eigenschaften:
Das Binoid ist endlich erzeugt.
Binoidalgebra: K[M]=K[X,Y]/(XY,Xn−Xk,Ym−Yl){\displaystyle {}K[M]=K[X,Y]/(XY,X^{n}-X^{k},Y^{m}-Y^{l})}.