# 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).

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$.
• I guess since $<\omega_n,\omega_m>$ is a finite subgroup of the multiplicative group of a field, we know that is necessarily cyclic (and thus abelian), so since it contains an element of order n and an element of order m, it can be shown (I believe I have seen this proof before) that it necessarily contains an element of order $lcm(m,n)=k$, and thus it contains a primitive $k-th$ root of unity, and so this should give us the opposite inclusion Nov 5, 2013 at 5:37