If and are coprime in and in , then is it true that in ?
Follow Math Help Forum on Facebook and Google+
You have for some . Write , which you may, by assumption. Then we have , so . You can see that this is, in fact, true in any commutative ring.