Counting periodic points of p-adic power series

Lubin conjectures that for an invertible series to commute with a noninvertible series, there must be a formal group somehow in the background. Our main theorem gives us an effective method to compute the number of periodic points of these invertible series. It turns out that this computation lends support to the conjecture of Lubin.