Different exponent ($d_{\mathfrak{P}}=v_{\mathfrak{P}}({\mathfrak{D}}_{E/K})$)

The different exponent at a prime ideal $\mathfrak{P}$ is its exponent in the prime ideal factorization of the different ideal. It equals the local different exponent of the corresponding extension of completions. The different exponent and tame ramification theorem detects unramified, tame, and wild behavior without assuming a Galois extension.

For $K_r={\mathbb{Q}}_p({\zeta }_{p^r})$, the uniformizer ${\zeta }_{p^r}-1$ has different exponent $p^{r-1}(r(p-1)-1)$. Differentiate the cyclotomic polynomial at ${\zeta }_{p^r}$: the numerator contributes $r{p}^{r-1}(p-1)$ to the valuation, while the denominator ${\zeta }_p-1$ contributes $p^{r-1}$.

For a finite extension of number fields, the different exponent satisfies $d_{\mathfrak{P}}\ge e_{\mathfrak{P}}-1$, with equality exactly when the extension at $\mathfrak{P}$ is tamely ramified. The finite residue fields are perfect, so tameness is equivalent to the residue characteristic not dividing the ramification index. Thus unramified primes have exponent zero and wildly ramified primes have exponent at least $e_{\mathfrak{P}}$. No Galois extension hypothesis is needed.