Intersection of Cyclotomic Fields

I included this exercise on an article I wrote (which I presume is where the question poser got this problem from if he's the same bzprules on Art of Problem Solving) for a reason: nothing advanced is needed. Just some tricky ideas.

Denote $\displaystyle \omega_n = \text{exp} \left ( \frac{2 \pi i}{n} \right)$. Denote $\ell = \text{lcm}[m,n]$ and $d = \gcd(m,n)$.

Let $F = \mathbb{Q}[\omega_n] \cap \mathbb{Q}[\omega_m]$. Consider the automorphisms over $\mathbb{Q}[\omega_\ell]$ which fix $\mathbb{Q}[\omega_n]$. It is clear they are defined by $f_k : \omega_{\ell} \to \omega_{\ell}^k$ where $\gcd(k,\ell) = 1$ and $k \equiv 1 \pmod{n}$. Now for the tricky part of the proof : note that these are also automorphisms for $\mathbb{Q}[\omega_m]$ which fix $F$! It is clear that they fix $F$ due to $k \equiv 1 \pmod{n}$ (or more simply, its a subfield of $\mathbb{Q}[\omega_n]$). To see that they also are isomorphisms on $\mathbb{Q}[\omega_m]$, just note its effectively exponentiating $\omega_m$ by $k$ for $\gcd(k,m) = 1$ so of course it works. It follows $$\frac{\phi(\ell)}{\phi(n)} = \frac{\phi(m)}{\phi(d)} \le [\mathbb{Q}[\omega_m]:F]$$ due to the fact there are at least $\displaystyle \frac{\phi(\ell)}{\phi(n)}$ automorphisms. Thus $[F : \mathbb{Q}] \le \phi(d) \implies F = \mathbb{Q}[\omega_d]$ because that $[\mathbb{Q}[\omega_d] : \mathbb{Q}] = \phi(d)$ and $\mathbb{Q}[\omega_d] \subset F$.

The motivation behind this proof is that we need to bound $[F : \mathbb{Q}]$ from above, so it is natural to consider $[K : F]$ for some field $K$. As cyclotomic fields have nice Galois groups, we can often bound the dimension by finding automorphisms.

Let $K = \mathbb{Q}(\zeta_m) \cap \mathbb{Q}(\zeta_n)$. Clearly $K \supset \mathbb{Q}(\zeta_{(m,n)})$; we want to show the reverse inclusion.

Observe that $$\frac{\varphi([m,n])}{\varphi(n)} = [\mathbb{Q}(\zeta_{[m,n]}: \mathbb{Q}(\zeta_n)] = [\mathbb{Q}(\zeta_m):K]$$ and $$\varphi(m) = [\mathbb{Q}(\zeta_m):\mathbb{Q}] = [\mathbb{Q}(\zeta_m): K] [K:\mathbb{Q}].$$ Therefore,

$$ \frac{\varphi(m)}{[K:\mathbb{Q}]} = \frac{\varphi([n,m])}{\varphi(n)}.$$

We claim that

$$\varphi((n,m))\varphi([n,m]) = \varphi(n)\varphi(m).$$

If $\prod p_i^{e_i}$ is the prime factorization of $n$ and $\prod q_i^{f_i}$ is the prime factorization of $m$, then the right hand side is $nm$ times $\prod \left( 1- \frac{1}{p_i} \right) \prod \left( 1-\frac{1}{q_i} \right))$. Since $nm = [n,m] (n,m)$, the left hand side is $nm$ times $\prod (1-\frac{1}{p_{i_j}})$ where the product runs over the primes dividing $n$ and $m$ (for the LCM) and the primes dividing both $n$ and $m$ again (for the gcd). These are clearly equal. So $[K:\mathbb{Q}] = \varphi((n,m)) = [\mathbb{Q}(\zeta_{(m,n)}):\mathbb{Q}]$, which implies that $K = \mathbb{Q}(\zeta_{(m,n)})$.