Definition:Finitely Generated Ideal of Ring

Definition
Let $R$ be a ring.

Let $M$ be a module over $R$.

Then $M$ is finitely generated there is a generator for $I$ which is finite.