On finite intersections of ''Henselian valued'' fields (Q1069991)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On finite intersections of ''Henselian valued'' fields
scientific article

    Statements

    On finite intersections of ''Henselian valued'' fields (English)
    0 references
    0 references
    1985
    0 references
    The author considers fields \(K=H_ 1\cap \cdots \cap H_ n\) where \(H_ i\) is a Henselian extension of \(K\) with respect to a valuation ring \(A_ i\) for \(1\leq i\leq m\) and \(H_ i\) is a real closure of \(K\) with respect to a positive cone \(A_ i\) for \(m+1\leq i\leq n\). It is assumed that different \(A_ i's\) induce different topologies on K. In Section 1 among others a generalization of a theorem of Neukirch is given: \(K\) is dense in each \(H_ i\) (1\(\leq i\leq n).\) In Section 2 the author studies ''maximal'' intersections \(K=H_ 1\cap \cdots \cap H_ n\), i.e. for all \((\sigma_ 1,\ldots,\sigma_ n)\in Aut(\tilde K/K)^ n\), K equals also the intersection \(\sigma_ 1(H_ 1)\cap \cdots \cap \sigma_ n(H_ n)\). Maximal intersections are characterized by the following generalization of Hensel's lemma: Every monic and irreducible polynomial \(p\in (A_ 1\cap \cdots \cap A_ m)[X]\) which has a simple zero in every residue field \(\bar A_ i\) (1\(\leq i\leq m)\) and changes sign with respect to each \(A_ i\) \((m+1\leq i\leq n)\) is linear. It is also proved that many maximal intersections exist. In Section 3 it is shown that the absolute Galois group of a maximal intersection \(K\) which also satisfies a certain local-global principle for absolute irreducible K-varieties, is the free pro-p-product of the absolute Galois group \(G_ i\) of \(H_ i\) (1\(\leq i\leq n)\), provided all \(G_ i\) are pro-p-groups.
    0 references
    Henselian field
    0 references
    real closed field
    0 references
    absolute Galois group
    0 references
    maximal intersection
    0 references
    local-global principle
    0 references
    absolute irreducible K-varieties
    0 references
    free pro-p-product
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references