5
$\begingroup$

Put $z_{n} = e^{2\pi i /n}$. I am searching for $n \in \mathbf{N}$ so that $\mathbf{Q}(z_{5},z_{7}) = \mathbf{Q}(z_{n})$.

I know that : $z_{5} = \cos(\frac{2\pi}{5})+i\sin(\frac{2\pi}{5}) $ and $z_{7} =\cos(\frac{2\pi}{7})+i\sin(\frac{2\pi}{7})$.

Can you give me a hint how to continue my search? Thank you.

  • 4
    Hint: $z_5$ and $z_7$ are roots of unity. Are they powers of a common root of unity?2011-12-22
  • 3
    Hint: What is the degree of $\mathbb{Q}(z_n)/\mathbb{Q}$, and the degree of $\mathbb{Q}(z_5,z_7)/\mathbb{Q}$?2011-12-22
  • 0
    The hint about degrees may not be so helpful, as there can be many $n$ for which ${\bf Q}(z_n)$ has the same degree.2011-12-22
  • 1
    Another hint: contemplate $z_5z_7$.2011-12-22
  • 0
    Thanks for all the hints! Gerry Myerson one seems to be the easiest, so I start with his: $z_{5}z_{7} = e^{24i \pi/35} = e^{2 \pi i \cdot 12/35}$ then this gives a fraction... so I am stuck. lhf seems second hardest, so they are not powers of a common root of unity, which makes it impossible to find a n? Alvaro's answer I don't know what to at all, sorry.2011-12-22
  • 0
    @Tashi, what is the order of the product. Hint: Cube it.2011-12-22
  • 0
    @ Dylan Moreland: just add $2\pi$ to walk in circle...? So the answer is n = 35 ? @Jyrki Lahtonen: I don't know what you mean with order of the product, sorry.2011-12-22
  • 0
    Well, the order of the product $z_5z_7$ in the multiplicative group of non-zero complex numbers. You know how to compute the order of the residue class of $12$ in the additive group $\mathbf{Z}/35\mathbf{Z}$, don't you?2011-12-22
  • 0
    @ Jyrki The order of the product is the littlest power so that 12^(k)mod(35) = 1 so it must be 12, so my n is 12? kiitos2011-12-22
  • 3
    @Tashi: No! $12\cdot12=144\equiv4\pmod{35}$. I was moving the problem from the product of complex powers of $e$ to the addition of their exponents. IOW I applied (the inverse of) the homomorphism $f:\mathbf{Z}/35\mathbf{Z}\rightarrow \mathbf{C}$ that maps $n+35\mathbf{Z}\mapsto e^{2\pi i n/35}$. The group operation in the residue class group is addition.2011-12-22
  • 0
    @ Jyrki so the order from the product is 3 , and that is the n? thanks2011-12-22
  • 0
    @Tashi: Another No! $3\cdot12=36\equiv 1 \pmod{35}$. In an additive group the identity element is $0$. The order is $35$. Sleep on it :-)2011-12-23

1 Answers 1

4

That's one too many hints in the comments, but the OP still seems in doubt, so here is a proof that $\mathbb{Q}(\zeta_5,\zeta_7)=\mathbb{Q}(\zeta_{35})$, where $\zeta_n=e^{2\pi i/n}$ is a primitive $n$th root of unity.

First, let us show that $\mathbb{Q}(\zeta_5,\zeta_7)\subseteq\mathbb{Q}(\zeta_{35})$. Notice that $$\zeta_{35}^7=(e^{2\pi i/35})^7 = e^{2\pi i/5}=\zeta_5.$$ Thus, $\zeta_5\in \mathbb{Q}(\zeta_{35})$. Similarly, $\zeta_7 = \zeta_{35}^5 \in \mathbb{Q}(\zeta_{35})$. Hence, $\mathbb{Q}(\zeta_5,\zeta_7)\subseteq\mathbb{Q}(\zeta_{35})$.

Next, let us show that $\mathbb{Q}(\zeta_{35})\subseteq \mathbb{Q}(\zeta_5,\zeta_7)$. Indeed, consider $$(\zeta_5\cdot\zeta_7)^3 = (e^{2\pi i/5}\cdot e^{2\pi i/7})^3 = (e^{2\pi i\cdot 12/35})^3 = e^{2\pi i\cdot 36/35} = e^{2\pi i}\cdot e^{2\pi i/35} = 1 \cdot e^{2\pi i/35} = \zeta_{35}.$$ Thus, $\zeta_{35}=(\zeta_5\cdot\zeta_7)^3\in \mathbb{Q}(\zeta_5,\zeta_7)$, and this shows the inclusion $\mathbb{Q}(\zeta_{35})\subseteq \mathbb{Q}(\zeta_5,\zeta_7)$. Therefore, we must have an equality of fields.

Now, suppose that $\mathbb{Q}(\zeta_5,\zeta_7)=\mathbb{Q}(\zeta_n)$ for some $n\geq 1$. We have just shown that $n=35$ works. Are there any other possible values of $n$ that work? Well, if $n$ is odd, then $\mathbb{Q}(\zeta_n) = \mathbb{Q}(\zeta_{2n})$, so $n=70$ also works.

Finally, one can show that if $\mathbb{Q}(\zeta_m)\subseteq \mathbb{Q}(\zeta_n)$, then $m$ divides $n$ (here neither $m$ or $n$ should be twice an odd number). In particular, since we know that $\mathbb{Q}(\zeta_5,\zeta_7)=\mathbb{Q}(\zeta_{35})=\mathbb{Q}(\zeta_n)$, then $n$ is divisible by $35$, and therefore $\varphi(n)$ is divisible by $24$. If $n>70$ and divisible by $35$, then $\varphi(n)$ would be strictly larger than $24$, and that would be a contradiction, because $\varphi(n)$ is the degree of the extension $\mathbb{Q}(\zeta_n)/\mathbb{Q}$. Hence, $n=35$ or $70$.