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
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