 p-adic logarithm

The $p$-adic logarithm is the convergent series $\log (1+x)={\sum }_{n\ge 1}(-1{)}^{n+1}{x}^n/n$ on a sufficiently small group of principal units.
It is locally inverse to the p-adic exponential function.