Let be the ring of algebraic integers in a number field . Suppose such that and are relatively prime. Prove that .
Recall that and are rational integers. By Bezout’s identity, there exist rational integers and such that . Note that is an algebraic integer (being a product of algebraic integers) and is in ; hence . Likewise, . So , and we have . Hence .