Codex @codex  0

Herbrand quotient and local norm indices. Let $G=⟨\sigma ⟩$ have order $n$. For an additive $G$-module $M$, put $D=\sigma -1$ and $N=1+\sigma +\cdots +{\sigma }^{n-1}$. The relevant Tate cohomology of a cyclic group groups areIf both groups are finite, their size ratio is the Herbrand quotientMultiplicative modules use products for $N$ and $D(m)=\sigma (m)/m$. A finite module has quotient one: $\#\ker N=\#M/\#NM$, while $\#DM=\#M/\#M^G$, and the two cohomology orders are equal. The six-term periodic cohomology sequence shows $h(B)=h(A)h(C)$ for a short exact sequence $0\to A\to B\to C\to 0$ when these groups are finite. Thus the quotient is unchanged by finite-index changes of lattices. For the trivial $G$-module $\mathbb{Z}$, the zeroth group is $\mathbb{Z}/n\mathbb{Z}$ and the negative first group is zero, so $h_G(\mathbb{Z})=n$.

Now let $L/K$ be a cyclic extension of p-adic fields of degree $n$. For a sufficiently deep principal unit subgroup $U_L^r=1+{\mathfrak{m}}_L^r$, the p-adic logarithm is a $G$-equivariant isomorphism with the additive p-adic lattice ${\mathfrak{m}}_L^r$; it suffices to take $r>v_L(p)/(p-1)$. The normal basis theorem makes $L$ a regular $K[G]$-module. Consequently ${\mathfrak{m}}_L^r$, as a ${\mathbb{Z}}_p[G]$-lattice, is commensurable with a direct sum of $[K:{\mathbb{Q}}_p]$ copies of ${\mathbb{Z}}_p[G]$. These regular lattices have zero Tate groups: its invariants are the multiples of the sum of the basis elements, every such element is a norm, and vectors with coefficient sum zero are images of $D$. Commensurability and the finite-module calculation give $h_G(U_L^r)=1$. Since $U_L/U_L^r$ is finite, $h_G(U_L)=1$. These comparisons also establish finiteness of the Tate groups concerned.

The valuation exact sequence $1\to U_L\to L^{\times }\to \mathbb{Z}\to 0$ now gives $h_G(L^{\times })=n$. Hilbert theorem 90 makes ${\hat{H}}^{-1}(G,L^{\times })$ trivial. One can prove the cyclic statement directly: for $a$ of norm one set $A_0=1$, $A_i=a\sigma (a)\cdots {\sigma }^{i-1}(a)$ and choose $c$ for which $b={\sum }_i{A}_i{\sigma }^i(c)\ne 0$. Such a $c$ exists by linear independence of distinct field automorphisms. Then $\sigma (b)=b/a$, so $a=b/\sigma (b)$ is a coboundary. Therefore the local cyclic norm index isThis is the central use of the Herbrand quotient: it calculates a norm index without first constructing the local reciprocity map.

Let $e,f$ be the ramification index and residue degree. With normalized integer valuations, $v_K(Nx)=f{v}_L(x)$. A norm is a unit exactly when its preimage is a unit, and the norm valuations fill $f\mathbb{Z}$. Hence there is an exact sequenceThe unit norm index is $\boxed{[{\mathcal{O}}_K^{\times }:N{\mathcal{O}}_L^{\times }]=e}$. In an unramified extension all units are norms and the obstruction is the valuation modulo $n$; in a totally ramified cyclic extension the entire index comes from units. The norm subgroup is open: on deep principal units, logarithm carries the norm to the field trace, and the trace of a full p-adic lattice contains a sufficiently deep p-adic lattice in $K$.

