Hi

First show that is an integral domain. What are its invertibles?

is a ring morphism. (why?)(We can see as a subring of )

Let be an ideal of its preimage by ( is a PID and the preimage of an ideal by a morphism is an ideal).

Clearly, Let be an element of with hypotheses on show that iff Therefore Conclude.