P-adically closed field
A notion introduced by J. Ax and S. Kochen in [a1] and generalized by A. Prestel and P. Roquette in [a8]. A field of characteristic with a valuation is called finitely ramified if contains a prime element whose value is a smallest positive element of the value group , and there are a prime number and a natural number such that . In this case, the residue field has characteristic . If, in addition, the residue field is finite, say, of cardinality , then is called a -valued field, and the natural number is called the -rank of . It is equal to the dimension of as a vector space over the field with elements, where denotes the valuation ring of . The -rank is if and only if is a prime element and the residue field is the field with elements; this is the case considered by Ax and Kochen.
A -valued field is called -adically closed if it does not admit any non-trivial -valued algebraic extension of the same -rank (cf. also Extension of a field). This holds if and only if is Henselian and is a -group, that is, the quotient of modulo the subgroup generated by the smallest positive element is a divisible group. The field of -adic numbers is -adically closed of -rank , and the same holds for the relative algebraic closure of the field of rational numbers in . There are also -adically closed fields whose value group is not an Archimedean group; they can be constructed by general valuation theory using the above criterion, but their existence can also be shown by a model-theoretic argument. Every extension of degree of is -adically closed of -rank . In the literature, -valuations and -adically closed fields are often tacitly assumed to have -rank .
Let be a fixed prime number. Ax and Kochen [a1] and Yu. Ershov [a4] showed that the elementary theory of all -adically closed fields of -rank is model complete and complete; hence, it is the same as the elementary theory of . Since a recursive set of axioms can be derived from the above characterization, it follows that their elementary theory is decidable. It does not admit elimination of quantifiers in the language of valued fields (cf. Model theory of valued fields). However, in 1976 A. Macintyre showed that elimination of quantifiers can be obtained if one adjoins to the language, for every , a power predicate interpreted by .
Prestel and Roquette [a8] generalized model completeness, elimination of quantifiers and decidability to the -adically closed fields of fixed -rank, and completeness to the -adically closed fields of fixed -rank with prime element .
Macintyre applied elimination of quantifiers to show that every infinite definable subset of a finite-dimensional -vector space has a non-empty interior. J. Denef gave another application in [a3]. See also [a7]; Elimination of quantifiers.
-adic versions of Hilbert's 17th problem and Hilbert's Nullstellensatz.
An answer to Hilbert's 17th problem (see Real closed field) was given by E. Artin in 1927. A. Robinson reproved (in 1955) the result using the model completeness of real closed fields. Using the model completeness of -adically closed fields, Kochen (1967) and Roquette (1971) proved a -adic analogue which characterizes the rational functions over a -adically closed field which are integral definite, that is, for every choice of , lies in the valuation ring of whenever it is defined. For of -rank this characterization uses the Kochen operator
where is the Artin–Schreier polynomial. Now is integral definite if and only if it is of the form
The Kochen operator is the -adic analogue of the square operator in the real case, and the above form is the analogue of the sum of squares.
The -adic version of Hilbert's Nullstellensatz (cf. Hilbert theorem) reads as follows. Suppose that . If vanishes at all common roots of in , then some power admits a representation with , where consists of all quotients
The ring is called the Kochen ring of .
The Kochen operator and Kochen ring can also be used to characterize the formally -adic fields, i.e., the fields admitting at least one -valuation. For this and general versions of the above, see [a8].
Galois group of .
The (absolute) Galois group of (that is, the Galois group of the algebraic closure of over ) was determined by U. Jannsen and K. Wingberg in [a5]. Like real closed fields, -adically closed fields of -rank are also characterized by their Galois group: any field with the same Galois group as is -adically closed of -rank . This was proved for fields of algebraic numbers by J. Neukirch in 1969, and by F. Pop in 1988 for Henselian fields with residue fields of positive characteristic. In 1995, I. Efrat proved the result for . The full result was proved by J. Koenigsmann [a6], who gave a criterion for a field to admit a -Henselian valuation, that is, a valuation having a unique extension to the maximal Galois--extension of , where is a prime number different from the characteristic of . For , this criterion was already given by R. Ware in 1981.
|[a1]||J. Ax, S. Kochen, "Diophantine problems over local fields II" Amer. J. Math. , 87 (1965) pp. 631–648|
|[a2]||P. Cohen, "Decision procedures for real and -adic fields" Comm. Pure and Appl. Math. , 22 (1969) pp. 131–151|
|[a3]||J. Denef, "The rationality of the Poincaré series associated to the -adic points on a variety" Invent. Math. , 77 (1984) pp. 1–23|
|[a4]||Yu.L. Ershov, "On the elementary theory of maximal normed fields" Soviet Math. Dokl. , 6 (1965) pp. 1390–1393 (In Russian)|
|[a5]||U. Jannsen, K. Wingberg, "Die Struktur der absoluten Galoisgruppe -adischer Zahlkörper" Invent. Math. , 70 (1982) pp. 71–98|
|[a6]||J. Koenigsmann, "From -rigid elements to valuations (with a Galois-characterization of -adic fields)" J. Reine Angew. Math. , 465 (1995) pp. 165–182|
|[a7]||A. Macintyre, "Twenty years of -adic model theory" , Logic Colloquium '84 , Amsterdam (1986) pp. 121–153|
|[a8]||A. Prestel, P. Roquette, "Formally -adic fields" , Lecture Notes in Mathematics , 1050 , Springer (1984)|
P-adically closed field. F.-V. Kuhlmann (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=P-adically_closed_field&oldid=14173