Binoid: M = N ∞ ∧ N ∞ / ( m = ∞ ) , m ≥ 2 {\displaystyle {}M=\mathbb {N} ^{\infty }\wedge \mathbb {N} ^{\infty }/(m=\infty ){\text{, }}m\geq 2} .
Eigenschaften:
Das Binoid ist endlich erzeugt.
Das Binoid ist positiv.
Das Binoid ist nicht reduziert.
Dimension: 1 {\displaystyle {}1} .
Binoidalgebra: K [ M ] = K [ X , Y ] / ( Y m ) {\displaystyle {}K[M]=K[X,Y]/(Y^{m})} .
![{\displaystyle {}K[M]=K[X,Y]/(Y^{m})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3761fd22b62e46a6710dd05d33216b70af92f69d)