Definition:Finitely Generated Module

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