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.

I'm looking for a proof of this statement. I just don't know how to approach it. I recognize that $z$ has $a$ and $b$ roots of unity, but I can't seem to figure out what that tells me.

If $z \in \mathbb{C}$ satisfies $z^a = 1$ and $z^b = 1$ then $z^{gcd(a,b)} = 1$.

share|improve this question
5  
If $z^a = 1$ and $z^b = 1$, then also $z^{a+b} = 1$, or more generally $z^{ax+by} = 1$ for all $x, y \in \mathbb{Z}$. –  Qiaochu Yuan Mar 1 '12 at 21:55
    
Unfortunately, this was all the information given in the statement I seek to prove. –  Dominick Gerard Mar 1 '12 at 21:56
    
Do you know that if the gcd is $d$, there are integers $x$ and $y$ such that $ax+by=d$? Then $z^d=z^{ax+by}$. Continue. –  André Nicolas Mar 1 '12 at 21:57
    
Is this logic sound? If $z^a = 1$, then $z^{ax} = 1$. Likewise if $z^b = 1$, then $z^{by} = 1$. Multiplying them together, we get $z^{ax+by} = 1$. By Bezout's we know $ax+by = gcd(a,b)$, so it must be true that $z^{gcd(a,b)} = 1$. –  Dominick Gerard Mar 1 '12 at 22:01
1  
@DominickGerard: Yes, those are the steps you should write down; but there are a couple important points to improve the presentation of your proof. You should explain what $x$ and $y$ are when you introduce them. Notice that they have to be integers-- it wouldn't necessarily work with $x=\frac{1}{3}$, for example. In particular, you want them to be integer solutions to $ax+by=\rm{gcd}(a,b)$. This equation certainly isn't true for just any integers $x$ and $y$! I recommend starting off with Bezout's theorem, so that the reader knows just what you mean by $x$ and $y$. –  Jonas Kibelbek Mar 1 '12 at 22:27
show 3 more comments

1 Answer

up vote 5 down vote accepted

Hint $\:$ The set of $\rm\:n\in \mathbb Z$ such that $\rm\:z^n = 1\:$ is closed under subtraction so it is closed under $\rm\:gcd$.

Recall gcds may be computed by repeated subtraction (anthyphairesis, Euclidean algorithm)

share|improve this answer
1  
Very nice short conceptual solution. –  André Nicolas Mar 1 '12 at 23:39
add comment

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.