Definition:Finitely Generated Module
From ProofWiki
Definition
A module $G$ is finitely generated if there is a generator for $G$ which is finite.
Sources
- Seth Warner: Modern Algebra (1965)... (previous)... (next): $\S 27$
