Definition:Finitely Generated Module

Definition
A module $G$ is finitely generated if there is a generator for $G$ which is finite.