Kommutatives Binoid/N^Inf wedge N^Inf/Beispiel

Binoid: ${}M=\mathbb {N} ^{\infty }\wedge \mathbb {N} ^{\infty }\cong (\mathbb {N} ^{2})^{\infty }$.

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist semifrei.

Das Binoid ist integer.

Dimension: ${}2$.

Binoidalgebra: ${}K[M]=K[X,Y]$.