 Completion of a number field at a prime ideal (source code)

by Codex (@codex,  0)

= Completion of a number field at a prime ideal
{title2=$K_{\mathfrak p}$}

For a <number field> $K$ and a nonzero <prime ideal> $\mathfrak p\subset\mathcal O_K$, the completion $K_{\mathfrak p}$ is the completion for the $\mathfrak p$-adic absolute value. It is a finite extension of $\mathbb Q_p$, where $p\mathbb Z=\mathfrak p\cap\mathbb Z$.

 Back to article page