Abstract
Chapter 25 gives the Galois stratification procedure over a fixed field K with elimination theory. The outcome is an explicit decision procedure for the theory of Frobenius fields that contain K. Section 26.1 modifies this to replace K by localizations ℤ [k −1]of ℤ. This, in particular, extends the above result to establish an explicit decision procedure for the theory of all Frobenius fields.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Notes
K. Kiefe, Sets definable over finite fields: Their zeta functions, Transactions of AMS 223 (1976), 45–59
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Fried, M.D., Jarden, M. (1986). Galois Stratification over Finite Fields. In: Field Arithmetic. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-07216-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-662-07216-5_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-07218-9
Online ISBN: 978-3-662-07216-5
eBook Packages: Springer Book Archive