Past exam of the mathematics course of the University of Cambridge / 2022 / ii / Paper 2 / 20H / a

Distinct prime-power ideals are pairwise comaximal. For comaximal ideals, product equals intersection, so induction givesThe Chinese remainder theorem therefore gives the ring isomorphism

The ideal approximation theorem, proved by applying this Chinese-remainder map one prime power deeper, suppliesEquivalently, $v_{P_i}(\alpha )=m_i$ at every prime dividing $I$.

Since $(\alpha )\subseteq I$, the fractional idealis an integral ideal and $I{I}^{\prime }=(\alpha )$ is a principal ideal. At every $P_i\mid I$,
$v_{P_i}(I^{\prime })=v_{P_i}(\alpha )-m_i=0$, so $I+I^{\prime }={\mathcal{O}}_K$.

Choose $\beta \in I$ and $\gamma \in I^{\prime }$ with $\beta +\gamma =1$. Then
$\alpha ,\beta \in I$. For any $x\in I$,Thusso every ideal of ${\mathcal{O}}_K$ has a generating set of two elements.