Hostname: page-component-586b7cd67f-rcrh6 Total loading time: 0 Render date: 2024-11-24T14:51:57.300Z Has data issue: false hasContentIssue false
  • English
  • Français

An expansion of F̃p

Published online by Cambridge University Press:  12 March 2014

Zoé Chatzidakis
Zoé Chatzidakis*
Affiliation:
Department of Mathematics, Princeton University, Princeton, New Jersey 08544
*
3 rue M. Peter, 75013 Paris, France
Get access Rights & Permissions [Opens in a new window]

Extract

Let K be a field of characteristic p. The map τ(X) = Xp − X is an additive endomorphism of K, with kernel Fp. The Galois extensions of K of order p are obtained by adjoining to K solutions to equations of the form Xp − X = a for some a in K. These extensions are called the Artin-Schreier extensions of K and have a cyclic Galois group.

The study of Artin-Schreier extensions is very important for studying fields of characteristic p, in particular for studying valued fields of the form K((t)). An attempt at getting quantifier elimination for those fields would necessitate the adjunction to the language of fields of a cross-section for the function τ, i.e. a function σ such that τ ∘ σ is the identity on the image of τ. When K = Fp, such a cross-section is in fact definable in K((t)): it associates to τ(x) the element of {x, x + 1, …, x + p – 1} whose constant term is 0 (see [2]). When K is infinite, such a cross-section is usually not definable.

The results presented in this paper originate from a question of L. van den Dries: is there a natural way of defining a cross-section σ for τ on F̃p, and is the theory of (F̃p, σ) decidable? (F̃p is the algebraic closure of Fp.)

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 54 , Issue 2 , June 1989 , pp. 512 - 521
Copyright
Copyright © Association for Symbolic Logic 1989

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

REFERENCES

[1]Ax, J., The elementary theory of finite fields, Annals of Mathematics, ser. 2, vol. 88 (1968), pp. 239–271.CrossRefGoogle Scholar
[2]Becker, J., Denef, J. and Lipshitz, L., Further remarks on the elementary theory of formal power series rings, Model theory of algebra and arithmetic (proceedings, Karpacz, 1979), Lecture Notes in Mathematics, vol. 834, Springer-Verlag, Berlin, 1980, pp. 1–9.CrossRefGoogle Scholar
[3]Fried, M. and Jarden, M., Field arithmetic, Springer-Verlag, Berlin, 1986.CrossRefGoogle Scholar
[4]Lang, S., Algebra, 2nd ed., Addison-Wesley, Reading, Massachusetts, 1984.Google Scholar
[5]Lang, S., Introduction to algebraic geometry, Addison-Wesley, Reading, Massachusetts, 1973.Google Scholar
[6]Lang, S. and Weil, A., Number of points of varieties in finite fields, American Journal of Mathematics, vol. 76 (1954), pp. 819–827.CrossRefGoogle Scholar
[7]Seidenberg, A., Constructions in algebra, Transactions of the American Mathematical Society, vol. 197 (1974), pp. 273–313.CrossRefGoogle Scholar
[8]van den Dries, L., Model theory of fields, Ph.D. thesis, University of Utrecht, Utrecht, 1978.Google Scholar