 Solution

By the first isomorphism theorem for rings, the given surjection identifies $S$ with $R/\ker \varphi$. Since $R$ is a principal ideal domain, write $\ker \varphi =(a)$.

If $a=0$, the quotient ring is $R$, an integral domain, so part (a)(ii) applies. If $a$ is a unit, the quotient ring is the zero ring; its unique element is associate to itself by multiplication by its identity, so it too is an associator ring.

In the remaining case, unique factorization giveswhere $\epsilon$ is a unit, the $p_i$ are pairwise nonassociate prime elements, and $k_i\ge 1$. The principal ideals $(p_i^{k_i})$ are pairwise comaximal: different prime factors have greatest common divisor $1$, and Bézout's identity gives a linear combination equal to $1$. The Chinese remainder theorem therefore gives a ring isomorphismEvery factor is an associator ring by part (c), and their finite direct product of rings is an associator ring by part (b). A ring isomorphism preserves units and principal ideals, so the property transfers to $S$. Hence