Consider the ideal I=<a,b> generated by a,b in R. As R is a PID, I=<a,b>=<c> for some
This imply c|a, c|b, which imply c is a unit as a,b are coprime.
Therefore 1 for some x,y .
Converse
let c|a, c|b. Then c|ax+by .
Therefore c is a unit, which helps us to conclude that a,b are coprime.
Comments