Dear Professor Kim,

Do we need to prove the chinese remainder theorem by using bezouts lemma or by showing it is a bijective mapping?

Reply:

The Chinese remainder theorem says exactly that some map is bijective, so of course you need to show bijectivity. On the other hand, in proving the surjectivity part of it, one way is to use Bezout’s lemma.

One important point about the use of Bezout’s lemma is that it gives a constructive proof of surjectivity. Do you see what I mean by that?