# Question About Primitive Root of Unity

I stumbled upon one of these exercises in my textbook and thought it would be a great review for my exam. Here is the question:

Let $n$ be an odd positive integer, and let $\zeta$ be a primitive (complex) $n$-th root of unity. Show that $\zeta^2$ is also a primitive $n$-th root of unity.

This is what I know:

$\zeta$ is a primitive $n$-th root of unity where $O(\zeta) = n$. So in this case,I began to list some of the odd positive integers, where $$n = {1,3,5,7,9,...}$$

Then I considered the number $\sqrt[n]{1}$, where I can derive the appropriate roots based on the value of $n$ I choose. So as an example, $\sqrt{1}$ = {$1,\omega, \omega^2$},

where $\omega$ = $-\frac{1}{2} + \frac {\sqrt{3}}2i$ and $\omega^2$ = $-\frac{1}{2} - \frac {\sqrt{3}}2i$. Is this even the right approach? I want to move on to other problems but not until I figure out what's going on here.

• Hint: by Bezout's identity, $\zeta^a=1=\zeta^b\implies \zeta^{\gcd(a,b)}=1$ – lulu Feb 20 '17 at 20:26
• If $n$ is odd, $\gcd(n,2)=1$. – Jack D'Aurizio Feb 20 '17 at 20:27
• Interestingly this means that $\zeta^{\large 2^k}$ is a primitive root for any positive integer $k$ – Joffan Feb 20 '17 at 20:27
• Interesting. Bezout's Identity isn't even mentioned in my textbook. – John Smith Feb 20 '17 at 20:28

## 1 Answer

All primitive $n$th roots of unity have the form $\zeta=\exp(\frac{2\pi ik}{n})$ with $k$ an integer such that $(k,n)=1$.

So it is enough to observe that $\zeta^2=\exp(\frac{2\pi i\cdot 2k}{n})$ and that if $k$ is prime to $n$ then so is $2k$, since $n$ is odd.

• Yes, that is what the others commented below my post. – John Smith Feb 20 '17 at 20:31
• If it matters to you, you will note that I posted my answer 23 seconds after the first comment was posted, meaning that I started typing it before the comment appeared. – carmichael561 Feb 20 '17 at 20:33
• Ah I couldn't tell. The wifi at my university hasn't been up to par lately :/ – John Smith Feb 20 '17 at 20:34