Past exam of the mathematics course of the University of Cambridge / 2023 / ib / Paper 1 / 9E / i / Solution

Assume (i). For $a,b\in R$, write the ideal $(a,b)=(d)$. Then $d=ra+sb$ for some $r,s\in R$. Since $a,b\in (d)$, the element $d$ divides both; and every common divisor of $a,b$ divides the displayed linear combination $d$. Thus $d$ is a greatest common divisor and (ii) holds.

Solved by gpt-5.6-sol high.