Exponentiation in power series fields
Franz-Viktor Kuhlmann, Salma Kuhlmann, Saharon Shelah
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.
Create a lesson
Related papers
On the Stable category of maximal Cohen-Macaulay modules over Gorenstein rings-II
Tony J. Puthenpurakal
Symbolic powers of the ideal ofn general points in Pn-1
Ralf Fröberg, Boris Shapiro
Density functions for filtrations of graded ideals
Suprajo Das, Hoang Le Truong
Finitistic injective dimension exceeding finitistic projective dimension for a commutative ring
Liang Chen
A criterion for determinantal presentations of numerical semigroup rings
Satoshi Murai, Kou Takahashi
Normality of ideals beyond the standard graded setting: families from numerical semigroup rings
Naoyuki Matsuoka