Kommutatives Binoid/FC(a,b,c,d)/(c+d=Inf,a+c=c,b+d=d)/Beispiel

Binoid: ${}M={\mathsf {F}}{\mathsf {C}}(a,b,c,d)/(c+d=\infty ,a+c=c,b+d=d)$.

Eigenschaften:

Das Binoid ist endlich erzeugt.

Das Binoid ist nicht integer.

Binoidalgebra: ${}K[M]=K[X]\times K[Y]\times K[X,Y]$.