Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

So there is no quadratic formula equivalent for a GENERAL fifth degree equation, but is there an equivalent formula for a SOLVABLE fifth degree equation.

share|improve this question
    
Galois theory shows how in principle one can use a chain of subgroups establishing that the Galois group is solvable to construct a chain of intermediate fields, each obtained by extension by radicals, ending in a splitting field for your polynomial. The explicit details depend on that chain, and can be quite messy. In fact even the general formula for the quartic is extremely messy if you write it out in full. –  Marc van Leeuwen Mar 8 '12 at 8:44

2 Answers 2

up vote 2 down vote accepted

Marc is correct, the Galois group for a solvable irreducible quintic can only have order $5,10$ or $20,$ since these are the only orders of solvable subgroups of $S_5$ which have order divisible by $5,$ so in some ways the possible structures for the Galois group of a solvable quintic are less messy than the structure of the symmetric group $S_4.$ Following the arguments in Galois Theory texts for the relevant Galois groups should be feasible( and is probably already done explicitly somewhere). It might help to note that such an irreducible quintic has either $1$ or $5$ real roots.

share|improve this answer
    
If OP's earlier questions are anything to go by, OP is not just (perhaps not at all) interested in irreducible quintics, but in reducible ones, even (perhaps especially) quintics that split completely over the rationals. The possible structures for the Galois group of a solvable and not-necessarily-irreducible quintic include all those messy subgroups of $S_4$, as well as $S_3$, $S_2$, and $S_1$. I think there are over a dozen different kinds of solvable quintic if you include the reducible ones, which means OP needs a lot of formulas, not just one. –  Gerry Myerson Mar 8 '12 at 10:58
    
@Gerry Myerson : Yes, if you allow reducible quintics, then it's different matter, but you can of course (in principle) solve the irreducible factors by radicals using the formula for quadratics,cubic and quartics, you don't need any "new" Galois theory. So the irreducible quintic is the only case not covered by the "standard" theory. –  Geoff Robinson Mar 8 '12 at 11:10

Yes, there is a general expression for solutions of solvable quintics. A published account, including the relevant formulas, appears in

David S. Dummit. Solving solvable quintics, Math. Comp., 57 (195), (1991), 387–401. MR1079014 (91j:12005). Corrigenda, Math. Comp., 59 (199), (1992), 309. MR1166516.

The corrigenda is actually a microfiche supplement containing an appendix to the paper, that was inadvertently not published with the paper itself. It contains some of the formulas needed for the explicit computation of the roots. To give you an idea of the complexity of the task, the appendix runs for $43$ pages.

From the paper:

It is well known that an irreducible quintic with coefficients in the rational numbers $\mathbb Q$ is solvable by radicals if and only if its Galois group is contained in the Frobenius group $F_{20}$ of order $20$, i.e., if and only if the Galois group is isomorphic to $F_{20}$ , to the dihedral group $D_{10}$ of order $10$, or to the cyclic group $\mathbb Z/5\mathbb Z$.

Explicitly associated to an irreducible quintic $f$ there is a resolvent sextic that Dummit calls $f_{20}$, and $f$ is solvable by radicals iff $f_{20}$ has a rational root, in which case $f_{20}$ factors as a linear term times an irreducible quintic. When this happens, explicit criteria are given for which of the three possibilities above actually occurs, together with the relevant formulas. The paper includes examples showing all three cases are possible.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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