Exponentiation in power series fields

DOI10.1090/S0002-9939-97-03964-6MaRDI QIDQ4372399zbMATH OpenFDO

Authors Franz-Viktor Kuhlmann, Salma Kuhlmann, S. Shelah

Publication date 11 December 1997

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9608214

zbMATH Keywords

convex valuationsnon-Archimedean ordered fieldsordered abelian groupordered exponential fieldspower series fields

Mathematics Subject Classification ID

Total orders (06A05) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Ordered fields (12J15) Non-Archimedean valued fields (12J25)

Abstract: We prove that for no nontrivial ordered abelian group G, the ordered power series field R((G)) admits an exponential, i.e. an isomorphism between its ordered additive group and its ordered multiplicative group of positive elements, but that there is a non-surjective logarithm. For an arbitrary ordered field k, no exponential on k((G)) is compatible, that is, induces an exponential on k through the residue map. This is proved by showing that certain functional equations for lexicographic powers of ordered sets are not solvable.

Review text

Aware of the deep classic algebra and analysis of the real numbers \(R\), the rich theory of real closed fields, and the many attractive properties of maximal valued fields, it was natural to ask if there is a non-zero, ordered abelian group \(G\) whose field of formal power series \(K: = R((G))\) has an order preserving isomorphism \(f\) of \((K, +, 0, <)\) onto \((K^{> 0}, \cdot, 1, <)\): i.e., if \(K\) ever has an exponential \(f\). The main theorem (theorem 1) of this paper is that the answer to a generalization of this question is no. (The authors know of many non-Archimedean ordered fields that have exponentials. See, e.g., their reference [A] [\textit{N. Alling}, Proc. Am. Math. Soc. 13, 706-711 (1962; Zbl 0136.32201)]. By Theorem 1 none of these fields are maximal.) Many interesting consequences are then considered by these very well-informed authors. The main technical result of the paper is Theorem 2. Reviewer's remark: The reviewer knows of no expert in this field who was not surprised by these results. The proof of Theorem 2 is noteworthy for its elegant method, which came as a complete surprise to the reviewer.

Recommendations

• Ordered exponential fields
• scientific article; zbMATH DE number 440484
• Value groups and residue fields of models of real exponentiation
• Comparison of exponential-logarithmic and logarithmic-exponential series
• On the structure of nonarchimedean exponential fields. II^*
• On the structure of nonarchimedean exponential fields. I
• Some Remarks on Exponential Functions in Ordered Fields
• On the value group of a model of Peano arithmetic
• Maximal ordered fields of rank n
• Maximal ordered fields of rank n. II

Cites work

• Eine nichtarchimedische Erweiterung angeordneter Körper
• Function Theory on Some Nonarchimedean Fields
• Functorial equations for lexicographic products
• scientific article; zbMATH DE number 3957253 (Why is no real title available?)
• scientific article; zbMATH DE number 3518914 (Why is no real title available?)
• scientific article; zbMATH DE number 1490036 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• Maximal fields with valuations. I, II
• Maximality and Ultracompleteness in Normed Modules
• On Exponentially Closed Fields
• On Ordered Division Rings
• On the structure of nonarchimedean exponential fields. I
• On the structure of nonarchimedean exponential fields. II^*

Cited in

(27)

• Some new results on ordered fields
• Series with general exponents
• Book review of: M. Aschenbrenner et al., Asymptotic differential algebra and model theory of transseries
• Liouville closed \(H\)-fields
• On the value group of the transseries
• On the value group of a model of Peano arithmetic
• Transseries and Todorov-Vernaeve's asymptotic fields
• \(\kappa\)-bounded exponential-logarithmic power series fields
• \(T\)-convex \(T\)-differential fields and their immediate extensions
• 2001 Annual Meeting of the Association for Symbolic Logic. University of Pennsylvania, Philadelphia, PA, March 10-13, 2001
• Comparison of exponential-logarithmic and logarithmic-exponential series
• Toward a model theory for transseries
• Hardy type derivations on fields of exponential logarithmic series
• 1997–98 Annual Meeting of the Association for Symbolic Logic
• Surreal numbers with derivation, Hardy fields and transseries: a survey. To the memory of Murray Marshall
• Transseries as germs of surreal functions
• Factorization in generalized power series
• scientific article; zbMATH DE number 937371 (Why is no real title available?)
• Models of true arithmetic are integer parts of models of real exponentation
• Surreal ordered exponential fields
• Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Lexicographic exponentiation of chains
• Exponential fields and Conway’s omega-map
• Logarithmic-exponential series
• Spherically complete models of Hensel minimal valued fields
• Restricted analytic valued fields with partial exponentiation

This page was built for publication: Exponentiation in power series fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372399)