Definition:Finitely Generated Ideal