×

The absolute Galois group of a pseudo real closed field with finitely many orders. (English) Zbl 0595.12012

The author gives a characterization of the absolute Galois group G(K) of a prc-field K which admits exactly e orderings (prc e-field). A field K is called prc if each K-variety which has a simple point in every real closure of K, admits a K-rational point. The author assigns to every field K with e orderings a so-called absolute Galois e-structure \({\mathcal G}(K)\) and proves that in the category of profinite e-structures the ones which are realized by prc e-fields are exactly the projective ones. A profinite e-structure is a system \({\mathcal G}=(G\); \(X_ 1,...,X_ e)\) where G is a profinite group and the \(X_ i's\) are non-empty G-orbits such that the group \(\{\) \(\tau\in G|\) \(x^{\tau}=x\}\) is cyclic of order 2. After introducing morphisms suitably, the notion of projectivity is defined as usual.
Reviewer: A.Prestel

MSC:

12D15 Fields related with sums of squares (formally real fields, Pythagorean fields, etc.)
12F10 Separable extensions, Galois theory
14G05 Rational points
20E18 Limits, profinite groups
Full Text: DOI

References:

[1] Ax, J., The elementary theory of finite fields, Annals of Math., 88, 239-271 (1968) · Zbl 0195.05701
[2] Basarab, Ş., Definite functions on algebraic varieties over ordered fields, Revue Roumaine Math. Pures Appl., 29, 7, 527-535 (1984) · Zbl 0578.12019
[3] Basarab, Ş., Some model theory for regularly closed fields, I, II, Report AI-FD018 (1982), Bucharest
[4] Basarab, Ş., The elementary theory of pseudo real closed \(e\)-fold ordered fields, Report AI-FD032 (1983), Bucharest
[5] Basarab, Ş., Profinite groups with involutions and pseudo real closed fields, Report AI-FD038 (1983), Bucharest
[6] Bell, J. L.; Slomson, A. B., Models and Ultraproducts: An Introduction (1971), North-Holland: North-Holland Amsterdam · Zbl 0179.31402
[7] G. Cherlin, L. van den Dries and A. Macintyre, The elementary theory of regularly closed fields, Preprint.; G. Cherlin, L. van den Dries and A. Macintyre, The elementary theory of regularly closed fields, Preprint. · Zbl 0466.12017
[8] Ershov, Ju., Regularly closed fields, Soviet Math. Dokl., 21, 2, 510-512 (1980) · Zbl 0467.03026
[9] Ershov, Ju., Regularly \(r\)-closed fields (Russian), Dokl. Akad. Nauk SSSR, 266, 3, 538-540 (1982)
[10] Frey, G., Pseudo algebraically closed fields with nonarchimedean real valuations, J. Algebra, 26, 202-207 (1973) · Zbl 0264.12105
[11] M. Fried, D. Haran and M. Jarden, Galois stratification over Frobenius fields, Advances in Math., to appear.; M. Fried, D. Haran and M. Jarden, Galois stratification over Frobenius fields, Advances in Math., to appear. · Zbl 0554.12016
[12] Gruenberg, K., Projective profinite groups, J. London Math. Soc., 42, 155-165 (1967) · Zbl 0178.02703
[13] Jarden, M., The elementary theory of large \(e\)-fold ordered fields, Report 81-17 (1981), Tel-Aviv
[14] K. McKenna, Pseudo henselian and pseudo real closed fields, Thesis, Yale.; K. McKenna, Pseudo henselian and pseudo real closed fields, Thesis, Yale.
[15] K. McKenna, On the cohomology and elementary theory of a class of ordered fields, Preprint.; K. McKenna, On the cohomology and elementary theory of a class of ordered fields, Preprint.
[16] Lubotzky, A.; van den Dries, L., Subgroups of free profinite groups and large subfields of \(Q\), Israel J. Math., 39, 25-45 (1981) · Zbl 0485.20021
[17] Prestel, A., Pseudo real closed fields, (Lecture Notes in Math., 782 (1981), Springer: Springer Berlin), 127-156 · Zbl 0466.12018
[18] Serre, J. P., Cohomologie Galoisienne, (Lecture Notes in Math., 5 (1964), Springer: Springer Berlin) · Zbl 0812.12002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.