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

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

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht semifrei.

Das Binoid ist integer.

Das Binoid ist kürzbar.

Das Binoid ist positiv.

Das Binoid ist torsionsfrei.

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