 Different ideal

For a finite separable extension of local fields, the different is the inverse fractional ideal of the codifferent. If ${\mathcal{O}}_L={\mathcal{O}}_K[\alpha ]$ and $f$ is the minimal polynomial of $\alpha$, then ${\mathfrak{D}}_{L/K}=(f^{\prime }(\alpha ))$.