Fields with continuous local elementary properties. II (Q1918779)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fields with continuous local elementary properties. II |
scientific article |
Statements
Fields with continuous local elementary properties. II (English)
0 references
17 February 1997
0 references
The article is a continuation of Part I [Algebra Logic 33, No. 6, 351-365 (1994); translation from Algebra Logika 33, No. 6, 628-653 (1994; Zbl 0845.12005)]. The analogue of theorem 3 from that paper is proved in section 2 for the case of fields in \(RC^*_E\) (with absolutely unramified valuation rings). Such fields, in contrast to maximal fields which have ``the smallest'' possible absolute Galois group, possess a ``large'' Galois group. In section 1 some necessary group-theoretic notions are developed. Let \(G\) be a profinite group and let \(\text{Subg} G\) be the set of all closed subgroups of \(G\). \({\mathbf S} {\mathbf u} {\mathbf b} {\mathbf g} G\) endowed with the natural topology is a Boolean space. The group \(G\) acts on \({\mathbf S} {\mathbf u} {\mathbf b} {\mathbf g} G\) by conjugation. A pair \({\mathbf G} = \langle G,D_G \rangle\), where \(G\) is a profinite group and \(D_G \subseteq {\mathbf S} {\mathbf u} {\mathbf b} {\mathbf g} G\) is a closed subset such that \(\Gamma^g \in D_G\) for all \(\Gamma \in D_G\), \(g \in G\), is called a \(\Delta^*\)-group. If \({\mathbf G}_0 = \langle G_0, D_{G_0} \rangle\) and \({\mathbf G}_1 = \langle G_1, D_{G_1} \rangle\) are \(\Delta^*\)-groups, then any continuous homomorphism \(\varphi : G_0 \to G_1\) such that \(\varphi (\Gamma) \in D_{G_1}\) for every \(\Gamma \in D_{G_0}\) is called a homomorphism from \({\mathbf G}_0\) to \({\mathbf G}_1\). A homomorphism \(\varphi : {\mathbf G}_0 \to {\mathbf G}_1\) is called an epimorphism if \(\varphi : G_0 \to G_1\) is an epimorphism and \(D_{G_1} = \{\varphi (\Gamma) \mid \Gamma \in D_{G_0}\}\). An epimorphism \(\varphi : {\mathbf G}_0 \to {\mathbf G}_1\) is called flat if \(\Gamma \cap \text{Ker} \varphi = \{e\}\) for all \(\Gamma\) from \(D_{G_0}\). If \({\mathbf G}\) is a \(\Delta^*\)-group, \(X({\mathbf G})\) denotes the space \(\pi_G (D_G) \subseteq \text{Subg}^*G\), and each homomorphism \(\varphi : {\mathbf G}_0 \to {\mathbf G}_1\) of \(\Delta^*\)- groups induces a continuous map \(\varphi_*: X ({\mathbf G}_0) \to X ({\mathbf G}_1)\). A flat epimorphism \(\varphi : {\mathbf G}_0 \to {\mathbf G}_1\) of \(\Delta^*\)-groups is called narrow if \(\varphi_*\) is a homeomorphism between \(X ({\mathbf G}_0)\) and \(X ({\mathbf G}_1)\). A \(\Delta^*\)-group \({\mathbf G}\) is called universal if, for every pair of epimorphisms \(\varphi_0 : {\mathbf G} \to {\mathbf G}_0\), \(\psi : {\mathbf G}_1 \to {\mathbf G}_0\), where \({\mathbf G}_1\) is finite and \(\psi\) is narrow, there exists an epimorphism \(\varphi_1 : {\mathbf G} \to {\mathbf G}_1\), satisfying \(\psi \varphi_1 = \varphi_0\). The concept of a \(\Gamma\)-group, developed by the author in \([PC_p\)-fields with universal Galois group, Sib. Adv. Math. 1, No. 4, 1-26 (1991)], is a special case of the notion of a \(\Delta^*\)-group. In the second section the class \(uRC^*_E\) is introduced. It is the class of pairs \(\langle F,R_W \rangle\) such that \(\langle F,R_W \rangle \in RC^*_E \subset R C^*_\exists\), \(R\) is absolutely unramified for all \(R \in W\), and \({\mathbf G} (F,W)\) is a universal \(\Delta^*\)-group. Theorem. Let \(\langle F_0, R_{W_0} \rangle\), \(\langle F_1, R_{W_1} \rangle \in u RC^*_E\), \(F_1\) be a regular extension of \(F_0\), and \(\langle F_0, R_{W_0}, J(R_{W_0}) \rangle \leq \langle F_1, R_{W_1}, J(R_{W_0}) \rangle\). Then (a) if \(\langle F_0, R_{W_0}, J(R_{W_0}) \rangle \preceq \langle F_1, R_{W_1}, J(R_{W_1}) \rangle\) then \(\overline R_{W_0} \preceq \overline R_{W_1}\) and \(\Gamma_{W_0} \preceq \Gamma_{W_1}\); (b) if \(\overline R_{W_0} \preceq \overline R_{W_1}\), \(\Gamma_{W_0} \preceq \Gamma_{W_1}\), and for every \(R_0 \in W_0\), the Galois group \(G(H_{R_0} (F_0))\) is small, then \(\langle F_0, R_{W_0}, J(R_{W_0}) \rangle \preceq \langle F_1, R_{W_1}, J(R_{W_1}) \rangle\).
0 references
continuous local elementary properties
0 references
\(\Delta^*\)-groups
0 references
fields
0 references
absolutely unramified valuation rings
0 references
absolute Galois group
0 references
profinite group
0 references