Abel and the Insolvability of the Quintic: Part 4

4 comments
We now turn to the goal of this series namely to establish the fact that the general polynomial of degree $5$ or higher is not solvable by radicals over its field of coefficients. Here Abel's argument is quite terse and I have not been able to fully comprehend some parts of it. Also proof of some statements are not provided by Abel because it appeared quite obvious to him. We will provide here a proof which is based on Ruffini's arguments and its later simplification by Wantzel.

The idea of the proof is to study the field extension $K = \mathbb{C}(x_{1}, x_{2}, \ldots, x_{n})$ of $F = \mathbb{C}(s_{1}, s_{2}, \ldots, s_{n})$ with regard to the symmetries under various permutations of the indeterminates $x_{i}$. Clearly the elements of the base field $F$ are invariant under all the possible permutations of $x_{i}$. But the elements of field $K$ are invariant only under the identity permutation. We need to analyze the behavior of a radical extension $R$ of $F$ which is contained in $K$ with regard to invariance under the permutations of $x_{i}$.

Insolvability of the General Polynomial of Degree $n \geq 5$

Let the general polynomial of degree $n$ be denoted by $P(x)$ with $x_{1}, x_{2}, \ldots, x_{n}$ as its roots so that $$P(x) = (x - x_{1})(x - x_{2})\cdots(x - x_{n}) = x^{n} - s_{1}x^{n - 1} + \cdots + (-1)^{n}s_{n}$$ where $s_{1}, s_{2}, \ldots, s_{n}$ are the elementary symmetric functions of the roots $x_{i}$. The base field of the coefficients is $F = \mathbb{C}(s_{1}, s_{2}, \ldots, s_{n})$ and clearly the splitting field of $P(x)$ over $F$ is $K = \mathbb{C}(x_{1}, x_{2}, \ldots, x_{n})$.

We start with a very surprising and curious result regarding the behavior of radical expressions with respect to two specific permutations of the $x_{i}$. In order to define these two permutations it is absolutely important that we have $n \geq 5$. Such permutations don't exist if $n < 5$.

Theorem 12: Let $u, a \in K = \mathbb{C}(x_{1}, x_{2}, \ldots, x_{n})$ and $p$ be a prime number such that $u^{p} = a$. Let $n \geq 5$ and let $\sigma, \tau$ be two permutations of $x_{i}$'s defined as follows: $$\sigma: x_{1} \to x_{2} \to x_{3} \to x_{1}, x_{i} \to x_{i} \textit{ for }i > 3$$ and $$\tau: x_{3} \to x_{4} \to x_{5} \to x_{3}, x_{i} \to x_{i} \textit{ for } i = 1, 2\textit{ and }i > 5$$ If $a$ in invariant under the permutations $\sigma, \tau$ then so is $u$.

Clearly if $a = 0$ then $u = 0$ and the theorem is trivially true in this case. So let $a \neq 0$ so that $u \neq 0$. Now we have $u^{p} = a$ so that $\sigma(u^{p}) = \sigma(a) = a$ or $(\sigma(u))^{p} = a = u^{p}$. We then have $(\sigma(u)/u)^{p} = 1$ so that $\sigma(u)/u$ is some $p^{\text{th}}$ root of unity, say $\omega_{\sigma}$ and then we have $\sigma(u) = \omega_{\sigma}u$.

Applying the permutation $\sigma$ to this equation we get $$\sigma^{2}(u) = \sigma(\omega_{\sigma}u) = \omega_{\sigma}\sigma(u) = \omega_{\sigma}^{2}u$$ and similarly $\sigma^{3}(u) = \omega_{\sigma}^{3}u$. But $\sigma^{3}$ is the identity permutation and hence we get $\omega_{\sigma}^{3}u = u$ so that $\omega_{\sigma}^{3} = 1$.

Following exactly the same reasoning we get $\tau(u) = \omega_{\tau}u$ where $\omega_{\tau}$ is some $p^{\text{th}}$ root of unity and we have $\omega_{\tau}^{3} = 1$. Now its time to do some permutation algebra. Clearly we have $$\sigma \circ \tau: x_{1} \to x_{2} \to x_{3} \to x_{4} \to x_{5} \to x_{1}, x_{i} = x_{i} \text{ for }i > 5$$ and $$\sigma^{2} \circ \tau: x_{1} \to x_{3} \to x_{4} \to x_{5} \to x_{2} \to x_{1}, x_{i} = x_{i} \text{ for }i > 5$$ Again we can see that $$(\sigma \circ \tau)u = \omega_{\sigma}\omega_{\tau}u,\, (\sigma^{2}\circ \tau)(u) = \omega_{\sigma}^{2}\omega_{\tau}u$$ Since both $(\sigma\circ\tau)^{5}$ and $(\sigma^{2}\circ\tau)^{5}$ are identity permutations it follows that $$(\omega_{\sigma}\omega_{\tau})^{5} = (\omega_{\sigma}^{2}\omega_{\tau})^{5} = 1$$ Also we have previously obtained $$\omega_{\sigma}^{3} = \omega_{\tau}^{3} = 1$$ Now it is clear that $$\omega_{\sigma} = (\omega_{\sigma}^{3})^{2}(\omega_{\sigma}\omega_{\tau})^{5}(\omega_{\sigma}^{2}\omega_{\tau})^{-5} = 1\cdot 1\cdot 1 = 1$$ and $$\omega_{\tau} = (\omega_{\tau}^{3})^{2}\omega_{\sigma}^{5}(\omega_{\sigma}\omega_{\tau})^{-5} = 1\cdot 1\cdot 1 = 1$$ We thus have $\sigma(u) = \omega_{\sigma}u = u, \tau(u) = \omega_{\tau}u = u$ so that $u$ is invariant under the permutations $\sigma$ and $\tau$.

