R-monoid

Module-finite -monoid

An -monoid (or ring extension) is called module-finite¹ iff is finitely generated as an -module, ring i.e. there exists an onto -module homomorphism

for some . This should not be confused with the weaker condition of R-monoid of finite type.²

Properties

1. Finitely generated module over a module-finite R-ring

---

tidy | en | sembr

Footnotes

1. The usual terminology is just finite, but I find this misleading. ↩

2. 2009. Algebra: Chapter 0, §III.6.5, p. 171 ↩