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

π‘…βŸ¨π‘₯1,…,π‘₯π‘›βŸ©β† π‘‡

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

See also


develop | en | SemBr