Ramification index of a prime ideal (source code)

= Ramification index of a prime ideal
{title2=$e_{\mathfrak p}$}

If $\mathfrak p$ is a prime ideal of $\mathcal O_K$ above a rational prime $p$, its ramification index is the exponent $e_{\mathfrak p}$ of $\mathfrak p$ in the factorization of $(p)$. Equivalently, for the normalized ideal valuation, $e_{\mathfrak p}=v_{\mathfrak p}(p)$.