Galois Stratification over Finite Fields
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.
KeywordsConjugacy Class Zeta Function Finite Field Total Degree Cyclic Subgroup
Unable to display preview. Download preview PDF.
- [Kf]K. Kiefe, Sets definable over finite fields: Their zeta functions, Transactions of AMS 223 (1976), 45–59Google Scholar