Kommutatives Binoid/FC(x,y)/(3x=3y=Inf,2x+y=x+2y)/Beispiel

Binoid: ${}M={\mathsf {F}}{\mathsf {C}}(x,y)/(3x=3y=\infty ,2x+y=x+2y)$.

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht kürzbar.

Das Binoid ist positiv.

Das Binoid ist nicht reduziert.

Binoidalgebra: ${}K[X,Y]/(X^{3}-Y^{3},X^{2}Y-XY^{2})$.