arXiv math/96082141996-08-15math.ACmath.LOmath.RA

Exponentiation in power series fields

Franz-Viktor Kuhlmann, Salma Kuhlmann, Saharon Shelah

发表信息：: Proc. Amer. Math. Soc. 125 (1997), 3177--3183

英文摘要：

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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

kappa-bounded Exponential-Logarithmic Power Series Fields

In math.AC/9608214 it was shown that fields of generalized power series cannot admit an exponential function. In this paper, we construct fields of generalized power series with bounded support which admit an exponential. We give a natural definition of an exponential, which makes these fields into models of real exponentiation. The method allows to construct for every kappa regular uncountable cardinal, 2^{kappa} pairwise non-isomorphic models of real exponentiation (of cardinality kappa), but all isomorphic as ordered fields. Indeed, the 2^{kappa} exponentials constructed have pairwise disti…

2005-12-10math.ACmath.LOmath.RA

Computing real powers of monomial ideals

This paper concerns the exponentiation of monomial ideals. While it is customary for the exponentiation operation on ideals to consider natural powers, we extend this notion to powers where the exponent is a positive real number. Real powers of a monomial ideal generalize the integral closure operation and highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the real powers of a monomial ideal. An important result is that given any monomial ideal $I$, the function taking real numbers to the corresponding real power of $I$ is a s…

2022-08-31math.AC

Wronskians and Linear Dependence of Formal Power Series

We give a new proof of the fact that the vanishing of generalized Wronskians implies linear dependence of formal power series in serveral variables. Our results are also valid for quotients of germs of analytic functions.

2016-10-29math.ACmath.RA

The Algebraic Closure of the Power Series Field in Positive Characteristic

We answer a question of Abhyankar by constructing an algebraic closure of the field of power series over a field of positive characteristic, using "generalized power series". (The corresponding construction in characteristic 0 dates back to Newton.)

1999-12-16math.ACmath.AGmath.RA

Power series and p-adic algebraic closures

In an earlier preprint (math.AG/9810142) we gave an explicit description of the algebraic closure of the field of power series over a field of characteristic p, in terms of "generalized power series". In this paper, we give an analogous description of the algebraic closure of the fraction field of the Witt ring of a field of characteristic p, using an analogue of generalized power series in mixed characteristic due to Poonen.

1999-12-16math.ACmath.AGmath.RA

关于多元形式幂级数的复合

On composition of muiltivariable formal power series

本文研究了多元形式幂级数的复合问题，给出了其充分必要条件，并提出了多元形式幂级数的广义链式法则。

2025-04-06math.AC

更多相关论文收起更多论文

Parameters Changes for Generalized Power Series

Introduction revised, representations of generalized power series reformulated, references updated.

2006-03-22math.ACmath.CO

On Kummer extensions of the power series field

In this paper we study the Kummer extensions of the power series field $K=k((X_1,...,X_n)$, where $k$ is an algebraically closed field of arbitrary characteristic.

2002-11-27math.AC

p-Fractals and power series--II. Some applications to Hilbert-Kunz theory

We use the results of our paper "p-Fractals and power series--I" (Journal of Algebra 280, 2004, pp. 505--536) to prove the rationality of the Hilbert-Kunz series of a large family of power series, including those of the form \sum_i f_i(x_i,y_i), where the f_i(x_i,y_i) are power series with coefficients in a finite field. The methods are effective, as we illustrate with examples. In the final section, which can be read independently of the others, we obtain more precise results for the Hilbert-Kunz function of the 3 variable power series z^D-h(x,y).

2005-08-06math.AC

Algebraic Generalized Power Series and Automata

A theorem of Christol states that a power series over a finite field is algebraic over the polynomial ring if and only if its coefficients can be generated by a finite automaton. Using Christol's result, we prove that the same assertion holds for generalized power series (whose index sets may be arbitrary well-ordered sets of nonnegative rationals).

2001-10-08math.AC

Gorenstein weak dimension of a coherent power series rings

We compute the Gorenstein weak dimension of a coherent power series rings over a commutative rings and we show that, in general, $\gwd(R) \leq 1$ does not imply that $R$ is an arithmetical ring.

2009-03-16math.AC

Power series over generalized Krull domains

We resolve an open problem in commutative algebra and Field Arithmetic, posed by Jarden -- Let R be a generalized Krull domain. Is the ring R[[X]] of formal power series over R a generalized Krull domain? We show that the answer is negative.

2008-10-06math.AC

Encoding algebraic power series

Algebraic power series are formal power series which satisfy a univariate polynomial equation over the polynomial ring in n variables. This relation determines the series only up to conjugacy. Via the Artin-Mazur theorem and the implicit function theorem it is possible to describe algebraic series completely by a vector of polynomials in n+p variables. This vector will be the code of the series. In the paper, it is then shown how to manipulate algebraic series through their code. In particular, the Weierstrass division and the Grauert-Hironaka-Galligo division will be performed on the level of…

2014-03-17math.AC

Finiteness results concerning algebraic power series

We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power series of bounded complexity lying on an algebraic variety defined over the field of power series.

2020-02-19math.ACmath.AGmath.NT

An irreducibility criterion for power series

We prove an irreducibility criterion for polynomials with power series coefficients generalizing previous known results concerning quasi-ordinary polynomials.

2016-05-18math.ACmath.AGmath.CV

Power Series with Coefficients from a Finite Set

We prove in this paper that a multivariate D-finite power series with coefficients from a finite set is rational. This generalizes a rationality theorem of van der Poorten and Shparlinski in 1996.

2016-06-15math.ACmath.CO

A radius of absolute convergence for power series in many variables

In this paper for power series in many (real or complex)variables a radius of (absolute) convergence is offered. This radius can be evaluated by a formula similar to Cauchy-Hadamard formula and in one variable case they are same.

2010-01-05math.ACmath.CV

Support of Laurent series algebraic over the field of formal power series

This work is devoted to the study of the support of a Laurent series in several variables which is algebraic over the ring of power series over a characteristic zero field. Our first result is the existence of a kind of maximal dual cone of the support of such a Laurent series. As an application of this result we provide a gap theorem for Laurent series which are algebraic over the field of formal power series. We also relate these results to diophantine properties of the fields of Laurent series.

2018-08-31math.ACmath.AGmath.CO

On the Jacobian ideal of a nondegenerate power series

Let f be a nondegenerate power series in several variables. We describe a condition for a polynomial g which implies that the product of g by the kth power of f is not contained in the Jacobian ideal of f.

2023-03-06math.ACmath.AGmath.CV