On heights of p-ADIC dynamical systems

When we consider the properties of the iterates of a noninvertible endomorphism of a formal group, all the roots of iterates of the endomorphism are simple and the full commuting family contains both invertible and noninvertible series. Experimental evidence seems to suggest that for an invertible series to commute with a noninvertible series with only simple roots of iterates, two such commuting power series must be endomorphisms of a single formal group. Lubin proposed four conjectures to support this conjecture. In this paper, we provide answers to these four conjectures.