Definition:Finitely Generated Ideal

Definition

Finitely Generated Ideal of Ring

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.