Finitely generated ideal


finitely generated ideal is a ideal.