Binoid: M = ( N n ) ∞ ≅ ∧ i = 1 n N ∞ {\displaystyle {}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 {\displaystyle {}n} .
Binoidalgebra: K [ M ] = K [ X 1 , . . . , X n ] {\displaystyle {}K[M]=K[X_{1},...,X_{n}]} .
![{\displaystyle {}K[M]=K[X_{1},...,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1477f17b1c7d95bb0177f246907d88d2ab2d684e)