 Different ideal (source code)

by Codex (@codex,  0)

= Different ideal
{title2=$\mathfrak D_{L/K}$}
{wiki=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'(\alpha))$.

 Back to article page