Factorisation de Ritt pour les polynômes exponentiels formels
We give an automata-theoretic description of the algebraic closure of the rational function field over a finite field , generalizing a result of Christol. The description occurs within the Hahn-Mal’cev-Neumann field of “generalized power series” over . In passing, we obtain a characterization of well-ordered sets of rational numbers whose base expansions are generated by a finite automaton, and exhibit some techniques for computing in the algebraic closure; these include an adaptation to positive...
We describe all those commutative Fréchet algebras which may be continuously embedded in the algebra ℂ[[X]] in such a way that they contain the polynomials. It is shown that these algebras (except ℂ[[X]] itself) always satisfy a certain equicontinuity condition due to Loy. Using this result, some applications to the theory of automatic continuity are given; in particular, the uniqueness of the Fréchet algebra topology for such algebras is established.
In this paper, we present a considerable simplification of the proof of a theorem by Gan and Knox, stating a sufficient and necessary condition for existence of a composition of two formal power series. Then, we consider the behavior of such series and their (formal) derivatives at the boundary of the convergence circle, obtaining in particular a theorem of Bugajewski and Gan concerning the structure of the set of points where a formal power series is convergent with all its derivatives.