Can we introduce new operations that make quintics solvable?

You can invent your own notation: say $r(a,b,c,d,e;n)$ for the $n^\mathrm{th}$ smallest root of the quintic with coefficients $a, b, c, d, e$. You may object that this is kind of a cop-out, and you'd be right, but it's also basically what we do with quadratics. We get excited when we find out that we can "solve" $x^2 = 2$ by writing $x = \sqrt 2$, but all we've really done is say "the solution to $x^2 = 2$ is a number that, when squared, gives $2$". Which is not so insightful.

What's interesting about $\sqrt a$ is that once we can "solve" equations like $x^2 - a = 0$ we find that we don't need anything new to solve $ax^2 + bx + c = 0$ – we can transform all such equations into the simpler form. Moreover, we can develop methods of reasoning with these solutions, so that e.g. $\sqrt{x}\sqrt{y} = \sqrt{xy}$ and so forth (but note that there isn't really a great deal we can say about $\sqrt 2 + \sqrt 3$, for example). We don't so much say "these are the solutions of this equation" but "this is a relationship between the solutions of this equation and this other one", and that is something that takes genuine mathematical work and insight.

Anyway, it sounds like Julian's answer is pretty much what you wanted, but I thought I'd provide some additional colour.


Yes, there is such an operation called a Bring radical: http://en.wikipedia.org/wiki/Bring_radical