12
$\begingroup$

Using Galois theory we can effectively compute whether or not a polynomial is solvable in radicals - technically this means you can build a chain of field extensions by adding $n$-th roots of previously defined elements.

Anyway I was wondering, how do we actually solve the polynomials when they can be solved?

I have some ad-hoc methods to solve quadratic, general cubic and quartic as well as Gauss method to express some primitive roots of unity but I would like to read about something more general.

Also I would be interested in any other objects than radicals that are studied like exponential sums can be used to solve a smaller set of polynomials for example.

Related Galois groups of polynomials and explicit equations for the roots

$\endgroup$
6
  • $\begingroup$ With quintics, for instance, you need either theta/elliptic functions or hypergeometric functions in the general case to analytically represent the roots, but I find the symbolic expressions too unwieldy. In general, one tack is to find substitutions akin to the Tschirnhausen substitution (which in a sense is a generalization of the "depression" substitution $x=u-\frac{b}{na}$ for the polynomial $ax^n+bx^{n-1}+\dots$) to bring the polynomial to a more manageable form. $\endgroup$ Apr 18, 2011 at 10:36
  • $\begingroup$ Yes it would be interesting to have the galois theory of these special functions - or perhaps they can just solve everything? $\endgroup$
    – quanta
    Apr 18, 2011 at 10:38
  • 2
    $\begingroup$ As you might know, the higher you go in degree, the more special functions you need to add to your repertoire. See for instance Umemura's paper here, where he makes use of Riemann theta functions to represent roots of algebraic equations. This MO question might be of interest as well. $\endgroup$ Apr 18, 2011 at 10:55
  • $\begingroup$ Sorry @Theo, that was only five or so questions so I didn't think much of it. I think that's that. (If it were more than that I'd have restrained myself suitably...) $\endgroup$ Jul 23, 2011 at 18:06
  • $\begingroup$ @J.M. Sorry, I'm having a bad day today and shouldn't have complained... It's just that Willie already did two or three re-tags today and I'm having trouble finding stuff... $\endgroup$
    – t.b.
    Jul 23, 2011 at 18:12

1 Answer 1

8
$\begingroup$

Solving polynomials of higher degree that are solvable by radicals is a hard problem and there are no general formula. There are many approaches, but most rely on the concept of a Galois resolvent which is an auxiliary polynomial that factors if the original polynomial is solvable. The following papers might be useful:

Solving Solvable Quintics D. S. Dummit Mathematics of Computation Vol. 57, No. 195 (Jul., 1991), pp. 387-401

General Formulas for Solving Solvable Sextic Equations*1 Thomas R. Hagedorn Journal of Algebra Volume 233, Issue 2, 15 November 2000, Pages 704-757

On solvable septics LAU JING FENG http://scholarbank.nus.edu.sg/handle/10635/14460

$\endgroup$
5

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .