# Definition:Finitely Generated Ideal of Ring

## Definition

Let $R$ be a ring.

Let $I\subseteq R$ be a ideal of $R$.

Then $I$ is finitely generated if and only if there is a generator for $I$ which is finite.