We define .

I need to prove that .

so, I need to prove and .

One direction is easy:

( ) Let , so , for some , and since there exist such that , we get:

( )

I need help here...

Thanks in advanced!

Printable View

- Nov 2nd 2013, 01:19 AMStormeyHelp with a proof - gcd
We define .

I need to prove that .

so, I need to prove and .

One direction is easy:

( ) Let , so , for some , and since there exist such that , we get:

( )

I need help here...

Thanks in advanced! - Nov 2nd 2013, 02:17 AMemakarovRe: Help with a proof - gcd
The ⊆ direction is easier: it does not even need Bézout's identity (a, b) = sa + tb.

- Nov 2nd 2013, 07:52 AMStormeyRe: Help with a proof - gcd
Sorry, I couldn't think of anything.

Can you give me another hint? - Nov 2nd 2013, 08:01 AMjohngRe: Help with a proof - gcd
and with