Binoid: M = F C ( x , y , z ) / ( 2 x = ∞ , x + y = x + z ) {\displaystyle {}M={\mathsf {F}}{\mathsf {C}}(x,y,z)/(2x=\infty ,x+y=x+z)} .
Eigenschaften:
Das Binoid ist endlich erzeugt.
Das Binoid ist nicht kürzbar.
Das Binoid ist positiv.
Das Binoid ist nicht reduziert.
Binoidalgebra: K [ M ] = K [ X , Y , Z ] / ( X 2 , X Y − X Z ) {\displaystyle {}K[M]=K[X,Y,Z]/(X^{2},XY-XZ)} .