Every smooth p-adic Lie group admits a compatible analytic structure

Abstract

We show that every finite-dimensional p-adic Lie group of class C^k admits a C^k-compatible analytic Lie group structure.Comment: LaTeX, 37 page