Modern Approach By Field Theory
In the modern approach, one starts with a field extension L/K (read: L over K), and examines the group of field automorphisms of L/K (these are mappings α: L → L with α(x) = x for all x in K). See the article on Galois groups for further explanation and examples.
The connection between the two approaches is as follows. The coefficients of the polynomial in question should be chosen from the base field K. The top field L should be the field obtained by adjoining the roots of the polynomial in question to the base field. Any permutation of the roots which respects algebraic equations as described above gives rise to an automorphism of L/K, and vice versa.
In the first example above, we were studying the extension Q(√3)/Q, where Q is the field of rational numbers, and Q(√3) is the field obtained from Q by adjoining √3. In the second example, we were studying the extension Q(A,B,C,D)/Q.
There are several advantages to the modern approach over the permutation group approach.
- It permits a far simpler statement of the fundamental theorem of Galois theory.
- The use of base fields other than Q is crucial in many areas of mathematics. For example, in algebraic number theory, one often does Galois theory using number fields, finite fields or local fields as the base field.
- It allows one to more easily study infinite extensions. Again this is important in algebraic number theory, where for example one often discusses the absolute Galois group of Q, defined to be the Galois group of K/Q where K is an algebraic closure of Q.
- It allows for consideration of inseparable extensions. This issue does not arise in the classical framework, since it was always implicitly assumed that arithmetic took place in characteristic zero, but nonzero characteristic arises frequently in number theory and in algebraic geometry.
- It removes the rather artificial reliance on chasing roots of polynomials. That is, different polynomials may yield the same extension fields, and the modern approach recognizes the connection between these polynomials.
Read more about this topic: Galois Theory
Famous quotes containing the words modern, approach, field and/or theory:
“Grief that is dazed and speechless is out of fashion: the modern woman mourns her husband loudly and tells you the whole story of his death, which distresses her so much that she forgets not the slightest detail about it.”
—Jean De La Bruyère (1645–1696)
“Let me approach at least, and touch thy hand.
[Samson:] Not for thy life, lest fierce remembrance wake
My sudden rage to tear thee joint by joint.
At distance I forgive thee, go with that;
Bewail thy falsehood, and the pious works
It hath brought forth to make thee memorable
Among illustrious women, faithful wives:
Cherish thy hast’n’d widowhood with the gold
Of Matrimonial treason: so farewel.”
—John Milton (1608–1674)
“Every woman who visited the Fair made it the center of her orbit. Here was a structure designed by a woman, decorated by women, managed by women, filled with the work of women. Thousands discovered women were not only doing something, but had been working seriously for many generations ... [ellipsis in source] Many of the exhibits were admirable, but if others failed to satisfy experts, what of it?”
—Kate Field (1838–1908)
“The weakness of the man who, when his theory works out into a flagrant contradiction of the facts, concludes “So much the worse for the facts: let them be altered,” instead of “So much the worse for my theory.””
—George Bernard Shaw (1856–1950)