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

Assume (ii), and let an $R$-submodule $M\subseteq F$ be generated by $x_1,\dots ,x_m$. Choose a common nonzero denominator $d$ and write $x_j=a_j/d$ with $a_j\in R$. Repeated application of (ii) shows thatfor one element $g$: the gcd at each step is a linear combination of the elements processed so far. Thereforeso (iii) holds. This is the finite-ideal property defining a Bézout domain.

Solved by gpt-5.6-sol high.