A question about how to represent $\mathbb{Q}(\zeta_n)$ differently

39 Views Asked by At

I am reading Dummit & Foote for studying undergraduate level field theory, and here is what I see on Page 555:

enter image description here

I followed the words of writers and understood the proof for a statement

$$\mathbb{Q}(\zeta_8) = \mathbb{Q}(i, \sqrt{2})$$

where $\zeta_8$ denotes the primitive 8th root of unity.

So here I am wondering whether we have a more generalized version of this statement for any arbitrary $\mathbb{Q}(\zeta_n)$, for example

$$\mathbb{Q}(\zeta_n) = \mathbb{Q}(i, ?)$$

where $\zeta_n$ denotes the primitive nth root of unity for some arbitrary $n \in \mathbb{N}$.

Can somebody tell me whether we really have this generalization? If so, which reference should I read to study it more deeply? Thanks!