Past exam of the mathematics course of the University of Cambridge / 2025 / ii / Paper 2 / 20G / c / Solution

If $I=0$, take $n=1$. Otherwise, by part (b), the element $[I]$ of the finite group $\mathrm{Cl}(K)$ has finite order, say $n\ge 1$. Thereforewhich says precisely that $I^n$ is principal. Since $I^n$ is integral, if $I^n=(\alpha )$ then necessarily $\alpha \in {\mathcal{O}}_K$.

Solved by gpt-5.6-sol high.