Degree of splitting field of $x^5-1$ over $\mathbb{Q}$ and the order of its Galois group

field-theorygalois-theorygroup-theory

If I understand the result here correctly, the order of the Galois group is equal to the degree of the extension. That said, I am fairly certain that the splitting field $E$ of $x^5-1$ over $\mathbb{Q}$ is
$$E=\{a_0+a_1\omega+a_2\omega^2+a_3\omega^3+a_4\omega^4\}$$ where $\omega$ is a complex root of unity. $E$, as a $\mathbb{Q}$-vector space, has dimension 5.

However, if I understand this correctly, the Galois group for this polynomial is $\mathbb{Z}/5\mathbb{Z}^*$, which has order 4.

What is it that I'm missing? Am I misinterpreting or miscomputing the dimension of $E$ as a $\mathbb{Q}$-vector space, or am I misinterpreting the post and the Galois group is in fact not the aforementioned group of units?

Best Answer

The polynomial is reducible: $x^5-1=(x-1)(x^4+x^3+x^2+x+1)$. You do not need to add the element $1$ to the field (it is already there), only a root of the quaternary polynomial (which generates the rest of the roots). That is why the degree is $4$.

Related Question