Q:

Adjoining two primitive n-th roots

Let $\omega_n$ denote a primitive $n^{th}$ root of unity. If $m$ and $n$ are positive integers with $lcm(m,n)=k$, show that $\mathbb{Q}(\omega_n,\omega_m)=\mathbb{Q}(\omega_k)$. 
To start, I am aware that $(\omega_n\omega_m)^k=1$, and so $o(\omega_n\omega_m)|k$, I am working towards showing that $o(\omega_n\omega_m)$ is in fact equal to $l$ (although I don't know this to be true at this point). This would show that $\mathbb{Q}(\omega_n,\omega_m)$ contains a primitive $k-th$ root of unity and thus all of $\mathbb{Q}(\omega_k)$. Any help would be appreciated, I think I am over thinking things (especially regarding the other direction of the inclusion). 

A:

This may become obvious if you write everything additively instead of multiplicatively.
That is, you know the $k$-th roots of unity are a cyclic group under multiplication of order $k$, and so it is isomorphic to the integers modulo $k$ under addition. Use the isomorphism to translate the original problem into a question about integers modulo $k$.

