1
$\begingroup$

Possible Duplicate:
Splitting field of $x^{n}-1$ over $\mathbb{Q}$

Let $A$ denote the splitting field of $x^n-1$ over $\mathbb{Q}$, so what is the dimension of $A$ as a linear space over $\mathbb{Q}$? (in this question, $n$ is a positive integer)

  • 1
    See this previous question: [Splitting field of $x^n-1$ over $\mathbb{Q}$][1] [1]: http://math.stackexchange.com/questions/24056/splitting-field-of-xn-1-over-mathbbq2011-09-13

1 Answers 1

5

The degree is $\varphi(n)$, where $\varphi$ is the Euler phi function. Note that if $\zeta$ is a primitive $n$-th root of unity, then we have a map $ \operatorname{Gal}(\mathbf Q(\zeta)/\mathbf Q) \to (\mathbf Z/n\mathbf Z)^* $ sending $\sigma$ to the class of an integer $i$ for which $\sigma(\zeta) = \zeta^i$. You can check that this is well-defined and injective — the hard part is showing surjectivity. The usual way of doing this is to show that the $n$-th cyclotomic polynomial is irreducible by reducing it mod $p$ and exploiting the Frobenius automorphism. You can see a proof in, for example, Keith Conrad's notes on cyclotomic fields.