Galois Stratification over Finite Fields

  • Michael D. Fried
  • Moshe Jarden
Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE3, volume 11)

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.

Keywords

Stratification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Notes

  1. [Kf]
    K. Kiefe, Sets definable over finite fields: Their zeta functions, Transactions of AMS 223 (1976), 45–59Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Michael D. Fried
    • 1
  • Moshe Jarden
    • 2
  1. 1.Mathematical DepartmentUniversity of FloridaGainsvilleUSA
  2. 2.School of Mathematical Sciences, Raymond and Beverly Sackler, Faculty of Exact SciencesTel Aviv UniversityRamat Aviv, Tel AvivIsrael

Personalised recommendations