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