Welcome to MathOverflow

Question

10

3

Who proved the modern form of the fundamental theorem of Galois theory?. Was it in the original Galois' manuscript?

flag	asked Feb 10 2012 at 5:02 Mark Sapir 27.7k●2●57●118

According to en.wikipedia.org/wiki/Field_theory_(mathematics), the definition of an abstract field wasn't written down until 1893 (by Weber). So I doubt Galois had the tools to think in such generality. – Qiaochu Yuan Feb 10 2012 at 6:26

5

The question is very close to mathoverflow.net/questions/26811/… – Alain Valette Feb 10 2012 at 8:08

Duplicate? See mathoverflow.net/questions/26557/… – Alain Valette Feb 10 2012 at 13:15

@Alain: It is close but not a duplicate. Although the contribution of Artin is significant, the fundamental theorem could be proved before. In fact, as Steven Landsburg answers below, it follows from Galois own results easily. – Mark Sapir Feb 10 2012 at 13:40

Many thanks to everybody for your answers! I think that Steven's answer is what I was looking for, so I accept it. – Mark Sapir Feb 10 2012 at 13:55

Steven Landsburg · Accepted Answer · 2012-02-10 13:06:23Z UTC

8

Galois's Proposition I (as translated by Edwards) is:

Let the equation be given whose $m$ roots are $a,b,c,\ldots$. There will always be a group of permuations of the letters $a,b,c,\ldots$ which will have the following property: 1) that each function invariant under the substitutions of this group will be known rationally; 2) conversely, that every function of these roots which can be determined rationally will be invariant under these substitutions.

As Edwards observes, it takes a lot of work to decipher the exact meanings of "substitution" and "invariant" here, but once you've done that, this can be translated into modern language as:

If an element of the splitting field of $K(a,b,c,\ldots)$ is left fixed by all the automorphisms of the Galois group then it is in $K$.

The fundamental theorem of Galois theory (i.e. the Galois correspondence) follows easily, though Edwards doesn't say who first stated it.

answered Feb 10 2012 at 13:06

Steven Landsburg
8,650●1●28●47

3

For Galois' original text (published in Journal de Liouville), see p. 421 (scroll to the 2/3 of the document): portail.mathdoc.fr/JMPA/PDF/… There is an interesting footnote (is it also in Edwards?) where Galois tries to explain what he means by "invariant" and "known rationally". It certainly agree with the comment: "It takes a lot of work to decipher..." – Alain Valette Feb 10 2012 at 14:36

1

@Alain: Your point is of course valid. The problem is that Galois did not have the modern terminology (also time!), he needed to invent many things from scratch. Similarly, if you read what Euclid actually wrote and compare with what we think he wrote, you will find that Euclid's texts are very hard to decipher also. There are much more modern (the second half of the 20th centry) examples which you certainly know. – Mark Sapir Feb 10 2012 at 15:54

2

@Mark: This is why (with due respect) I am not quite satisfied with Steven's answer: someone had to do the deciphering work, and I wonder who it was (being aware that it might not be a single person). A Google search points to contributions by Noether, van der Waerden, and Artin. – Alain Valette Feb 10 2012 at 19:53

@Alain: As I understand, it took about 100 years after Galois to translate what he did into the modern terminology and many people contributed to it. Qiaochu Yuan mentioned Weber. Also E. Artin, Van der Waerden, and many others. I find this text very interesting: gap-system.org/~history/Projects/Brunk/Chapters/… – Mark Sapir Feb 10 2012 at 21:58

Yiftach Barnea · Answer 2 · 2012-02-10 08:59:35Z UTC

3

I am not particularly interested in mathematical history, but Peter Newmann is: http://www.ems-ph.org/books/book.php?proj_nr=137.

answered Feb 10 2012 at 8:59

Yiftach Barnea
2,310●1●10●18

Ehsan M. Kermani · Answer 3 · 2012-02-10 07:58:05Z UTC

3

The modern form can be found in Galois Theory, by Emil Artin and Arthur N. Milgram page 46, published in 1944. I'm not expert in math history, but once, I heard Artin was the first person to wrote the modern account of Galois theory.

edited Feb 10 2012 at 7:58

answered Feb 10 2012 at 7:43

Ehsan M. Kermani
839●6●12

2

-Yes, but there were many proofs earlier(and modern) for the fundamental theorem of Galois theory before Emil's. Emil's proof is simpler than the proof the usual ones we find in every mongraph – Ongaro Nyang' Feb 10 2012 at 11:29

Leandro Vendramin · Answer 4 · 2012-02-10 06:27:00Z UTC

Surely the book

Edwards, Harold M. Galois theory. Graduate Texts in Mathematics, 101. Springer-Verlag, New York, 1984. xiii+152 pp. ISBN: 0-387-90980-X MR0743418 (87i:12002) (link to amazon)

would be useful. This book about Galois theory is made from the historical point of view. In particular, it contains an English translation of Galois' memoir.

The fundamental theorem of Galois theory

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

4 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.