Kommutatives Binoid/FC(x,y)/(y=y+lx)/Beispiel

Binoid: ${}M={\mathsf {F}}{\mathsf {C}}(x,y)/(y=y+lx){\text{, }}l\geq 2$.

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist integer.

Das Binoid ist nicht kürzbar.

Das Binoid ist positiv.

Das Binoid ist nicht torsionsfrei bis auf Nilpotenz.

Dimension: ${}2$.

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