Past exam of the mathematics course of the University of Cambridge / 2015 / ii / Paper 2 / 17F / iii / Solution

Write $K=\mathbb{Q}({\mu }_m)$, $L=\mathbb{Q}({\mu }_n)$. For coprime $m,n$, Bézout's identity and powers of a primitive $mn$-th root give $KL=\mathbb{Q}({\mu }_{mn})$. The degrees of these cyclotomic fields are $\phi (m)$, $\phi (n)$ and $\phi (mn)=\phi (m)\phi (n)$. The natural restriction mapis injective and, by these orders, bijective. Under this product description the subgroups fixing $K$ and $L$ are the two complementary factors. Together they generate the whole group, so their common fixed field is $\mathbb{Q}$. By the Fundamental theorem of Galois theory, $K\cap L=\mathbb{Q}$. This also includes $m=1$ or $n=1$.