Commutative -monoid of finite type

A commutative -monoid being of finite type is equivalent to the existence of an -monoid homomorphism #m/thm/calg

from the polynomial ring in indeterminates.

Proof

Noting that the polynomial ring is the “abelianization” of the Free R-ring, this follows from the characterization of a general -monoid of finite type.

As such, these are just quotients of the polynomial ring.

Properties

Hilbert's basis theorem

#state/develop | #lang/en | #SemBr