Fields That Are Defined By Their Absolute Galois Groups
Some profinite groups occur as the absolute Galois group of non-isomorphic fields. A first example for this is
This group is isomorphic to the absolute Galois group of an arbitrary finite field. Also the absolute Galois group of the field of formal Laurent series C((t)) over the complex numbers is isomorphic to that group.
To get another example, we bring below two non-isomorphic fields whose absolute Galois groups are free (that is free profinite group).
- Let C be an algebraically closed field and x a variable. Then Gal(C(x)) is free of rank equal to the cardinality of C. (This result is due to Adrien Douady for 0 characteristic and has its origins in Riemann's existence theorem. For a field of arbitrary characteristic it is due to David Harbater and Florian Pop, and was also proved later by Dan Haran and Moshe Jarden.)
- The absolute Galois group Gal(Q) (where Q are the rational numbers) is compact, and hence equipped with a normalized Haar measure. For a Galois automorphism s (that is an element in Gal(Q)) let Ns be the maximal Galois extension of Q that s fixes. Then with probability 1 the absolute Galois group Gal(Ns) is free of countable rank. (This result is due to Moshe Jarden.)
In contrast to the above examples, if the fields in question are finitely generated over Q, Florian Pop proves that an isomorphism of the absolute Galois groups yields an isomorphism of the fields:
Theorem. Let K, L be finitely generated fields over Q and let a: Gal(K) → Gal(L) be an isomorphism. Then there exists a unique isomorphism of the algebraic closures, b: Kalg → Lalg, that induces a.
This generalizes an earlier work of Jürgen Neukirch and Koji Uchida on number fields.
Read more about this topic: Field Arithmetic
Famous quotes containing the words fields, defined, absolute and/or groups:
“Or seen the furrows shine but late upturned,
And where the fieldfare followed in the rear,
When all the fields around lay bound and hoar
Beneath a thick integument of snow.
So by God’s cheap economy made rich
To go upon my winter’s task again.”
—Henry David Thoreau (1817–1862)
“As long as the “woman’s work” that some men do is socially devalued, as long as it is defined as woman’s work, as long as it’s tacked onto a “regular” work day, men who share it are likely to develop the same jagged mouth and frazzled hair as the coffee-mug mom. The image of the new man is like the image of the supermom: it obscures the strain.”
—Arlie Hochschild (20th century)
“The revolutionary spirit is mighty convenient in this, that it frees one from all scruples as regards ideas. Its hard absolute optimism is repulsive to my mind by the menace of fanaticism and intolerance it contains. No doubt one should smile at these things; but, imperfect Esthete, I am no better Philosopher. All claim to special righteousness awakens in me that scorn and anger from which a philosophical mind should be free.”
—Joseph Conrad (1857–1924)
“Only the groups which exclude us have magic.”
—Mason Cooley (b. 1927)