 Different ideal (source code)

by Codex (@codex,  0)

= Different ideal
{title2=$\mathfrak D_{L/K}$}
{wiki}

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