Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $f: \mathbb{Z}^2 \to \mathbb{Z}^2$ be a group homomorphism and suppose that $f(a,b) = (c,d)$.

Prove: $\gcd(a,b) \mid \gcd(c,d)$.
Prove: $\gcd(a,b) = \gcd(c,d)$ if $f$ is an automorphism.

I am seeking for some hint to start this problem. Although I generally have no trouble with group theoretic notions, the smallest introduction of number theory confuses me terribly. Any suggestions would be greatly appreciated.

share|improve this question
    
Why did this receive a negative vote? –  user44069 Nov 4 '12 at 20:14
    
Because you did not let anyone know what you have tried so far. –  Rankeya Nov 4 '12 at 20:15
    
Also, you need to be nice when you ask someone to do something for you in this forum. That being said, I did not give this a negative vote. –  Rankeya Nov 4 '12 at 20:15
    
Well,if you feel that I am not sufficiently polite, you may just skip my question. There might be others that would not mind. Why should you penalise my question? –  user44069 Nov 4 '12 at 20:16
1  
To start, I just encountered your question (the down vote preceded my encounter). That said, on the positive note, you've an excellent "accept rate"...The other thing I was going to add was pretty much what @Brian said. –  amWhy Nov 4 '12 at 20:24
show 4 more comments

2 Answers

up vote 2 down vote accepted

We have $\gcd(a,b)|c$ and $\gcd(a,b)|d$ because $$(c,d)=f(a,b)=\gcd(a,b)\cdot f\left(\frac a{\gcd(a,b)},\frac b{\gcd(a,b)}\right)$$ For an automorphism, there is an invers $g$ such that $g(c,d)=(a,b)$, hence you have both $\gcd(a,b)|\gcd(c,d)$ and $\gcd(c,d)|\gcd(a,b)$. Since both gcds are positive integers, equality follows.

share|improve this answer
    
Really nice and succinct! Thank you! –  user44069 Nov 4 '12 at 20:37
add comment

Hint: Let $m = gcd(a,b)$. Then $a = me, b = mg$ for some $e , g \in \mathbb{Z}$. Since $f$ is a group homomorphism, we have $(c,d) = f(a,b) = f(m(e,g)) = mf(e,g) = m(h,j) = (mh,mj)$, where $f(e,g) = (h,j)$. Thus, $m|c,d$. What can you conclude from this?

Also, for the automorphism case, using $f^{-1}$ and applying the previous case again, you get $gcd(c,d) | gcd(a,b)$. Since $gcd(c,d), gcd(a,b)$ are both non-negative, what can you conclude?

share|improve this answer
    
Thank you, for your suggestion! –  user44069 Nov 4 '12 at 20:37
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.