Definition:Finitely Generated Module

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