Elements of Finite Order in the Group of Formal Power Series Under Composition

arXiv1804.00059MaRDI QIDQ6299796FDOQ6299796

Authors: Marshall M. Cohen 

Publication date: 30 March 2018

Abstract: We consider formal power series $f(z)=omegaz+a_2{z}^2+ldots(omegaeq0)$, with coefficients in a field of characteristic $0$. These form a group under the operation of composition (= substitution). We prove (Theorem 1) that every element $f(z)$ of finite order is conjugate to its linear term $el{l}_{o}mega(z)=omegaz$, and we characterize those elements which conjugate $f(z)$ to $omegaz$. Then we investigate the construction of elements of order $n$ and prove (Theorem 2) that, given a primitive $n$'th root of unity $omega$ and an arbitrary sequence ${a_k}_{keqnj+1}$ there is a unique sequence ${a_{nj+1}}_{j=1}^{i}nfty$ such that the series $f(z)=omegaz+a_2{z}^2+a_3{z}^3+ldots$ has order $n$. Sections 1 - 5 give an exposition of this classical subject, written for the 2005 - 2006 Morgan State University Combinatorics Seminar. We do not claim priority for these results in this classical field, though perhaps the proof of Theorem 2 is new. We have now (2018) added Section 6 which gives references to valuable articles in the literature and historical comments which, however incomplete, we hope will give proper credit to those who have preceded this note and be helpful and of interest to the reader.

Mathematics Subject Classification ID

Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable (30D05) Formal power series rings (13F25)

This page was built for publication: Elements of Finite Order in the Group of Formal Power Series Under Composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6299796)