 Discriminant ideal

For the integral closure $S$ of a Dedekind domain $R$ in a finite separable extension, the discriminant ideal is locally generated bywhere $({\alpha }_i)$ is a local $R$-basis of $S$. Intrinsically it is the image of $({\det }_{R}S{)}^{\otimes 2}$ under the determinant of the trace pairing.