A criterion for Lubin's conjecture

Abstract

We prove that a formulation of a conjecture of Lubin regarding two power series commuting for the composition is equivalent to a criterion of checking that some extensions generated by the nonarchimedean dynamical system arising from the power series are Galois. As a consequence of this criterion, we obtain a proof of Lubin's conjecture in a new case.