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 that, fields, defined, absolute and/or groups:
“The world’s great day is growing late,
Yet strange these fields that we have planted
So long with crops of love and hate.”
—Edwin Muir (1887–1959)
“It would not be an easy thing to bring the water all the way to the plain. They would have to organize a great coumbite with all the peasants and the water would unite them once again, its fresh breath would clear away the fetid stink of anger and hatred; the brotherly community would be reborn with new plants, the fields filled with to bursting with fruits and grains, the earth gorged with life, simple and fertile.”
—Jacques Roumain (1907–1945)
“When one of us dies of cancer, loses her mind, or commits suicide, we must not blame her for her inability to survive an ongoing political mechanism bent on the destruction of that human being. Sanity remains defined simply by the ability to cope with insane conditions.”
—Ana Castillo (b. 1953)
“Atheism..., that bugbear of women and fools, is the very top and perfection of free-thinking. It is the grand arcanum to which a true genius naturally riseth, by a certain climax or gradation of thought, and without which he can never possess his soul in absolute liberty and repose.”
—George Berkeley (1685–1753)
“... until both employers’ and workers’ groups assume responsibility for chastising their own recalcitrant children, they can vainly bay the moon about “ignorant” and “unfair” public criticism. Moreover, their failure to impose voluntarily upon their own groups codes of decency and honor will result in more and more necessity for government control.”
—Mary Barnett Gilson (1877–?)