R-monoid

-monoid of finite type

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

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

See also

• Finitely generated field extension

---

develop | en | sembr