Kommutatives Binoid/(N^2)^Inf/(3x=5x+2y,3y=2x+5y)/Beispiel

Binoid: ${}M=(\mathbb {N} ^{2})^{\infty }/(3x=5x+2y,3y=2x+5y)$.

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist integer.

Das Binoid ist positiv.

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