\begin{definition}[Definition:Finitely Generated Module]
Let $R$ be a ring.
Let $M$ be a module over $R$.
Then $M$ is '''finitely generated''' {{iff}} there is a generator for $G$ which is finite.
\end{definition}