Nonarchimedean dynamical systems and formal groups

Abstract

We prove two theorems that confirm an observation of Lubin concerning families of $p$-adic power series that commute under composition: under certain conditions, there is a formal group such that the power series in the family are either endomorphisms of this group, or semi-conjugate to endomorphisms of this group.

9 pages. v3 : revised following referee's report