Past exam of the mathematics course of the University of Cambridge / 2018 / ib / Paper 2 / 2G (Groups, Rings and Modules)

Let $S=\{1,x,x^2,\dots \}$. Since a principal ideal domain is an integral domain and $x\ne 0$, $S$ is a multiplicative subset avoiding zero. The stated equivalence relation and operations are precisely those of the localization of a ring $S^{-1}R$.

For completeness, reflexivity and symmetry are immediate, while transitivity follows by multiplying the two cross-multiplication identities and cancelling a nonzero power of $x$. If $(r,x^n)\sim (s,x^m)$ and $(r^{\prime },x^{n^{\prime }})\sim (s^{\prime },x^{m^{\prime }})$, cross multiplication shows that the proposed sums and products are equivalent. Thus the operations do not depend on representatives. The usual fraction calculations then prove associativity, commutativity and distributivity, with identities $[(0,1)]$ and $[(1,1)]$. Therefore $R^{\prime }$ is a well-defined commutative ring.

Let $J$ be an ideal of $R^{\prime }=S^{-1}R$ and contract it toThis is an ideal of $R$, so $I=(d)$ because $R$ is a principal ideal domain. Every $x^n/1$ is a unit in a ring $R^{\prime }$. Consequently, if $r/x^n\in J$, then $r/1=(x^n/1)(r/x^n)\in J$, so $r\in (d)$ and $r/x^n\in (d/1)$. Conversely $d/1\in J$, hence every multiple of it belongs to $J$. Thusso every ideal of $R^{\prime }$ is principal. The localization remains an integral domain; hence $R^{\prime }$ is a principal ideal domain.