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

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

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.

Das Binoid ist nicht torsionsfrei bis auf Nilpotenz.

Dimension: 2

${}0\subset (x)\subset (x,y)\,.$

.

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