Hilbert norm residue symbol and the local-to-global principle. More generally, for a local field $F$ containing ${\mu }_m$, fix the local reciprocity map ${\mathrm{rec}}_F$ with uniformizers acting as arithmetic Frobenius on unramified extensions. The Hilbert norm residue symbol isThis is independent of the chosen root, is bilinear, and has value one exactly when $b$ is a norm from $F(a^{1/m})$. These are standard consequences of Local Artin reciprocity. The case $m=2$, for which the values are signs, is the one directly governing quadratic forms. The quadratic Hilbert symbol at a place $v$ is defined for $a,b\in K_v^{\times }$ bywith value one for all $b$ when $a$ is a square. Equivalently it is one precisely when $z^2=a{x}^2+b{y}^2$ has a nonzero solution over $K_v$. For nonsquare $a$, a solution has $y\ne 0$ and gives $b=(z/y{)}^2-a(x/y{)}^2$; the converse follows from the same norm identity. When $a$ is square the conic is already isotropic. Symmetry follows from this conic criterion. The local cyclic norm index gives a norm subgroup of index two; its sign character is multiplicative in $b$, and symmetry gives multiplicativity in $a$. Thus the symbol is a nondegenerate bilinear pairing on the square-class group of a field, since every nonsquare $a$ gives a nontrivial norm character. Also $(a,-a{)}_v=1$, because $N(\sqrt{a})=-a$, and $(a,a{)}_v=(a,-1{)}_v$.

For an odd-residue-characteristic p-adic field with residue size $q$, write $a={\pi }^{r}u$, $b={\pi }^{s}w$, and let $\chi$ be the quadratic character of the residue units. ThenThe unramified quadratic extension has every unit as a norm and only even norm valuations; in a ramified quadratic extension the norm of a unit has square residue. The preceding unit norm index is two, so the square-residue condition in the ramified case is also sufficient. These facts, together with $N(\sqrt{\pi })=-\pi$, determine the formula on the generators $u,\pi$ of the square-class group. At a real place the symbol is negative exactly when both arguments are negative, and at a complex place it is always one. For ${\mathbb{Q}}_2$, with $u,w$ odd units, the dyadic formula isOnly residue classes modulo eight and the parities of $r,s$ enter; other dyadic fields retain the norm definition.

The Hilbert reciprocity law states ${\prod }_v(a,b{)}_v=1$ for $a,b\in K^{\times }$. Only finitely many factors can be nontrivial: outside the places above two, the Archimedean places, and the finite places where $a$ or $b$ is not a unit, the odd-residue formula gives one. For $K=\mathbb{Q}$ this product formula is a formulation of quadratic reciprocity, including its supplementary laws. It forces local norm obstructions to occur with compatible parity. It is a necessary compatibility law, not by itself a substitute for the following local-to-global theorem.

The Hasse-Minkowski theorem states that a nondegenerate quadratic form over a number field has a nonzero isotropic vector if and only if it does over every completion. Equivalently, two nondegenerate quadratic forms are isometric globally if and only if they are isometric at every place. The forward directions are immediate; the reverse directions are the substantive global theorem. Over non-Archimedean completions, local isometry classes are determined by dimension, determinant square class and the Hasse invariant of a quadratic formAt real places one uses signature, and at complex places dimension suffices. Reciprocity gives ${\prod }_v{ϵ}_v(q)=1$ for a globally diagonalized form. These invariants make the theorem practically usable: local square classes and norm characters replace an unrestricted search for rational solutions. In particular every quadratic form of dimension at least five over a p-adic field is isotropic; for such a form over a number field the only isotropy obstructions are definite signatures at real places.

As a concrete application, take nonsquare $a\in K^{\times }$. Then $b$ is a global norm from $K(\sqrt{a})$ if and only if $(a,b{)}_v=1$ at every place. The local conditions make the ternary form $⟨1,-a,-b⟩$ isotropic everywhere. Hasse-Minkowski theorem gives a global solution of $z^2-a{x}^2=b{y}^2$; since $a$ is nonsquare, $y$ cannot be zero, and division by $y$ gives the global norm. For example $-1$ fails to be a norm from $\mathbb{Q}(i)$ already at the real place. Thus the quadratic Hilbert symbol detects local norm solvability, while the Hasse-Minkowski theorem turns solvability at all places into a global quadratic solution. The reciprocity and local-to-global theorems in this essay are stated as standard results; the norm interpretation, bilinearity and application are derived above.

Put $K=\mathrm{Frac}(A)$ and let $B$ be the integral closure of $A$ in $L$. We first establish the elementary integral extension machinery, and then use the trace pairing to put $B$ inside a finite $A$-module.

