-monoid

-monoid of finite type

An -monoid (or ring extension) is called of finite type iff it has finitely many generators, as an -monoid, #m/def/ring or equivalently there exists an onto -monoid homomorphism

from the Free R-monoid. In particular, see the special case of Commutative -monoid of finite type.

See also

• Finitely generated field extension

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