= Solution
Let $S=\{1,x,x^2,\ldots\}$. Since a <principal ideal domain> is an <integral domain> and $x\ne0$, $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',x^{n'})\sim(s',x^{m'})$, 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)]$. \b[Therefore $R'$ is a well-defined commutative ring.]
Back to article page
