Free pseudo \(p\)-adically closed fields of finite corank (Q803207): Difference between revisions
From MaRDI portal
Latest revision as of 11:36, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Free pseudo \(p\)-adically closed fields of finite corank |
scientific article |
Statements
Free pseudo \(p\)-adically closed fields of finite corank (English)
0 references
1990
0 references
The main theorem of the paper under review extends some results of \textit{M. D. Fried} and \textit{M. Jarden} [Field arithmetic. Berlin: Springer (1986; Zbl 0625.12001)]. Let \(\bar K_1, \ldots,\bar K_{\ell}\) be \(p\)-adic closures of a field \(K\), \(\sigma_1, \ldots,\sigma_{\ell +m}\) be automorphisms in the absolute Galois group \(G(K)\) of \(K\) and \(\tilde K(\sigma_{\ell +1}, \ldots,\sigma_{\ell +m})\) be the fixed field of \(\sigma_{\ell +1}, \ldots,\sigma_{\ell +m}\) in the algebraic closure \(\tilde K\) of \(K\). The compact group \(G(K)^{\ell+m}\) is equipped with a unique normalized Haar measure (with respect to the Krull topology on \(G(K))\). The field \(K_{\sigma}=\bar K_1^{\sigma_1}\cap\cdots\cap \bar K_{\ell}^{\sigma_{\ell}}\cap \tilde K(\sigma_{\ell +1}, \ldots,\sigma_{\ell +m})\) is investigated. In order to obtain information about the \(K\)-isomorphism classes of \(p\)-adic closures of \(K\), the authors use extensively the theory of sites, developed in [\textit{D. Haran} and \textit{M. Jarden}, J. Reine Angew. Math. 383, 147--206 (1983; Zbl 0652.12010)]. It is proved that two \(\theta\)-sites on linearly disjoint extensions \(K_1,K_2\) of a field \(K\) which coincide on \(K\) extend to a \(\theta\)-site on the compositum \(K_1K_2\) (``Strong amalgamation property''). Then the class of \(P_pC\) fields with \(\ell\theta\)-sites is studied. The authors obtain a characterization theorem for such fields which resembles the characterization of \(p\)-adically closed fields in which the Hensel-Rychlik lemma holds and whose value group is a \(\mathbb Z\)-group. Finally, the main result of the paper, the intersection theorem about countable Hilbertian fields, is proved.
0 references
p-adic closures
0 references
absolute Galois group
0 references
sites
0 references
intersection theorem
0 references
countable Hilbertian fields
0 references