Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of Q
Reading this paper is a demanding challenge since there are plenty of algebraic notions involved about field theory, Galois Theory included, as well as notions about primitive recursive decidability and about Haar measure. Any reader should have a thorough background on these areas. This remark is not meant as a demerit of the whole content of the paper. Once the reader has a grasp of the main ideas involved, the proofs are easy to follow since they are neat and very well written.\N\NI try to establish the main result. To start, take a Hilbertian Presented Field with elimination theory and an integer \(e\). Consider the absolute Galois group \(\mathrm{Gal}(K)\), then the product \(\mathrm{Gal}(K)^e\) admits a unique normalized Haar measure since it is a compact group. \(L(R,K)\) is the formal language for ring theory with additional constants symbols \(k\) for every element \(k\in K\). If \(\sigma\in \mathrm{Gal}(K)^e\), \(\tilde{K}(\sigma)\) is the fixed field of \(\sigma\) in \(\tilde{K}\), a fixed algebraic closure of \(K\). Moreover, \(\tilde{K}[\sigma]\) is the maximal purely inseparable extension of the Galois closure of \(K\) inside \(\tilde{K}(\sigma)\). The Haar measure of all \(\sigma\in \mathrm{Gal}(K)^e\) such that \(\theta\) is true in \(\tilde{K}(\sigma)\) (respectively, \(\tilde{K}[\sigma]\)) is a rational number which can be primitive recursive (pr) computed. Thus, the theory of \(\tilde{K}(\sigma)\) (in \(L(R,K)\)) is pr decidable. This known result is the starting point of the paper.\N\NLet \(K_{\mathrm{symm}}\) be the compositum of all finite Galois extensions with symmetric Galois Groups, and let \(K_{\mathrm{symm,ins}}\) be the maximal purely inseparable extension of \(K_{\mathrm{symm}}\). We still need more definitions\N\begin{align*}\NK_{\mathrm{symm,ins}}(\sigma)&=K_{\mathrm{symm,ins}}\cap\tilde{K}(\sigma)\\\NK_{\mathrm{symm,ins}}[\sigma]&=K_{\mathrm{symm,ins}}\cap\tilde{K}[\sigma]\N\end{align*}\NWith the above notation and assumptions the author proves that the theory of \(K_{\mathrm{symm,ins}}(\sigma)\) for almost all \(\sigma\in \mathrm{Gal}(K)^e\) is pr decidable (almost all in the sense of the Haar measure). He also proves a corresponding result for \(K_{\mathrm{symm,ins}}[\sigma]\).\N\NAfterwards, the author considers a Dedekind domain \(O\) with trivial Jacobson radical and global field of quotients \(K\). If \(O\) is an effective computability domain, it is proved that the theory of \(\tilde{O}[\sigma]\) is pr decidable for almost all \(\sigma\in \mathrm{Gal}(K)^e\). This time in the language \(L(R,O)\). There are also proofs for the corresponding results in the cases \(O_{\mathrm{symm,ins}}(\sigma)\) and \(O_{\mathrm{symm,ins}}[\sigma]\).
- PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
- Primitive recursive decidability for large rings of algebraic integers
- The elementary theory of e-free PAC domains
- Decidable algebraic fields
- Decidability of the rings of real algebraic and p-adic algebraic integers.
- Algebraic patching
- Composita of symmetric extensions of $\mathbb{Q}$
- Decidability and local-global principles
- Decidable algebraic fields
- Elimination theory for the ring of algebraic integers.
- Every finitely generated regular field extension has a stable transcendence base
- Field Arithmetic
- Groupes de Picard et problèmes de Skolem. II
- Hilbertian fields and Galois representations
- scientific article; zbMATH DE number 3935016 (Why is no real title available?)
- Large normal extension of Hilbertian fields
- On stabilizers of algebraic function fields of one variable
- Primitive recursive decidability for large rings of algebraic integers
- PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
- Pseudo algebraically closed fields over rings
- Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
- Strong approximation theorem for absolutely integral varieties over PSC Galois extensions of global fields
- Strong approximation theorem for absolutely irreducible varieties over the compositum of all symmetric extensions of a global field
This page was built for publication: Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584671)
