Let be a non trivial subgroup and . Prove that

**Solution**

It is enough to prove it for the case since we can then reduce it by using the fact that

We have that for any integers and . But by Bezout’s lemma we can find such that

and hence .

A site of university mathematics

Home » Uncategorized » gcd and subgroup

Let be a non trivial subgroup and . Prove that

**Solution**

We have that for any integers and . But by Bezout’s lemma we can find such that

and hence .