Monday, 3 June 2013

gcd and lcm - Help in proving the necessity part (If D is an integral domain, if d1=gcd(a,b), then ..)

In an integral domain D, if d1=gcd(a,b), then d2=gcd(a,b) if and only if d1 and d2 are associates.



Attempt: Since d1=gcd(a,b) then d1|a and d1|b which implies that a=d1c and b=d2e for c,eD. Likewise, if d2=gcd(a,b), then d2|a and d2|b which implies that a=d1x and b=d2y for x,yD.



And from this, I don't know any trick to show that d1=ud2 where u is a unit.



Any suggestions?

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...