On the structure of nonarchimedean exponential fields. I (Q1893230)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the structure of nonarchimedean exponential fields. I
scientific article

    Statements

    On the structure of nonarchimedean exponential fields. I (English)
    0 references
    0 references
    11 September 1995
    0 references
    Given an ordered field \(K\), we are interested in the structure of its ordered additive group \((K,+, 0,<)\) and that of its ordered multiplicative group \((K^{>0}, \cdot, 1,>)\). To that end, we consider those groups as valued modules, for their natural (Krull) valuations. In section 2, we give a survey of the general theory on valued and ordered modules that we need. In section 3, we give lexicographic decompositions of \((K,+, 0,<)\), and of \((K^{>0}, \cdot, 1,<)\). We then proceed to compute the natural valuation and skeleton of \((K^{>0}, \cdot, 1,<)\) in terms of those of \((K,+, 0,<)\). We use this computation to provide necessary and sufficient conditions on the value group \(v(K)\) and residue field \(\overline {K}\), for the \(L_{\infty\omega}\)-equivalence of the above mentioned groups. In particular, we show that if \(K\) is root closed for positive elements, then its additive group of infinitesimals \(I_ v\) is always infinitary equivalent to its multiplicative group of 1-units \(1+I_ v\). We conclude that if \(K\) is countable, or if \(K\) is a power series field, then \(i_ v\) and \(I+I_ v\) are always isomorphic. We then apply the results to exponential fields. We describe \(v(K)\) in that case, and introduce the notion of an exponential group. Finally, if \(K\) is countable or a power series field, we derive necessary and sufficient conditions on \(v(K)\) and \(\overline {K}\) for \(K\) to be exponential. In the countable case, we get a structure theorem for \(v(K)\) and derive a construction method for all countable nonarchimedean exponential fields.
    0 references
    nonarchimedean ordered fields
    0 references
    infinitary equivalence
    0 references
    ordered field
    0 references
    ordered additive group
    0 references
    ordered multiplicative group
    0 references
    valued modules
    0 references
    valuations
    0 references
    ordered modules
    0 references
    exponential fields
    0 references
    countable nonarchimedean exponential fields
    0 references

    Identifiers

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