Joy in Discovery: Galois theory

1Pattern

2Eigil Rischel

New Comment

2 comments, sorted by Click to highlight new comments since: Today at 10:49 PM

There exists a polynomial p(x) of degree five over the rational numbers, with a root q, so that q cannot be obtained from the rationals by field operations and iterated extraction of roots.

This sounds like it could be done by finding *one *polynomial (of degree 5) which has this property. Is this accurate, or is the problem about solving ?

Inspired by: Joy in Discovery, Class Project

Your task: Prove either of the following statements:

Note that the former clearly implies the latter, but you are free to prove either.

By "field operations", i mean just +,−,×,/. By "extraction of roots", i mean operations of the form "^n\sqrt{(-)}$. You are allowed to take even roots of negative numbers, i.e to work inside the complex numbers.

To clarify:

specificequation of the form ax5+bx4+cx3+dx2+ex+f, with a,b,c,d,e,f rational numbers, (a nonzero) which has at least one solution x, so that x cannot be written in terms of rational numbers, addition, subtraction, multiplication, division, and taking roots.allfifth-degree polynomials, expressing the roots in terms of the coefficients.Reading further will give you more information, which may not be in the spirit of things. I will take care not to give too many spoilers, but read carefully.

(You have already been spoiled that the solution involves something called "Galois theory", but if you know what that is, you almost certainly already know it applies to this question).

I just started taking a course on Galois theory for my master's degree in mathematics. The course is pretty far below my level; I am taking it for annoying bureaucratic reasons. Despite that fact, although I have been exposed to the some of the ideas before(which probably made it significantly easier for me), I've never really scratched the surface of Galois theory. But during the first lecture, as the professor started sketching out the direction of the course, how we would [do Galois theory] and use this to show the impossibility of solving the general quintic, it occurred to me that I could pretty much see how the argument would go. After the lecture, I wrote it down. And then I thought back to the posts above, one of which I had recently read for the first time, and I thought: this may actually be an opportunity for someone else to practice.

(It was an opportunity for me to practice, but not as much as it would be for someone who hadn't just been told what input was necessary, as I had been)

From here, anything I consider a spoiler goes in rot13

## Requirements/Hints

In the most general sense, this question is solvable with nothing more than very simple 19th-century mathematics - we know, because it

was solvedby those methods. Nevertheless, if you want to solve this without being as good as Galois and Abel, perhaps some sort of checklist is nice, so you can know if you have a "fair shot" at this. I think anyone with an undergraduate degree in math probably has the necessary basics, but I am not certain about that. I will give the fields of math necessary, inverybroad terms, but be warned that one of them may be non-obvious, and so constitute a mild spoiler: "Onfvp nofgenpg nytroen, v.r tebhc gurbel, evat gurbel, svryqf, cbylabzvny evatf.".More specifically, there are some background concepts that may be hard to invent

de novo. But again, these may contain more information than desired, in that it's not obvious that they apply to the problem at all. Nevertheless, they are "Gur abgvba bs "fbyinoyr tebhc". Gur vqrn bs nffbpvngvat n Tnybvf tebhc gb n svryq rkgrafvba, naq gur Tnybvf pbeerfcbaqrapr.."I am very uncertain about the difficulty of this problem. It depends a lot on your mathematical background. But I don't

thinkit's easy.Update: After writing out my solution in more details, thinking through some of the things one would have to invent to tackle this, I am now fairly certain that this is a very hard problem.