Finitely generated module

Symbol-free definition
A module over a commutative unital ring is termed finitely generated if, as a module, it has a finite generating set.

Stronger properties

 * Noetherian module
 * Finitely presented module