Galois stratification over Frobenius fields
A field K is called a PAC field if every absolutely irreducible variety defined over K has a K-rational point. If the absolute Galois group G(K) of an PAC field K has the 'embedding property' (i.e. to each two finite quotients A and B of G(K) and each two epimorphisms \(\sigma\) : G(K)\(\to A\) and \(\rho\) : \(B\to A\) there is an epimorphism \(\tau\) : G(K)\(\to B\) such that \(\rho \circ \tau =\sigma)\), then K is called a 'Frobenius field'. For several classes of Frobenius fields, the last author has proved the decidability of their elementary theories [Invent. Math. 38, 187-206 (1976; Zbl 0342.12104); the last author and \textit{U. Kiehne}, ibid. 30, 275-294 (1975; Zbl 0315.12107)]. In the present paper these results are strengthened by showing that the considered theories are even primitive recursively decidable. The proof uses the method of Galois stratification which is presented in this paper.
- Algebraic extensions of finite corank of Hilbertian fields
- An analogue of Čebotarev density theorem for fields of finite corank
- Computable Algebra, General Theory and Theory of Computable Fields
- Constructive normalization of an algebraic variety
- Diophantine Properties of Subfields of ~ Q
- Effective procedures in field theory
- Generic approach to the Galois embedding and extension problem
- scientific article; zbMATH DE number 3155247 (Why is no real title available?)
- scientific article; zbMATH DE number 3749141 (Why is no real title available?)
- scientific article; zbMATH DE number 1329869 (Why is no real title available?)
- scientific article; zbMATH DE number 3203821 (Why is no real title available?)
- scientific article; zbMATH DE number 3307642 (Why is no real title available?)
- scientific article; zbMATH DE number 3415992 (Why is no real title available?)
- scientific article; zbMATH DE number 3196341 (Why is no real title available?)
- scientific article; zbMATH DE number 3055967 (Why is no real title available?)
- scientific article; zbMATH DE number 3058859 (Why is no real title available?)
- NORMAL SUBGROUPS OF FREE PROFINITE GROUPS
- Projective Profinite Groups
- Solving diophantine problems modulo every prime
- Solving diophantine problems over all residue class fields of a number field and all finite fields
- Subgroups of free profinite groups and large subfields of Q
- The elementary theory of \(\omega\)-free \(Ax\) fields
- The elementary theory of algebraic fields of finite corank
- The elementary theory of finite fields
- The Nullstellensatz over \(\mathfrak p\)-adically closed fields
- Undecidability of some elementary theories over PAC fields
- The absolute Galois group of a pseudo real closed field with finitely many orders
- Frattini covers and projective groups without the extension property
- Embedding covers and the theory of Frobenius fields
- Effective counting of the points of definable sets over finite fields
- Galois stratification over e-fold ordered Frobenius fields
- Model theory of finite fields and pseudo-finite fields
- Definable sets, motives and p-adic integrals
- Dirichlet’s theorem for polynomial rings
- Transfer principles for pseudo real closed e-fold ordered fields
- scientific article; zbMATH DE number 1341805 (Why is no real title available?)
- Model Theory: Geometrical and Set-Theoretic Aspects and Prospects
- Decidable algebraic fields
- Elementary equivalence theorem for PAC structures
- PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
- THE EMBEDDING PROPERTY FOR SORTED PROFINITE GROUPS
- The elementary theory of normal Frobenius fields
- A measure for perfect PAC fields with pro-cyclic Galois group
- PAC fields over finitely generated fields
This page was built for publication: Galois stratification over Frobenius fields
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q759801)
