Kommutatives Binoid/FC(x,y,z)/(y+x=y,z+x=z)/Beispiel

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

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: ${}3$.

Binoidalgebra: ${}K[M]=K[X,Y,Z]/(YX-Y,ZX-Z)$.