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.

The inverse different isIt is an ${\mathcal{O}}_L$-submodule of $L$. Choose an integral basis $e_1,\dots ,e_n$ of a finite-index free submodule of ${\mathcal{O}}_L$. Nondegeneracy of the trace pairing gives a dual $K$-basis $e_1^{\ast },\dots ,e_n^{\ast }$, and the codifferent lies between two finitely generated full ${\mathcal{O}}_K$-lattices obtained from these bases. It is therefore a fractional ${\mathcal{O}}_L$-ideal.

Every algebraic integer has integral trace, so ${\mathcal{O}}_L\subseteq {\mathfrak{D}}_{L/K}^{-1}$. Consequently its inverseis contained in ${\mathcal{O}}_L$. It is thus an integral ${\mathcal{O}}_L$-ideal, called the different ideal.

Let $\alpha$ be a root ofThe polynomial is Eisenstein at $3$, so $E={\mathbb{Q}}_3(\alpha )$ is totally ramified of degree three and ${\mathcal{O}}_E={\mathbb{Z}}_3[\alpha ]$. Its discriminant isIts odd valuation makes $\Delta$ nonsquare in ${\mathbb{Q}}_3$, so the Galois group of an irreducible cubic shows that the splitting field $L$ has Galois group $S_3$. The quadratic extension obtained by adjoining $\sqrt{\Delta }$ is ramified, so $L/{\mathbb{Q}}_3$ is totally ramified. Thereforebecause the wild inertia group is the unique Sylow $3$-subgroup of $S_3$.

It remains to find the wild break. Sinceand ${\alpha }^2+1$ is a unit, the different ideal of $E/{\mathbb{Q}}_3$ has exponent $v_E(f^{\prime }(\alpha ))=3$. The extension $L/E$ is a tamely ramified quadratic extension and has different exponent one. The different in a tower therefore gives different exponentOn the other hand, the different exponent from ramification groups iswhere $b$ is the last index for which $G_b=A_3$. Thus $b=1$, and