We are now ready to prove the insolvability of the polynomial $P(x)$ by radicals if $n \geq 5$. We have the precise statement of the theorem as follows:

Theorem 13: If $n \geq 5$ then the general polynomial of degree $n$ given by $$P(x) = (x - x_{1})(x - x_{2})\cdots(x - x_{n}) = x^{n} - s_{1}x^{n - 1} + \cdots + (-1)^{n}s_{n}$$ is not solvable by radicals over $\mathbb{Q}(s_{1}, s_{2}, \ldots, s_{n})$ nor over $\mathbb{C}(s_{1}, s_{2}, \ldots, s_{n})$.

By theorem 6 of this post it is sufficient to show that the polynomial $P(x)$ is not solvable by radicals over $F = \mathbb{C}(s_{1}, s_{2}, \ldots, s_{n})$. Let us suppose on the contrary that the polynomial $P(x)$ is solvable by radicals over $F$. This means there is a radical extension $R$ of $F$ which contains a root $x_{i}$ of $P(x)$. By renumbering of the $x_{i}$'s it is possible to ascertain that $R$ contains $x_{1}$ in particular. Now by the theorem of natural irrationalities proved in the last post we can assume that $R$ is contained in $K = \mathbb{C}(x_{1}, x_{2}, \ldots, x_{n})$. Let the height of $R$ over $F$ be $h$. Clearly $h$ can not be zero as it would mean $R = F$ and hence every member of $R$ including the root $x_{1}$ would have to be invariant under all the permutations of the $x_{i}$'s. Hence $h > 0$. Let $F = R_{0} \subseteq R_{1} \subseteq R_{2} \subseteq \ldots \subseteq R_{h} = R$ be the tower of radical extensions leading from $F$ to $R$. Here each $R_{i}$ is a radical extension of height $1$ of $R_{i - 1}$.

Consider first the radical extension $R_{1}$ of height $1$ over $F$. Clearly we have a member $u \in R_{1}$ and a prime $p$ such that $R_{1} = F(u)$ and $u^{p} = a \in F$ is not a $p^{\text{th}}$ power in $F$. Clearly the element $a \in F$ is invariant under all the permutations of the $x_{i}$'s and since $n \geq 5$, the element $a$ is invariant under the two permutations $\sigma$ and $\tau$ defined in theorem 12 above. It follows from theorem 12 that the element $u$ is also invariant under $\sigma, \tau$. Since every element of $F$ is also invariant under these two permutations it follows that every element of $F(u) = R_{1}$ is also invariant under $\sigma, \tau$.

Now considering the field $R_{2}$ as a radical extension of height $1$ over $R_{1}$ and repeating the same argument we see that every element of $R_{2}$ is also invariant under $\sigma, \tau$. Continuing this process for each of the fields $R_{i}$ we finally see that every member of $R_{h} = R$ is invariant under $\sigma, \tau$. But we have $x_{1} \in R$ which is clearly not invariant under $\sigma$ and therefore we obtain a contradiction. It follows that our initial assumption of the solvability of $P(x)$ by radicals over $F$ is wrong and thereby our proof is complete.

Note: The treatment of the insolvability of general polynomial of degree $5$ or more in this series of posts is taken from the wonderful book Galois Theory of Algebraic Equations by Jean-Pierre Tignol. Readers are advised to go through this beautiful book for further development in these topics. This has been the first understandable presentation of Abel's proof I have found in literature and online articles. Most of the Modern Algebra textbooks totally ignore the contributions of Abel or just mention it as a historical note and straightaway jump onto the beautiful theories of Galois. Tignol's book discusses all the historical developments leading upto Galois Theory with the exposition of the contributions from various mathematicians like Gauss, Lagrange, Abel and finally Galois.

Print/PDF Version

4 comments :: Abel and the Insolvability of the Quintic: Part 4

Post a Comment

  1. may i know some of the online sources which help you to understand the mathematics?

  2. @rob,
    The best online source is google. You type any damn topic (e.g "Ramanujan's series for pi") in google and you get a list of papers by Bruce C Berndt and hopefully my blog. Of course this is not a step by step approach, but enough online searches will give you access to many papers and old classic books (whose copyright is expired) and these will help you a lot.

    Another great site is the Q&A http://math.stackexchange.com where you can ask any mathematics question and the users there will help you a lot (much more than any regular teacher or professors).Apart from that you must have access to some books (a list is mentioned in my bibliography section) either through a library or a direct purchase.

    You can see a list of math blogs at http://www.mathblogging.org/ and some of these blogs are really a good source of studying mathematics.

  3. This is rather late but:

    The roots of unity defined in the proof of the first theorem are both p-th roots and 3-rd roots. This alone forces them to be equal to 1 by the euclidean algorithm since p>3. Am I missing something?

  4. @Asvin
    You are right. The proof in my post also does the same but does not mention the word Euclidean Algorithm.

    Regards,
    Paramanand