Hostname: page-component-cc8bf7c57-n7pht Total loading time: 0 Render date: 2024-12-11T22:11:59.106Z Has data issue: false hasContentIssue false
  • English
  • Français

Model-complete theories of e-free Ax fields

Published online by Cambridge University Press:  12 March 2014

Moshe Jarden  and
William H. Wheeler
Moshe Jarden
Affiliation:
Tel Aviv University, Ramat Aviv, Tel Aviv, Israel
William H. Wheeler
Affiliation:
Indiana University, Bloomington, Indiana 47405
Get access Rights & Permissions [Opens in a new window]

Extract

This paper's goal is to determine which complete theories of perfect, e-free Ax fields are model-complete. A field K is e-free for a positive integer e if the Galois group g(KS∣K), where Ks is the separable closure of K, is an e-free, profinite group. A perfect field K is pseudo-algebraically closed if each nonvoid, absolutely irreducible variety defined over K has a K-rational point. A perfect, pseudo-algebraically closed field is called an Ax field. The main theorem is

A complete theory of e-free Ax fields is model-complete if and only if its field of absolute numbers is e-free.

The sufficiency of the latter condition is an easy consequence of a result of Moshe Jarden and Ursel Kiehne [10] and has been noted independently by A. Macintyre and K. McKenna and undoubtedly by others as well. Consequently the necessity of the latter condition is the interesting part of this paper.

James Ax [3] initiated the investigation of 1-free Ax fields. He proved that these fields, which he called pseudo-finite fields, are precisely the infinite models of the theory of finite fields. He [3] also presented examples of perfect, 1-free fields which are not pseudo-algebraically closed and an example of a 1-free Ax field whose complete theory is not model-complete. Moshe Jarden [5] showed that the first examples are isolated cases in that almost all, perfect, 1-free, algebraic extensions of a denumerable, Hilbertian field are pseudo-algebraically closed. The results in this paper show that the second example is also an isolated case in that almost all complete theories of 1-free Ax fields are model-complete.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 48 , Issue 4 , December 1983 , pp. 1125 - 1129
Copyright
Copyright © Association for Symbolic Logic 1983

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

[1]Adler, Allan and Kiefe, Catarina, Pseudofinite fields, procyclic fields, and model-completion. Pacific Journal of Mathematics, vol. 62 (1976), pp. 305–309.CrossRefGoogle Scholar
[2]Ax, James, Solving diophantine problems modulo every prime, Annals of Mathematics (2nd series), vol. 85 (1967), pp. 161–183.CrossRefGoogle Scholar
[3]Ax, James, The elementary theory of finite fields, Annals of Mathematics (2nd series), vol. 88 (1968), pp. 239–271.CrossRefGoogle Scholar
[4]Geyer, W.D., Galois groups of intersections of local fields, Israel Journal of Mathematics, vol. 30 (1978), pp. 382–396.CrossRefGoogle Scholar
[5]Jarden, Moshe, Elementary statements over large algebraic fields, Transactions of the American Mathematical Society, vol. 164 (1972), pp. 67–91.CrossRefGoogle Scholar
[6]Jarden, Moshe, Algebraic extensions of finite corank of Hilbert ian fields, Israel Journal of Mathematics, vol. 18 (1974), pp. 279–307.CrossRefGoogle Scholar
[7]Jarden, Moshe, Roots of unity over large, algebraic fields, Mathematische Annalen, vol. 213 (1975), pp. 109–127.CrossRefGoogle Scholar
[8]Jarden, Moshe, Intersections of conjugate fields of finite corank over Hilbertian fields, Journal of the London Mathematical Society (2), vol. 17 (1978), pp. 393–396.CrossRefGoogle Scholar
[9]Jarden, Moshe, The elementary theory of ω-free Ax fields, Inventiones Mathematicae, vol. 38 (1976), pp. 187–206.CrossRefGoogle Scholar
[10]Jarden, Moshe and Kiehne, Ursel, The elementary theory of algebraic fields of finite corank, Inventiones Mathematicae, vol. 30 (1975), pp. 275–294.CrossRefGoogle Scholar
[11]Lang, Serge, Introduction to algebraic geometry, Wiley, New York, 1958.Google Scholar
[12]Lang, Serge, Algebra, Addison-Wesley, Reading, Mass., 1965.Google Scholar
[13]Neukirch, Jürgen, Über gewisse ausgezeichnete unendliche algebraische Zahlkörper, Bonner Mathematische Schriften, vol. 25 (1965).Google Scholar
[14]Neukirch, Jürgen, Über eine algebraische Kennzeichung der Henselkörper, Journal für die reine und angewandte Mathematik, vol. 231 (1968), pp. 75–81.Google Scholar
[15]Ribes, Luis, Introduction to profinite groups and Galois cohomology, Queen's Papers in Pure and Applied Mathematics, no. 24, Queen's University, Kingston, Ontario, 1970.Google Scholar
[16]van den Dries, L.P.D. and Lubotzky, L., Normal subgroups of free profinite groups, Israel Journal of Mathematics, vol. 39 (1981), pp. 25–45.Google Scholar
[17]Wheeler, W.H., Model-complete theories of pseudo-algebraically closed fields, Annals of Mathematical Logic, vol. 17 (1979), pp. 205–226.CrossRefGoogle Scholar