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

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

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht kürzbar.

Das Binoid ist positiv.

Das Binoid ist nicht reduziert.

Dimension: ${}2$.

Binoidalgebra: ${}K[M]=K[X,Y,Z]/(XY-XYZ,Z^{2})$.