On the value group of the transseries (Q1979488)

Given a real closed field \((K, +, \cdot, <)\), the authors investigate the question of whether there exists an omega map, which is defined to be an ordered group isomorphism \(\Omega: (K, +, <) \to ({\mathfrak{M}}, \cdot, <)\), where \(\mathfrak{M} \subseteq K^{>0}\) is an embedded multiplicative copy of the value group. In previous work, the existence of such maps is resolved by the authors for fields of the form \(\mathbb{R}(({\mathfrak{M}}))_{\kappa}\), leaving open whether the field \(\mathbb{T}\) of LE-transseries admits an omega-map. The main result of the paper is that the value group of \({\mathbb{T}}\) is isomorphic to \({\mathbb{T}}\) itself as an additive ordered group, which is demonstrated by constructing an omega map from \({\mathbb{T}}\) to \({\mathfrak{M}}^{\text{LE}}\), the group of transmonials. To this end, the authors note that \({\mathbb{T}}\) is a subfield of \({\mathbb{R}}(({\mathfrak{M}}^{\text{LE}}))\), and any order isomorphism \({\mathfrak{M}}^{\text{LE}} \to {\mathfrak{M}}^{\text{LE},>1}\) induces an embedding of ordered \({\mathbb{R}}\)-vector spaces \({\mathbb{T}} \to {\mathbb{R}}(({\mathfrak{M}}^{\text{LE},>1}))\). The authors produce an order isomorphism \(\eta: {\mathfrak{M}}^{\text{LE}} \to {\mathfrak{M}}^{\text{LE},>1}\), which induces an isomorphism of ordered \({\mathbb{R}}\)-vector spaces \({\mathbb{T}} \to {\mathbb{T}} \cap {\mathbb{R}}(({\mathfrak{M}}^{\text{LE},>1}))\), which then induces the desired omega map.