Original works of great mathematician Évariste Galois
Through this question I wanted to know the original works of Galois. When I was reading Galois theory ( since from last month ) , I have been seeing one common line in every book, whose essence appears as follows :
" The original work of Galois is rather different from the presented version here ( which is due to Artin ) , the original works of Galois are different since the concepts like automorphisms and other things were not discovered at the time of Galois. "
I am curious to know what are the notions that Galois used ? , and what is the corresponding formulation of Galois theory, ( corresponding to the present version now which uses the modern vocabulary of Automorphisms ) .
But on the other hand , is there any complete biographical sketch of Évariste Galois ? . But I really wanted to know about him, I think there is not a single original picture of him. But there was an original photograph of Master Gauss with me ( but I don't have a original picture of Galois, rather than the portrait drawn by his friend and I would be much happy if someone gives a link to any rare picture other than the normal ones ).
Thanks everyone.
Solution 1:
First, a good reference is Harold Edwards' book Galois Theory, which makes an effort to develop the theory directly following Galois' original essay on solvability by radicals. Based on your question I would absolutely recommend getting a hold of this book.
Second, here is a (necessarily too brief) answer to your question. (For a full answer, see Edwards!) The differences between Galois' development and the modern one are huge, and fall into two broad categories:
Surface differences: when Galois was talking about an object that now has a standard name and definition. He didn't have the name and definition yet, but he's basically talking about the same object we now speak of. Examples:
The abstract definition of a field was not yet available. However, Galois writes things like "$x$ can be expressed in a rational function of $\alpha, \beta, \dots$," which we would now write as $x\in \mathbb{Q}(\alpha,\beta,\dots)$.
Relatedly, Galois introduced the term "to adjoin" to mean what we now recognize as creating a field extension. Galois' way of talking about this process was to elaborate and somewhat alter the meaning of the word "rational." Galois explained that "rational" in his work would mean a quantity expressible in terms of (ordinary) rational numbers, the coefficients of a given equation, and "any other quantities that we have adjoined (to the equation)."
Galois introduced the word "group" to refer to groups of permutations of roots of an equation. We now recognize these groups as automorphism groups of fields; of course Galois didn't see them that way. To him they were a specific subset of the set of permutations of the roots, that had the property that they left fixed the values of all and only those rational expressions in the roots whose values were rationally expressible in terms of a given set of "adjoined" numbers. He created an explicit construction that he proved yielded this set of permutations. Of course, the abstract definition of a group was nowhere in sight: Galois was always and only talking about specific groups of permutations with the above property.
Deep differences: when Galois' logic was substantially different from today's developments. Example:
- For Galois, the basic lemma used to prove all the central results is what we now call the Fundamental Theorem on Symmetric Polynomials. This was not seen as a named theorem in Galois' day, but was treated as a well-known fact by all the mathematicians of the time. All of Galois theory as developed by Galois himself begins from the fact that if a given rational expression in the roots of a polynomial is symmetric in these roots, then it is expressible as a rational expression in the coefficients of the polynomial. In modern treatments (e.g. that in Nathan Jacobson's Basic Algebra I), the role played by this lemma is completely removed, and replaced by the elementary theory of vector spaces and dimension as the engine for the theory. The theorem on symmetric rational functions falls out at the end as a minor consequence.
Solution 2:
Actually, Galois uncovered the existence of a unique attribute of any polynomial equation in one unknown: the Galois group of the polynomial equation. This group which he developed has the UNIQUE property that any rational function (in the roots of the original equation) that is rational valued, that is, equals a rational number, remains unchanged by the roots being permutated in the rational expression by any permutation which is a memeber of this Galois group. The Galois group has other properties also. These properties of the Galois group indeed do depend on the Fundamental Theorem of Symmetric Polynomials. In fact, the solution scheme of Lagrange and Galois was suggested by the use of this theorem. The whole Galois development depends on this Galois group. He proposes, as did Lagrange, a POSSIBLE solution scheme for a polynomial equation, if the Galois group decomposes into a series of nested subgroups. Of course, this decompostion is not always possible. BUT . . . Galois did show that if the roots are to be radicals, then the Galois group will indeed decompose into a solvable series such as you see described in conventional books on group theory or modern Galois theory. Galois also showed that if the Galois group of a polynomial did indeed decompose into a solvable series, then the roots would be forced to be radicals. However, the main achievement of Galois seems to be the discovery of this Galois group. As you can see, this property of any rational expression of the roots that is rational valued being unchanged by a permutation of the Galois group leads us naturally to the discovery of the automorphism, one of whose properties is that it leaves rational numbers unaltered. This was the clue to the development of modern Galois theory.
Solution 3:
You might be interested in Peter Neumann's book The Mathematical Writings of Évariste Galois, which has English translations of Galois' work. The book is notable for its completeness and attention to detail. Neumann translated every piece of writing we have from Galois, including scraps of paper and incomplete writings. His translations include phrases that Galois crossed out, and even keep track of the number of lines Galois used when he crossed out a phrase!