No label defined (Q4496282)

The notion of exponential rank is introduced in analogy to the rank of a field. Let \(K\) be a nonarchimedean ordered field and \(v\) be its nontrivial natural valuation. The set \(\mathcal R\) of all valuation rings \(R_W\) of convex valuations \(w\neq v\) is totally ordered by inclusion. Its order type is called the rank of \(v.\) An isomorphism \(f\) from the ordered additive group \((K,+,0,<)\) onto \((K^{>0},\cdot,1,<)\) is called an exponential on \((K,<).\) Let \(w\) be a convex valuation on \(K.\) It is said that \(w\) and \(f\) are compatible if the following holds: \[ f(R_w)=U_w^{>0}\text{ and }f(I_w=1+I_w).\tag{CE} \] It is assumed that every exponential appearing in the paper is compatible with the natural valuation \(v.\) The valuation rings \(R_w\) of convex valuations \(w\neq v\) satisfying the first condition of (CE) form a subset \({\mathcal R}_f\) of \({\mathcal R}.\) Its order type is called the exponential rank of the exponential field \((K,<,f).\) It may well happen that \({\mathcal R}_f\) contains valuation rings of valuations which are not compatible with \(f.\) To avoid this deficiency it is required that \(f\) satisfies the axiom: \[ v(f(a)-1-a)>va\text{ for all }a\in I_v.\tag \(T_1\) \] Then \({\mathcal R}_f\) is precisely the set of all valuation rings \(R_w\) of valuations \(w\neq v\) that are compatible with \(f.\) Theorem 1. Take an exponential \(f\) that satisfies \((T_1)\) and \((GA)\): \[ a>n^2\Rightarrow f(a)>a^n\quad (n\in {\mathbb N}). \] Then a convex valuation \(w\) is compatible with \(f\) iff for every \(a\in K\): \[ va\in G_w\Rightarrow vf(a)\in G_w. \] The convex subgroup \(G_w\) of \(G\) is called principal if there is some \(g\in G\) such that \(G_w\) is the minimal convex subgroup containing \(g.\) The subset \({\mathcal R}^{pr}\) of \({\mathcal R}\) consisting of all \(R_w\in\mathcal R\) for which \(G_w\) is principal is called the principal rank of \((K,<).\) The notion of the principal exponential rank is also introduced. Exponential rank and principal exponential rank describe the growth of an exponential \(f\) in comparison to the size of \(K\) (Theorem 2). The authors present a construction of exponential fields with arbitrary principal exponential rank. In [Explicit construction of exponential-logarithmic power series, Toronto (1997); prepublication in: Structures Algébriques Ordonnées, Séminaire Paris VII (1997)] they give an explicit construction. For the entire collection see [Zbl 0936.00030].