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

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

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 separiert.

Dimension: ${}2$.

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