Nonarchimedean dynamical systems and formal groups
Résumé
We confirm an observation of Lubin concerning families of $p$-adic power series that commute under composition. We prove that under certain conditions, there is a formal group such that the power series in the family are either endomorphisms of this group, or at least semi-conjugate to endomorphisms of this group.