# On the image of $p$-adic logarithm on principal units

## TL;DR

This paper investigates the image of the $p$-adic logarithm on principal units in specific ramified extensions of $Q_p$, providing explicit descriptions in cases where the logarithm is not a bijection.

## Contribution

It computes the image of the $p$-adic logarithm on principal units for certain ramified extensions where the logarithm is not bijective, extending understanding beyond the well-known cases.

## Key findings

- Computed $ ext{log}_p(1+rak{m}_K)$ for $K=Q_p(zeta_p)$ with ramification index $p-1$.
- Determined the image of $ ext{log}_p$ for quadratic extensions of $Q_2$ with ramification indices 1 and 2.
- Extended the description of the $p$-adic logarithm's image in ramified cases where bijectivity fails.

## Abstract

The $p$-adic logarithm appears in many places in number theory. Hence having a good description of the image of the $p$-adic logarithm could be useful, and in particular, to figure out the image of $1 + \mathfrak{m}_K$, where $K$ is an algebraic extension of $\mathbb{Q}_p$ and $\mathfrak{m}_K$ its maximal ideal. If the ramification index of $K$ is strictly less than $p-1$ then it is well known that the $p$-adic logarithm is a bijection of $1+\mathfrak{m}_K$ onto $\mathfrak{m}_K$. If the ramification index is equal or greater than $p-1$ than the $p$-adic logarithm is no more a bijection and the situation is more complicated. Our main result is the computation of $\log_p(1+\mathfrak{m}_K)$ in two cases: \begin{enumerate} \item[$\bullet$] for $K=\mathbb{Q}_p(\zeta_p)$, with $\zeta_p^p=1$, totally ramified $p$-cyclotomic extension of $\mathbb{Q}_p$ (ramification index equal $p-1$) \item[$\bullet$] for $K$ a quadratic extension of $\mathbb{Q}_2$ (ramification index equal 1, 2). \end{enumerate}