$K$ -monoid of finite type

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

K ⟨ 𝑥 1, \dots, 𝑥 𝑛 ⟩ ↠ 𝑇

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

K-monoid of finite type

See also

$K$ -monoid of finite type