Kommutatives Binoid/FC(x)/(2x=x)/Beispiel

Binoid: ${}M={\mathsf {F}}{\mathsf {C}}(x)/(2x=x)$.

Eigenschaften:

Das Binoid ist boolesch.

Das Binoid ist integer.

Das Binoid ist nicht kürzbar.

Das Binoid ist torsionsfrei bis auf Nilpotenz.

Das Binoid ist zyklisch.

Dimension: ${}1$.

Binoidalgebra: ${}K[M]=K[X]/(X^{2}-X)$.