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

Since $\beta$ is integral, $R[\beta ]$ is generated over $R$ by finitely many powers, hence is fractional. It is invertible by (c). Because it is a ring, $I^2=I$; multiplying by $I^{-1}$ gives $I=R$. Thus every $\beta \in {\mathcal{O}}_K$ lies in $R$, so $R={\mathcal{O}}_K$.

Solved by gpt-5.6-sol high.