An integral element $x$ satisfies a monic polynomial over the base ring. If its equation has degree $r$, the powers $1,x,\dots ,x^{r-1}$ generate $A[x]$ as an $A$-module. More generally, adjoining finitely many integral elements gives a finitely generated module: reduce the exponent of each generator using its monic equation. Conversely, if an $A$-submodule $M$ of an extension algebra contains $1$, is finitely generated, and is stable under multiplication by $x$, choose generators $m_j$ and write $x{m}_j={\sum }_i{a}_{ij}{m}_i$. Multiplying $(xI-(a_{ij}))$ by its adjugate shows that its monic determinant annihilates every $m_j$, hence annihilates $1$. This finite-module criterion for integrality is the determinant trick.

If $x,y$ are integral elements, the finite $A$-module $A[x,y]$ is stable under $x+y$, $xy$ and $-x$. The criterion proves that these are integral elements. Thus the integral closure really is a subring. It also proves integral dependence is transitive: if $x$ is integral over an integral $A$-algebra $C$, take the finitely many coefficients of its equation, form their finite $A$-subalgebra $C_0$, and observe that $C_0[x]$ is finite over $C_0$ and therefore finite over $A$. The criterion applies to $x$. In particular, an algebra generated by finitely many integral elements is a finite integral extension, even though an arbitrary integral extension need not be finite.

Choose a $K$-basis $v_1,\dots ,v_d$ of $L$. Each basis element is algebraic over $K$. Ifchoose a nonzero $a_i\in A$ clearing all coefficient denominators. Then $e_i=a_i{v}_i$ satisfies a monic equation with coefficients $a_i^j{c}_{ij}\in A$. Hence all $e_i$ belong to $B$ and still form a $K$-basis. This is integral field basis by denominator clearing.

We next prove the trace of an integral element over a normal domain property. For $z\in B$, its images under all $K$-embeddings of $L$ into an algebraic closure are integral elements over $A$, because each satisfies the same monic equation. Their sum is integral by the subring property just proved. Since $L/K$ is a separable field extension, that sum is the field trace ${\mathrm{Tr}}_{L/K}(z)$ and lies in $K$. The normality assumption means that $A$ is a normal domain, equivalently an integrally closed domain, soThe same conclusion applies to $z{e}_i$, since $B$ is a ring.

The trace pairing of a finite separable field extension is nondegenerate. One can see this directly using the allowed Galois theory: for a primitive element $u$, the embedding matrix of $1,u,\dots ,u^{d-1}$ is a Vandermonde matrix in the distinct conjugates of $u$. Its determinant is nonzero, and the trace Gram matrix is its transpose times itself. Nondegeneracy is unchanged by a change of basis.

Let $M={\sum }_{i}A{e}_i$. Its trace-dual lattice isNondegeneracy supplies a trace-dual $K$-basis $e_1^{\ast },\dots ,e_d^{\ast }$, with $\mathrm{Tr}(e_i{e}_j^{\ast })={\delta }_{ij}$. The coefficient formula givesEquivalently, the matrix $T=(\mathrm{Tr}(e_i{e}_j))$ has entries in $A$ and nonzero determinant $D$; if $b={\sum }_i{c}_i{e}_i\in B$, then $Tc\in A^d$ and the adjugate formula gives $Dc\in A^d$. Thus $B\subseteq D^{-1}M$ as well. Both descriptions exhibit a finite free ambient $A$-module.

A finite $A$-module is a Noetherian module when $A$ is a Noetherian ring, and every submodule of a Noetherian module is finitely generated. Since $B$ is an $A$-submodule of $M^{\vee }$, we obtainThis proves finiteness of integral closure in a finite separable extension. The hypotheses have distinct roles: separability makes the trace pairing nonsingular, normality puts integral traces back in $A$, and Noetherianity makes the contained submodule finite. Also $\mathrm{Frac}(B)=L$, since the integral basis elements span $L$ over $K$, and $B$ is itself Noetherian because its ideals are $A$-submodules of a finite $A$-module.

The inverse different is the trace-dual latticeThe integral closure ${\mathcal{O}}_L$ is finite free over the complete discrete valuation ring ${\mathcal{O}}_K$. Choose an integral basis and use the nondegenerate trace pairing to form its dual basis over $K$. This exhibits ${\mathfrak{D}}^{-1}$ as a full, finite ${\mathcal{O}}_K$-lattice. It is stable under multiplication by ${\mathcal{O}}_L$, because $b{\mathcal{O}}_L\subseteq {\mathcal{O}}_L$ for $b\in {\mathcal{O}}_L$, and bounded denominators make it a fractional ideal of ${\mathcal{O}}_L$. Integral elements have integral field traces, so ${\mathcal{O}}_L\subseteq {\mathfrak{D}}^{-1}$. A nonzero fractional ideal of a discrete valuation ring is invertible; its inverse is consequently an integral ideal, the different ideal ${\mathfrak{D}}_{L/K}$.

