Past exam of the mathematics course of the University of Cambridge / 2026 / ii / Paper 2 / 20G / b / i / Solution

If $cI\subset R$, then $cI$ is an ideal of the Noetherian ring $R$, hence finitely generated; scaling back shows $I$ is finitely generated.

Solved by gpt-5.6-sol high.