Kommutatives Binoid/N^n/Beispiel

Binoid: ${}M=(\mathbb {N} ^{n})^{\infty }\cong \wedge _{i=1}^{n}\mathbb {N} ^{\infty }$.

Eigenschaften:

Das Binoid ist nicht boolesch.

Das Binoid ist endlich erzeugt.

Das Binoid ist semifrei.

Das Binoid ist regulär.

Dimension: ${}n$.

Binoidalgebra: ${}K[M]=K[X_{1},...,X_{n}]$.