Given a field $K$ (for example $K = \mathbb Q$) and a polynomial $p \in K[X]$ with cyclic Galois group $C_n$ then one only needs to adjoin an $n$th root of some element $k \in K(\zeta_n)$ to $K(\zeta_n)$ to get the splitting field $L=K(\zeta_n,\sqrt[n]{k})$ of $p$. It is possible to actually find the number $k$.

It is said that the roots of $p$ lie in this field $L$, I would like to know how you can find these roots?

  • $\begingroup$ Given k, you might be able to use: math.stackexchange.com/questions/16521/… $\endgroup$ – Jack Schmidt May 5 '11 at 19:46
  • $\begingroup$ Also, you can just ask magma. It has reasonably decent factorization routines. An open source implementation is in the RadiRoot package, but I haven't used it much as it focusses on nested radical expressions, whereas I usually want rational polynomials (for instance, in k). $\endgroup$ – Jack Schmidt May 5 '11 at 19:46

Let $G\cong C_n$ be the Galois group of $L/K(\zeta_n)$ with generator $\sigma$, where $\zeta_n$ is a fixed primitive $n$-th root of unity. Let me also assume without loss of generality that $p$ is irreducible over $K(\zeta_n)$. If you think about it for a little bit, you will realise that the elements $\alpha=\sqrt[n]{k}$ are characterised by the fact that $\sigma^i(\alpha)=\zeta_n^i\alpha$ for all $i$. This is essentially Kummer theory. That gives you a hint how to find $k$:

Let $\beta$ be a root of $p$. Then, you will easily convince yourself that $$ \alpha=\sum_{i=0}^{n-1}\zeta_n^{-i}\sigma^i(\beta) $$ does satisfy the required transformation property. That property implies in particular that $\sigma$ fixes $\alpha^n$, and so we will have $k=\alpha^n\in K(\zeta_n)$. So how do we explicitly compute $k$ as a $K$-linear combination of $\zeta_i$? Well, as $i$ runs from 0 to $n-1$, $\sigma^i(\alpha)$ runs through the roots of $p$ (that's where the irreducibility assumption comes in). So you easily see that in $\alpha^n$, the coefficient of any $\zeta_n^i$ is a symmetric polynomial in the roots of $p$ that is invariant under cyclic permutations and can therefore be expressed explicitly in terms of elementary symmetric polynomials in the roots.

Edit (thank you, chandok): To express these coefficients explicitly as elements of $K(\zeta_n)$, you need to essentially repeat the trick of resolvent cubics that will be familiar to you from solving quartics by radicals.

To show you how this works, let me take the example of cubic extensions. Let the roots of $p$ be denoted by $\beta_1$, $\beta_2$, $\beta_3$, and denote a primitive cube root of unity by $\omega$. Then $k=\alpha^3$ is $$ \left(\sum_i\omega^{i-1}\beta_i\right)^3 = (\sum_i\beta_i^3 + \beta_1\beta_2\beta_3)1 + 3(\beta_1^2\beta_2 + \beta_2^2\beta_3 + \beta_3^2\beta_1)\omega + 3(\beta_2^2\beta_1 + \beta_3^2\beta_2 + \beta_1^2\beta_3)\omega^2. $$ The coefficient of 1 is completely symmetric in the roots, so you can express it in terms of elementary symmetric polynomials, i.e. in terms of coefficients of $p$. The coefficients $\gamma_1$ and $\gamma_2$ of $\omega$ and of $\omega^2$ respectively are not symmetric, but rather are swapped by any 2-cycle. But that means that any expression that is symmetric in the $\gamma_i$ will also be symmetric in the $\beta_i$. So you consider the polynomial $$ f(x)=(x-\gamma_1)(x-\gamma_2).$$ Its coefficients are symmetric in the $\beta_i$, so you can express them in terms of the coefficients of $p$. Also, since the Galois group of $p$ is cyclic, $f$ splits completely over $K(\zeta_3)$. So you factor it and find the coefficients of $\omega$ and of $\omega^2$ in $k$.

A similar trick works for any $n$. Given an expression in the roots of $p$ that is symmetric under cyclic permutations, but not quite symmetric, you consider its orbit under the entire action of $S_n$ and concoct a polynomial, whose roots will consist of that orbit. You can then compute that polynomial from $p$, and since the Galois group of $p$ is cyclic, that polynomial will completely factor and thus give you the coefficients for $k$.

| cite | improve this answer | |
  • 1
    $\begingroup$ Maybe I'm missing something, the coefficients of the $\zeta_n^i$ are invariant by $G$ but not by the whole symmetric group $S_n$, so they are not expressible from the coefficients of $p$ (and I wonder, how constructive is it to know that $G$ is cyclic, how do we use it ?) $\endgroup$ – mercio May 6 '11 at 12:25
  • $\begingroup$ @chandok: The cyclic generator $\sigma$ of $G$ is used in the very definition of $\alpha$ (which is traditionally known as the Lagrange resolvent). An immediate computation shows that $\alpha^n$ is $G$-invariant (as I think you already noted), and so it does belong to $K(\zeta_n)$. Sufficiently explicit Galois theory will allow you to write it in terms of the coefficients of $p$. $\endgroup$ – Matt E May 6 '11 at 13:02
  • 1
    $\begingroup$ @Matt E: What does those formulae describing $k$ in terms of the coefficients of $p$ look like ? surely they can't be polynomials (for $n=3$, you need the square root of the discriminant of $p$). And I doubt that for higher $n$, there would still be formulaes involving radicals). Any formula relating roots and coefficients is true independantly from what the Galois Group is. $\endgroup$ – mercio May 6 '11 at 14:15
  • $\begingroup$ @chandok: Dear Chandok, Good question, which I don't have a good answer for right now. I would have to think about the old-fashioned explicit view-point on Galois theory and try to figure out what's going, but perhaps someone else here already knows exactly how it works? Best wishes, $\endgroup$ – Matt E May 6 '11 at 16:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.