Finitely generated ideal