# Field extension, primitive root of unity

Let $\xi_5$ be a primitive fifth root of unity in $\mathbb{C}$, then we know the extension $\mathbb{Q}(\xi_5)\supseteq\mathbb{Q}$ has degree 4 so the Galois group is of order 4. I am trying to find all intermediate extensions and it turns out the only one is $\mathbb{Q}(\sqrt{5})\supseteq\mathbb{Q}$. It is not hard to find this, but how to show that there are no more intermediate extensions?

## 1 Answer

The Galois group is of order $4$ because the degree of the extension is $4$, but more is true. It's canonically isomorphic to $(\mathbf{Z}/5\mathbf{Z})^\times\cong\mathbf{Z}/4\mathbf{Z}$, i.e. it is cyclic of order $4$. Galois theory gives a bijective correspondence between intermediate fields and subgroups of the Galois group, so, since $\mathbf{Z}/4\mathbf{Z}$ only has one proper, non-trivial subgroup, $\mathbf{Q}(\xi_5)/\mathbf{Q}$ has a unique non-trivial intermediate extension.

• Thank you!.I didn't see the fact that this Galois group is cyclic. Now it is clear. – Frank Lu Nov 23 '13 at 20:17
• finite extensions of finite fields are always Galois, and his Galois group cyclic ;) – Lotus Feb 4 '14 at 1:34
• so sorry, i'm now studying finite fields and i see finite fields everywhere. Should i delete my comment? – Lotus Feb 4 '14 at 1:40