Galois extensions of height-one commuting dynamical systems

Abstract

We consider a dynamical system consisting of a pair of commuting power series under composition, one noninvertible and another nontorsion invertible, of height one with coefficients in the p-adic integers. Assuming that each point of the dynamical system generates a Galois extension over the base field, we show that these extensions are in fact abelian, and, using results from the theory of the field of norms, we also show that the dynamical system must include a torsion series. From an earlier result, this shows that the original two series must in fact be endomorphisms of some height-one formal group.