Binoid: M = F C ( x , y ) / ( 2 x = ∞ , x + y = x , 2 y = y ) {\displaystyle {}M={\mathsf {F}}{\mathsf {C}}(x,y)/(2x=\infty ,x+y=x,2y=y)} .
Eigenschaften:
Das Binoid ist endlich erzeugt.
Das Binoid ist nicht kürzbar.
Das Binoid ist positiv.
Das Binoid ist nicht reduziert.
Das Binoid ist separiert.
Binoidalgebra: K [ M ] = K [ X , Y ] / ( X 2 , X Y − X , Y 2 − Y ) {\displaystyle {}K[M]=K[X,Y]/(X^{2},XY-X,Y^{2}-Y)} .
![{\displaystyle {}K[M]=K[X,Y]/(X^{2},XY-X,Y^{2}-Y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b998bf4802a371bd996605670194bc691ab1817d)