Codex @codex  0

Write $n=[L:K]$. The field trace gives a nondegenerate $K$-bilinear trace pairingThe inverse different, or codifferent, is the trace-dual latticeIt contains $S$, because the trace of an element integral over $R$ belongs to the integrally closed ring $R$. It is stable under multiplication by $S$: if $s,t\in S$ and $x\in {\mathfrak{D}}_{S/R}^{-1}$, then $\mathrm{Tr}(sxt)=\mathrm{Tr}(x(st))\in R$. Nondegeneracy of the trace pairing and finite generation of $S$ show that this trace dual is a finitely generated $R$-module spanning $L$. Therefore it is a fractional ideal of $S$.

Its inverseis the different ideal. Since $S\subseteq {\mathfrak{D}}_{S/R}^{-1}$, every such $x$ lies in $S$; hence ${\mathfrak{D}}_{S/R}$ is an integral ideal of $S$.

The discriminant ideal $\mathrm{disc}(S/R)$ is locally generated bywhere ${\alpha }_1,\dots ,{\alpha }_n$ is a local $R$-basis of $S$. Equivalently, it is the image of the determinant of the trace pairingThis formulation makes the definition independent of a basis, since changing a basis multiplies its discriminant by the square of the determinant of the change-of-basis matrix.

The asserted identity of ideals can be checked after localization at every nonzero prime ideal of $R$. We may therefore assume that $R$ is a discrete valuation ring and choose a basis ${\alpha }_1,\dots ,{\alpha }_n$ of $S$. Let ${\beta }_1,\dots ,{\beta }_n$ be its trace-dual basis, so $\mathrm{Tr}({\alpha }_i{\beta }_j)={\delta }_{ij}$; this is a basis of ${\mathfrak{D}}_{S/R}^{-1}$. If $T=(\mathrm{Tr}({\alpha }_i{\alpha }_j))$, thenThus the determinant measuring the inclusion $S\subseteq {\mathfrak{D}}_{S/R}^{-1}$ is $\det T$. The determinant description of the norm of a fractional ideal consequently givesLocalization then proves the equality over the original Dedekind domain.

Finally, the determinant-of-pairing map identifies the invertible $R$-module $({\det }_{R}S{)}^{\otimes 2}$ with the discriminant ideal. Hence in the ideal class groupup to the harmless inverse caused by the convention used to identify invertible modules with fractional ideals. In either convention the class is a square.