  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.

Number Theory