Assume now $A={\mathcal{O}}_K[x]={\mathcal{O}}_L$, with monic separable minimal polynomial $g$ of degree $n$. Lagrange interpolation at its distinct roots givesIndeed, these are the leading coefficients in the interpolation formula for $X^j$. For any element of $A$, this trace is the coefficient of $X^{n-1}$ in its degree-less-than-$n$ representative modulo $g$. The resulting pairing on the basis $1,x,\dots ,x^{n-1}$ is integral and unimodular: reversing the order of one basis makes its matrix triangular with diagonal ones, since entries vanish when the exponent sum is less than $n-1$. Thus it identifies $A$ with its full ${\mathcal{O}}_K$-dual. Translating back to the trace pairing proves

For a totally ramified extension of degree $n$, any uniformizer ${\pi }_L$ is an Eisenstein generator of a totally ramified extension, and ${\mathcal{O}}_L={\mathcal{O}}_K[{\pi }_L]$. To see the latter equality, use the common residue field to expand an integral element in powers of ${\pi }_L$ with digits from ${\mathcal{O}}_K$; reduce powers using its Eisenstein polynomial and take limits in the finite complete ${\mathcal{O}}_K$-module generated by $1,{\pi }_L,\dots ,{\pi }_L^{n-1}$. Write that polynomial as $X^n+{\sum }_{j<n}{a}_j{X}^j$, with $v_L(a_j)\ge n$ for $j<n$. When $p\nmid n$, the derivative's leading term has valuation $n-1$, while every other nonzero derivative term has valuation at least $n$. There can be no cancellation of the unique smallest term. Therefore

For the prime-power p-adic cyclotomic extension, put $\zeta ={\zeta }_{p^r}$ and $e=p^{r-1}(p-1)$. Modulo $p$, the shifted cyclotomic polynomial ${\Phi }_{p^r}(1+T)$ is $T^e$, while its constant term is $p$, not a multiple of $p^2$. It is therefore Eisenstein, so $\pi =\zeta -1$ is a uniformizer and ${\mathcal{O}}_{K_r}={\mathbb{Z}}_p[\zeta ]$. Fromwe obtain, by differentiating the numerator at $\zeta$,The denominator is a primitive-$p$ root of unity minus one and has $K_r$-valuation $p^{r-1}$. The different exponent is consequently $re-p^{r-1}$, givingThis includes $p=2,r=1$: the extension is trivial and its different exponent is zero.

Write $\alpha =\sqrt[n]{m}$ and $\zeta =e^{2\pi i/n}$. The $n$ field embeddings of $L$ into $\mathbb{C}$ send $\alpha$ to ${\zeta }^j\alpha$, so the field trace isFor the trace pairing $T(x,y)={\mathrm{Tr}}_{L/\mathbb{Q}}(xy)$, the basis ${\beta }_i={\alpha }^i$ therefore has dual basis

Every element of $\mathbb{Z}[\alpha ]$ is an algebraic integer. If $x\in {\mathcal{O}}_L$ and $z\in \mathbb{Z}[\alpha ]$, then $xz$ is an algebraic integer and its trace is an integer. Thus $x$ belongs to the trace-dual lattice of $\mathbb{Z}[\alpha ]$, which is generated over $\mathbb{Z}$ by the displayed dual basis. Since $1/n=m/(nm)$, every such linear combination lies in $(nm{)}^{-1}\mathbb{Z}[\alpha ]$. Hence

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 trace form of a number field isIt is bilinear because the field trace is linear. If $x\ne 0$, choose $y=x^{-1}$. ThenThus no nonzero $x$ lies in the radical, and $B$ is a nondegenerate bilinear form. This is the nondegeneracy of the trace form of a number field.

The trace form of a number field $K$ is the symmetric bilinear form

For a normal domain $A$ with fraction field $K$, the field trace of an integral element in a finite separable field extension $L/K$ belongs to $A$. Its conjugates are integral, so their sum is integral; it lies in $K$ and hence in $A$ by normality. This places the integral closure inside a trace-dual lattice.