Difference between revisions of "P-adically closed field"
(Importing text file) |
(→References: TeX, added bibliodata) |
||
Line 43: | Line 43: | ||
====References==== | ====References==== | ||
− | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Ax, S. Kochen, "Diophantine problems over local fields II" ''Amer. J. Math.'' , '''87''' (1965) pp. 631–648</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P. Cohen, "Decision procedures for real and | + | <table> |
+ | <TR><TD valign="top">[a1]</TD> <TD valign="top"> J. Ax, S. Kochen, "Diophantine problems over local fields II" ''Amer. J. Math.'' , '''87''' (1965) pp. 631–648</TD></TR> | ||
+ | <TR><TD valign="top">[a2]</TD> <TD valign="top"> P. Cohen, "Decision procedures for real and $p$-adic fields" ''Comm. Pure and Appl. Math.'' , '''22''' (1969) pp. 131–151</TD></TR> | ||
+ | <TR><TD valign="top">[a3]</TD> <TD valign="top"> J. Denef, "The rationality of the Poincaré series associated to the $p$-adic points on a variety" ''Invent. Math.'' , '''77''' (1984) pp. 1–23</TD></TR> | ||
+ | <TR><TD valign="top">[a4]</TD> <TD valign="top"> Yu.L. Ershov, "On the elementary theory of maximal normed fields" ''Soviet Math. Dokl.'' , '''6''' (1965) pp. 1390–1393 (In Russian)</TD></TR> | ||
+ | <TR><TD valign="top">[a5]</TD> <TD valign="top"> U. Jannsen, K. Wingberg, "Die Struktur der absoluten Galoisgruppe $\mathfrak p$-adischer Zahlkörper" ''Invent. Math.'' , '''70''' (1982) pp. 71–98 {{ZBL|0534.12010}}</TD></TR> | ||
+ | <TR><TD valign="top">[a6]</TD> <TD valign="top"> J. Koenigsmann, "From $p$-rigid elements to valuations (with a Galois-characterization of $p$-adic fields)" ''J. Reine Angew. Math.'' , '''465''' (1995) pp. 165–182</TD></TR> | ||
+ | <TR><TD valign="top">[a7]</TD> <TD valign="top"> A. Macintyre, "Twenty years of $p$-adic model theory" , ''Logic Colloquium '84'' , Amsterdam (1986) pp. 121–153</TD></TR> | ||
+ | <TR><TD valign="top">[a8]</TD> <TD valign="top"> A. Prestel, P. Roquette, "Formally $p$-adic fields" , ''Lecture Notes in Mathematics'' , '''1050''' , Springer (1984)</TD></TR> | ||
+ | </table> |
Revision as of 20:47, 9 April 2017
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
.
In many respects, the theory of -adically closed fields is similar to that of real closed fields (cf. Real closed field), see [a7].
Model theory.
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
![]() |
with
![]() |
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
![]() |
with
![]() |
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.
References
[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 $p$-adic fields" Comm. Pure and Appl. Math. , 22 (1969) pp. 131–151 |
[a3] | J. Denef, "The rationality of the Poincaré series associated to the $p$-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 $\mathfrak p$-adischer Zahlkörper" Invent. Math. , 70 (1982) pp. 71–98 Zbl 0534.12010 |
[a6] | J. Koenigsmann, "From $p$-rigid elements to valuations (with a Galois-characterization of $p$-adic fields)" J. Reine Angew. Math. , 465 (1995) pp. 165–182 |
[a7] | A. Macintyre, "Twenty years of $p$-adic model theory" , Logic Colloquium '84 , Amsterdam (1986) pp. 121–153 |
[a8] | A. Prestel, P. Roquette, "Formally $p$-adic fields" , Lecture Notes in Mathematics , 1050 , Springer (1984) |
P-adically closed field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=P-adically_closed_field&oldid=40926