The module structure of ideals in degree $p$ extensions of $p$-adic fields

Abstract

Let $L/K$ be a degree $p$ extension of $p$-adic fields. We shall provide a complete characterization for the freeness of any fractional ideal $\mathfrak{p}_L^h$, $h\in\mathbb{Z}$, of $L$ as a module over its associated order $\mathfrak{A}_{L/K}(h)$ in the only Hopf-Galois structure on $L/K$, and an explicit description of $\mathfrak{A}_{L/K}(h)$. We show that there is no loss of generality in assuming that $0\leq h\leq p-1$ and that the normal closure of $L/K$ is totally ramified over $K$. If $L/K$ is maximally ramified, then $\mathfrak{A}_{L/K}(h)$ is the maximal $\mathcal{O}_K$-order in $H$ and $\mathfrak{p}_L^h$ is $\mathfrak{A}_{L/K}(h)$-free. The remaining cases correspond to typical extensions. For these, we provide an $\mathcal{O}_K$-basis of $\mathfrak{A}_{L/K}(h)$ and a characterization for the condition that $\mathfrak{p}_L^h$ is $\mathfrak{A}_{L/K}(h)$-free. In the non-exceptional cases, which had been partially studied in the Galois setting, the characterization depends on $h$ and the continued fraction expansion of $\frac{a}{p}$, where $a$ is the residue class mod $p$ of the (fractional) ramification jump $\ell$ of $L/K$. In the remaining exceptional case, where $L/K$ is almost maximally ramified and $a+1\leq h\leq p-1$, it consists in a numerical common minimizer condition.