
Solvability by Radicals 
Given the specific polynomial over the field of rational numbers , from the quadratic formula for its roots we know that its roots are ; thus the field is
the splitting field of over . Consequently there is an element in such that the extension field where is such that
it contains all the roots of
.
From a slightly different point of view, given the general quadratic polynomial over , we can consider it as a particular polynomial over the field of rational functions in the two variables and over ; in the extension obtained by adjoining to where , we find all the roots of . There is a formula which expresses the roots of in terms of and square roots of rational functions of these. For a cubic equation the situation is very similar; given the general cubic equation an explicit formula can be given, involving combinations of square roots and cube roots of rational functions in . While somewhat messy, they are explicitly given by Cardan's formulas: Let and
and let and (with cube roots chosen properly); then the roots of are where is a cube root of 1. The above formulas only serve to illustrate for us that by adjoining a certain square root and then a cube root to we reach a field in which has its roots. For fourthdegree polynomials, which we shall not give explicitly, by using rational operations and square roots, we can reduce the problem to that of solving a certain cubic, so here too a formula can be given expressing the roots in terms of combinations of radicals (surds) of rational functions of the coefficients. For polynomials of degree five and higher, no such universal radical formula can be given, for we shall prove that it is impossible to express their roots, in general, in this way. Given a field and a polynomial we say that is solvable by radicals over if we can find a finite sequence of fields such that such that the roots of all lie in . If is the splitting field of over then is solvable by radicals over if we can find a sequence of fields as above such that . An important remark, and one we shall use later, in the proof of Theorem 5.7.2, is that if such an can be found, we can, without loss of generality, assume it to be a normal extension of ; we leave its proof as a problem (Problem 1). By the general polynomial of degree over , we mean the following: Let be the field of rational functions, in the variables over , and consider the particular polynomial over the field . We say that it is solvable by radicals if it is solvable by radicals over . This really expresses the intuitive idea of ``finding a formula'' for the roots of involving combinations of th roots, for various 's, of rational functions in . For , and 4, we pointed out that this can always be done. For Abel proved that this cannot be done. However, this does not exclude the possibility that a given polynomial over may be solvable by radicals. In we shall give a criterion for this in terms of the Galois group of the polynomial. But first we must develop a few purely grouptheoretical results. Some of these occurred as problems at the end of Chapter 2, but we nevertheless do them now officially. DEFINITION: A group is said to be solvable if we can find a finite chain of subgroups where each is a normal subgroup of and such that every factor group is abelian. Every abelian group is solvable, for merely take and to satisfy the above definition. The symmetric group of degree 3, , is solvable for take ; is a normal subgroup of and and are both abelian being of orders 2 and 3, respectively. It can be shown that is solvable (Problem 3). For we show in Theorem 5.7.1 below that is not solvable. We seek an alternate description for solvability. Given the group and elements in , then the commutator of and is the element . The commutator subgroup, , of is the subgroup of generated by all the commutators in . (It is not necessarily true that the set of commutators itself forms a subgroup of ) It was an exercise before that is a normal subgroup of . Moreover, the group is abelian, for, given any two elements in it, with , then On the other hand, if is a normal subgroup of such that is abelian, then , for, given then from which we deduce whence and so . Since contains all commutators, it contains the group these generate, namely . is a group in its own right, so we can speak of its commutator subgroup . This is the subgroup of generated by all elements where . It is easy to prove that not only is a normal subgroup of but it is also a normal subgroup of (Problem 4). We continue this way and define the higher commutator subgroups by . Each is a normal subgroup of (Problem 4) and is an abelian group. In terms of these higher commutator subgroups of , we have a very succinct criterion for solvability, namely, LEMMA 5.7.1: is solvable if and only if for some integer . COROLLARY: If is a solvable group and if is a homomorphic image of then is solvable. The next lemma is the key step in proving that the infinite family of groups , with , is not solvable; here is the symmetric group of degree . LEMMA 5.7.2: Let where ; then for contains every cycle of . A direct consequence of this lemma is the interesting grouptheoretic result THEOREM 5.7.1: is not solvable for . We now interrelate the solvability by radicals of with the solvability, as a group, of the Galois group of . The very terminology is highly suggestive that such a relation exists. But first we need a result about the Galois group of a certain type of polynomial. LEMMA 5.7.3: Suppose that the field has all th roots of unity (for some particular ) and suppose that is in . Let and let be its splitting field over . Then: 1. where is any root of . 2. The Galois group of over is abelian. Note that the lemma says that when has all th roots of unity, then adjoining one root of to , where , gives us the whole splitting field of ; thus this must be a normal extension of . We assume for the rest of the section that is a field which contain all th roots of unity for every integer . We have THEOREM 5.7.2: If is solvable by radicals over then the Galois group over of is a solvable group. We make two remarks without proof. 1. The converse of Theorem 5.7.2 is also true; that is, if the Galois group of over is solvable then is solvable by radicals over 2. Theorem 5.7.2 and its converse are true even if does not contain roots of unity. Recalling what is meant by the general polynomial of degree over , and what is meant by solvable by radicals, we close the chapter with the great, classic theorem of Abel: THEOREM 5.7.3: The general polynomial of degree is not solvable by radicals. 