Cyclotomic polynomials explicitly solvable??

Solution 1:

A polynomial is solvable iff its splitting field is solvable iff its Galois group is solvable. The Galois group of the cyclotomic polynomial $\Phi_n(x)$ is $(\mathbb{Z}/n\mathbb{Z})^{\ast}$, which is abelian, and all abelian groups are solvable.

An interesting question is how to find "nice" radical expressions for roots of unity. One way to do this is to go through the proof that the roots of a solvable polynomial are expressible in radicals by finding a composition series of the Galois group and constructing Kummer extensions.

This is perhaps easiest to describe by example, so take $n = 5$. Then $\Phi_5(x) = x^4 + x^3 + x^2 + x + 1$ has Galois group $(\mathbb{Z}/5\mathbb{Z})^{\ast} \cong C_4$, so it has a composition series with two factors of $C_2$. This implies that $\mathbb{Q}(\zeta_5)$ is a quadratic extension of a quadratic extension. Basic facts about Gauss sums imply that the second quadratic extension is $\mathbb{Q}(\sqrt{5})$, so $\zeta_5$ satisfies a quadratic polynomial with coefficients in $\mathbb{Q}(\sqrt{5})$. This polynomial must be $$x^2 - (\zeta_5 + \zeta_5^{-1}) x + 1.$$

Again, basic facts about Gauss sums imply that $\zeta_5 + \zeta_5^{-1} = \frac{-1 + \sqrt{5}}{2}$, so it follows by the quadratic formula that $$\zeta_5 = \frac{ 1 - \sqrt{5} + i \sqrt{10 + 2 \sqrt{5}} }{4}.$$

In general one may need to take more than just square roots, in which case things get complicated. There will be expressions one can write down generalizing Gauss sums that are guaranteed to land in a specific subfield of $\mathbb{Q}(\zeta_n)$ but I don't know a good way of actually figuring out what those expressions are by hand, and in writing down Kummer extensions one may need to adjoin smaller roots of unity (so I believe the most important case is when $n$ is prime).

A basic remark is that the problem reduces to the case that $n$ is a power of a prime, since for arbitrary $n$ it is possible to write $\zeta_n$ as a product of roots of the form $\zeta_{p^k}$ where $p^k \parallel n$.

Solution 2:

The method of Lagrange resolvents succeeds to solve cyclotomic equations in radicals (in the useful sense, not the "nth root of 1" sense). This is discussed in fairly elementary terms, with examples, in chapter 19 of my algebra book/course-notes, at http://www.math.umn.edu/~garrett/m/algebra/

However, that essentially-elementary approach becomes burdensome quickly, certainly difficult to do or understand by hand calculation. But if we observe that the resolvents are _Gauss_sums_, then admixture of some ideas of Kummer and Eisenstein gives a much-improved, but less elementary approach to expression of roots of unity by radicals. This is discussed, with several examples, in http://www.math.umn.edu/~garrett/m/v/kummer_eis.pdf