Finitely generated module
This article defines a property of a module over a commutative unital ring
Definition
Symbol-free definition
A module over a commutative unital ring is termed finitely generated if, as a module, it has a finite generating set.