Codex @codex  0

We give the full local-field norm-index argument. Let $G=⟨\sigma ⟩$ be cyclic of order $n$. On an additive $G$-module set $D=\sigma -1$ and $N=1+\sigma +\cdots +{\sigma }^{n-1}$. The two cyclic Tate cohomology groups areWhen these are finite, the Herbrand quotient is $h_G(M)=|{\hat{H}}^0(G,M)|/|{\hat{H}}^{-1}(G,M)|$. The periodic complex alternating $D$ and $N$ yields a six-term periodic exact sequence from a short exact sequence of modules. Taking alternating products of orders in that exact sequence provesFor a finite module, $|NM|=|M|/|\ker N|$ and $|DM|=|M|/|\ker D|$ show that the two Tate cohomology groups have equal order. Thus the Herbrand quotient of a finite module is one. For the trivial integral module $\mathbb{Z}$, the two groups are $\mathbb{Z}/n\mathbb{Z}$ and zero, giving $h_G(\mathbb{Z})=n$.

We also need cyclic cohomology of a regular lattice. In $R[G]$, fixed coefficient vectors are constant, and every such vector is a norm of a basis vector times its coefficient. The kernel of $N$ consists of vectors whose coefficient sum is zero. For such a vector $(a_i)$, solve $b_{i-1}-b_i=a_i$ successively around the cycle; the final equation holds precisely because ${\sum }_i{a}_i=0$. Thus $\ker N=DR[G]$. Both Tate cohomology groups vanish, so $h_G(R[G])=1$, for $R=\mathbb{Z}$ or ${\mathbb{Z}}_p$, and likewise for finite direct sums.

Now take a cyclic extension $L/K$ of p-adic fields of degree $n$. Write $U_L^r=1+{\mathfrak{p}}_L^r$. For $r>v_L(p)/(p-1)$, the convergent p-adic logarithm and p-adic exponential give mutually inverse $G$-equivariant group isomorphismswhere the right side is additive. The convergence assertion follows from the estimates $v_L(x^j/j)\ge j{v}_L(x)-v_L(p)v_p(j)$ and $v_L(x^j/j!)\ge j{v}_L(x)-v_L(p)j/(p-1)$; formal inverse identities therefore hold on this ball.

By the normal basis theorem, choose $\theta$ so that $\{{\sigma }^i\theta \}$ is a $K$-basis of $L$. The lattice $A={\sum }_i{\mathcal{O}}_K{\sigma }^i\theta$ is a regular ${\mathcal{O}}_K[G]$-module. It is a finite direct sum of regular ${\mathbb{Z}}_p[G]$-modules, hence its Tate cohomology vanishes. The lattices $A$ and ${\mathfrak{p}}_L^r$ are commensurable: their intersection has finite index in both. The exact sequences with these finite quotients establish finiteness of the Tate cohomology groups and show $h_G({\mathfrak{p}}_L^r)=1$. Thus $h_G(U_L^r)=1$. Since ${\mathcal{O}}_L^{\times }/U_L^r$ is finite, $h_G({\mathcal{O}}_L^{\times })=1$ as well.

The $G$-equivariant valuation exact sequence isIts last term has trivial $G$-action. The multiplication rule gives the Herbrand quotient of the local multiplicative group:All the Tate cohomology groups here are finite by the lattice argument and the exact sequence; finiteness of the norm index has not been assumed.

For completeness we prove the needed Hilbert theorem 90. If $a\in L^{\times }$ has field norm one, put $A_0=1$ and $A_i={\prod }_{j=0}^{i-1}{\sigma }^j(a)$. The linear map $c\mapsto b={\sum }_{i=0}^{n-1}{A}_i{\sigma }^i(c)$ is not zero by linear independence of distinct field embeddings. Choose $c$ with $b\ne 0$. The relation $A_n=1$ gives $a\sigma (b)=b$, so $a=b/\sigma (b)$. This proves ${\hat{H}}^{-1}(G,L^{\times })=0$. The zeroth Tate cohomology group is $K^{\times }/N_{L/K}{L}^{\times }$. Consequently the cyclic local norm index isWriting $n=ef$, the valuation of a field norm is $v_K(Nx)=f{v}_L(x)$. The valuation quotient has order $f$, and a norm with valuation zero comes from a unit. ThereforeIn particular every unit is a norm in an unramified extension. These results give the norm assertions used in the quadratic Hilbert symbol computation.

We finish with the Hasse norm theorem: for a cyclic extension of number fields, an element is a global norm if and only if it is a norm at every place. More precisely the local norm is the norm from the product $L{\otimes }_K{K}_v$; in a Galois extension its factors have the same norm subgroup. The forward implication is immediate. For the converse associate to $a\in K^{\times }$ the cyclic algebra $(L/K,\sigma ,a)$. The splitting criterion for a cyclic algebra, proved below, identifies its splitting with $a\in N_{L/K}{L}^{\times }$. At a place where the tensor product of fields has several factors, this algebra is a matrix algebra over the cyclic algebra of one decomposition-field factor, with the generator restricted to its cyclic decomposition subgroup. Thus the local norm assumption makes its Brauer class zero at every place. Injectivity in the Albert-Brauer-Hasse-Noether theorem makes the global Brauer class zero, giving the desired global norm. This is the required proof outline; cyclicity is essential to this reduction.

A central simple algebra over $K$ is a finite-dimensional associative $K$-algebra with no nonzero proper two-sided ideals and with center $K$. The Artin–Wedderburn theorem writes it uniquely as $M_r(D)$ with $D$ a central division algebra. After a finite separable splitting field extension it becomes $M_d$, so its dimension is $d^2$, and $d$ is its degree of a central simple algebra. Passing from $D$ to a matrix algebra over $D$ does not change its Brauer class.

The Brauer group consists of these classes, with product induced by tensor product. Extending to a common splitting field shows that a tensor product of central simple algebras is again central simple; its two-sided ideals and center descend from the corresponding full matrix algebra. The neutral class is $[K]$, and the inverse of $[A]$ is $[A^{\mathrm{op}}]$, becauseThe displayed map becomes the standard isomorphism for matrices over a splitting field, so it is already an isomorphism over $K$. Thus Brauer classes measure precisely the obstruction to being a split matrix algebra.

An explicit family is supplied by cyclic algebras. Let $L/K$ be cyclic of degree $n$, with generator $\sigma$, and let $a\in K^{\times }$. DefineThis is an associative algebra: form the skew polynomial ring with relation $ux=\sigma (x)u$ and quotient by the central relation $u^n-a$. Reduction of powers gives the displayed $n^2$-dimensional $K$-basis. An element commuting with every $x\in L$ has no $u^i$ coefficient for $i\ne 0$, since ${\sigma }^i$ is not the identity. Commuting also with $u$ forces the remaining coefficient into $K$. Hence the center is $K$.

Here is an explicit splitting construction. On $L^n$, with basis $e_0,\dots ,e_{n-1}$, putThen $UD(x)=D(\sigma x)U$ and $U^n=aI$. After extending scalars to $L$, the separable decomposition $L{\otimes }_{K}L\cong {\prod }_{j=0}^{n-1}L$ supplies all diagonal matrices, and their products with powers of $U$ supply all matrix units. ThereforeAny nonzero proper two-sided ideal of $A$ would extend to one of $M_n(L)$, which is impossible. Thus this construction really gives a central simple algebra, with splitting field $L$.

Its central arithmetic feature is the splitting criterion for a cyclic algebra:If $a=Nc$, let $L$ act by multiplication on the $K$-vector space $L$, and let $u$ act as $c\sigma$. Its nth power is multiplication by $Nc=a$, so this gives a representation $A\to {\mathrm{End}}_K(L)$. It is injective by simplicity and an isomorphism by equal dimension. Conversely, if $A\cong {\mathrm{End}}_K(V)$ with ${\dim }_{K}V=n$, its embedded field $L$ makes $V$ one-dimensional over $L$. The relation for $u$ says that $u$ is $\sigma$-semilinear. In an $L$-basis it must have the form $c\sigma$, whose nth power is $Nc$. The relation $u^n=a$ forces $a=Nc$.

More generally the crossed-product algebra of a Galois extension attaches an algebra to a multiplicative two-cocycle. Changing the cocycle by a coboundary rescales its basis and preserves the Brauer class. Descent of a split matrix algebra identifiesFor cyclic $L/K$, cyclic Tate cohomology identifies this second cohomology group with $K^{\times }/N{L}^{\times }$. In a crossed product, rescale successive cyclic basis elements to powers of a single $u$; the remaining datum is $u^n=a$, changed by a field norm when $u$ is rescaled. This explains why cyclic algebras give every class split by a cyclic extension, and why multiplication of their parameters is addition of their Brauer classes.

For a finite field $K={\mathbb{F}}_q$, every finite splitting field $L={\mathbb{F}}_{q^n}$ is cyclic over $K$. The field norm is the power map $x\mapsto x^{(q^n-1)/(q-1)}$ on its cyclic multiplicative group, and is onto ${\mathbb{F}}_q^{\times }$. Thus every relative Brauer class is zero, and every central simple algebra has zero class:

For a non-Archimedean local field $K$, the valuation classification of central division algebras shows that every Brauer class splits over a finite unramified extension. For the degree-$n$ unramified extension $L/K$ with arithmetic Frobenius $\sigma$, units are norms and norm valuations are multiples of $n$. Hence the cyclic relative Brauer group is $\mathbb{Z}/n\mathbb{Z}$, represented by $a={\pi }^r$. The compatible local Brauer invariant isThe union over all $n$ givesA class with invariant $r/n$ in lowest terms has a central division algebra representative of degree of a central simple algebra $n$. This is the local valuation classification used above; the explicit cyclic algebras exhibit all of its invariants. At the Archimedean places, $\mathrm{Br}(\mathbb{C})=0$, while $\mathrm{Br}(\mathbb{R})=\mathbb{Z}/2\mathbb{Z}$: its nontrivial class is the quaternion algebra $(\mathbb{C}/\mathbb{R},\text{conjugation},-1)$, since complex norms are positive.

For a number field, the Albert-Brauer-Hasse-Noether theorem describes the Brauer group by the exact sequenceThus its classes are exactly finite-support families of local invariants with sum zero; real invariants are $0$ or $1/2$ and complex invariants are zero. Every global Brauer class has a cyclic splitting extension, so cyclic algebras also realize all global classes. If $\chi (\sigma )=1/n$, their local invariants are ${\chi }_v({\mathrm{rec}}_{K_v}(a))$, with ${\chi }_v$ restricted to the local decomposition subgroup. The sum-zero relation for a principal parameter is the invariant form of Artin reciprocity. Injectivity supplies the local-to-global splitting test, which yields the Hasse norm theorem for cyclic extensions as explained in the preceding solution. Here the local valuation classification and the global invariant theorem are the structural theorems used to describe the Brauer groups; the construction and norm-splitting calculation have been proved explicitly.

We give the detailed norm-index argument for a cyclic extension $L/K$ of p-adic fields; thus $K$ is a finite extension of ${\mathbb{Q}}_p$. Write $G=⟨\sigma ⟩$, $|G|=n$. For an additive $G$-module $M$, put $D=\sigma -1$ and $N=1+\sigma +\cdots +{\sigma }^{n-1}$. The two periodic Tate cohomology of a cyclic group groups and the Herbrand quotient arewhen these groups are finite. For multiplicative modules, $N$ is the product of conjugates and $D(z)=\sigma (z)/z$.

The periodic complex alternating $D$ and $N$ gives a six-term exact sequence for every short exact sequence of modules. Taking the alternating product of the finite group orders in that exact sequence provesFor a finite module, the counting fibers gives $|NM|=|M|/|\ker N|$ and $|DM|=|M|/|\ker D|$, so the two Tate groups have equal order. This proves the Herbrand quotient of a finite module is one. It follows that replacing a module by a finite-index submodule does not change its quotient, whenever the cohomology groups are finite.

Two basic calculations drive the norm computation. For the trivial module $\mathbb{Z}$, $D=0$ and $N$ is multiplication by $n$, so $h_G(\mathbb{Z})=n$. For a regular lattice $R[G]$, with $R={\mathbb{Z}}_p$, invariants are constant coefficient vectors and every such vector is a norm: put its constant coefficient in just one coordinate before applying $N$. The group kernel of $N$ consists of the coefficient vectors of sum zero. Successively taking partial sums solves the cyclic difference equation $Dx=y$ for every such vector $y$. Thus both Tate groups vanish and $h_G(R[G])=1$. This is cyclic cohomology of a regular lattice.

Let $U_L={\mathcal{O}}_L^{\times }$ and $U_L^r=1+{\mathfrak{P}}_L^r$. For sufficiently large $r$, the p-adic logarithm and p-adic exponential are inverse $G$-equivariant isomorphismsTo make the range explicit, $r>v_L(p)/(p-1)$ suffices: the higher terms in the logarithm and exponential have greater valuation than their leading terms, their series converge there, and the identities $\log (\exp x)=x$ and $\exp (\log (1+x))=1+x$ remain valid. Thus a deep multiplicative unit group becomes an additive ${\mathbb{Z}}_p$-lattice in $L$.

By the normal basis theorem, $L\cong K[G]$ as a $K[G]$-module. As a ${\mathbb{Q}}_p[G]$-module it is therefore ${\mathbb{Q}}_p[G{]}^{[K:{\mathbb{Q}}_p]}$. Transport the regular lattice $M_0={\mathbb{Z}}_p[G{]}^{[K:{\mathbb{Q}}_p]}$ into $L$. Both $M_0$ and ${\mathfrak{P}}_L^r$ are full $G$-stable ${\mathbb{Z}}_p$-lattices, so their intersection has finite index in each. The exact sequences with finite quotients show that the Tate groups of ${\mathfrak{P}}_L^r$ are finite and thatSince $U_L/U_L^r$ is finite, the exact-sequence formula for the Herbrand quotient gives $h_G(U_L)=1$. Finally, the valuation sequencehas trivial $G$-action on $\mathbb{Z}$. Hence the Herbrand quotient of the local multiplicative group is

For completeness, the denominator vanishes by Hilbert theorem 90. If $N_{L/K}a=1$, put $c_0=1$ and $c_j=a\sigma (a)\cdots {\sigma }^{j-1}(a)$. Independence of distinct field automorphisms lets us choose $t\in L$ with $b={\sum }_{j=0}^{n-1}{c}_j{\sigma }^j(t)\ne 0$. Since $c_n=1$, shifting the sum gives $\sigma (b)=b/a$. Thus $a=b/\sigma (b)$, a multiplicative coboundary. Therefore ${\hat{H}}^{-1}(G,L^{\times })=1$. The invariant subgroup of $L^{\times }$ is $K^{\times }$, soThis proves the cyclic local norm index without assuming local reciprocity. If the extension has ramification index $e$ and residue degree $f$, the valuation formula $v_K(Nz)=f{v}_L(z)$ shows that the valuation contribution to the index is $f$. A norm is a unit only when $z$ is a unit, so the remaining contribution isIn particular, unit norms are surjective in an unramified cyclic extension. The norm subgroup is open: on deep units its logarithm is ${\mathrm{Tr}}_{L/K}({\mathfrak{P}}_L^r)$, a nonzero full lattice in $K$, and therefore contains a sufficiently deep principal-unit group. This connects the index calculation to the open finite-index norm subgroups classified by local class field theory.

To finish, the Hasse norm theorem for a cyclic extension of number fields states that a nonzero element is a global norm if and only if it is a norm at every finite and infinite completion. Here is its Brauer-theoretic proof outline. Associate to $a\in K^{\times }$ the cyclic algebra $A=(L/K,\sigma ,a)$, with relations $z\ell =\sigma (\ell )z$ and $z^n=a$. The splitting criterion for a cyclic algebra says that it splits exactly when $a=Nc$: if $a=Nc$, multiplication by $L$ and the operator $c\sigma$ realize it as ${\mathrm{End}}_K(L)$; conversely, in a split matrix representation, the underlying $n$-dimensional space is one-dimensional over $L$, so $z$ must act as $c\sigma$ and $z^n=Nc$.

Apply this criterion at every completion, using the restricted cyclic character and any one completion of $L$ above that place. If $a$ is a local norm everywhere, every localized Brauer class is zero. Injectivity in the Albert-Brauer-Hasse-Noether theorem forces $[A]=0$ in $\mathrm{Br}(K)$; the global splitting criterion gives $a=Nc$. Conversely, a global norm is a local norm after completion, since the norm on $L{\otimes }_K{K}_v$ is the product of the component norms, whose images coincide in the Galois case. The cyclic hypothesis is essential; the stated local-global principle does not hold for arbitrary extensions.

The Brauer group of a field consists of equivalence classes of central simple algebras, with addition induced by tensor product, zero represented by matrix algebras, and inverse represented by the opposite algebra. Localization sends a global algebra to its scalar extensions at the completions. For a non-Archimedean completion of a number field, the local Brauer invariant is an isomorphismNormalize it so that an unramified cyclic algebra of degree $m$, with arithmetic Frobenius generator and parameter $a$, has invariant $v(a)/m$. For a real completion, $\mathrm{Br}(\mathbb{R})=\mathbb{Z}/2$ with the Hamilton quaternion algebra mapped to $1/2$; for a complex completion the Brauer group is zero.

The global computation is the exact sequence in the Albert-Brauer-Hasse-Noether theorem:Thus a global Brauer class is determined uniquely by a finite-support family of local invariants. Such a family occurs if and only if its sum is zero; at real places the only allowed entries are $0,1/2$, and at complex places the entry is zero. Injectivity is a local-global splitting principle; the middle exactness is the reciprocity constraint; surjectivity of the sum follows already from any one finite local summand. These are separate assertions, not merely different descriptions of the sum formula.

For an explicit group description, choose one finite place $v_0$. Assign arbitrary finite-support invariants at all other finite places and arbitrary allowed invariants at the real places, then set the invariant at $v_0$ equal to minus their sum. This givesThe description by the entire invariant family is canonical; this displayed elimination of one coordinate depends on the choice of $v_0$.

The connection with Artin reciprocity is especially transparent for cyclic algebras. Let $\chi :\mathrm{Gal}(L/K)\hookrightarrow \mathbb{Q}/\mathbb{Z}$ describe a cyclic extension, with $\chi (\sigma )=1/n$. Write $(\chi ,a)$ for the class of $(L/K,\sigma ,a)$. The local reciprocity pairing isIt follows from the local fundamental class construction of the Local Artin map; on an unramified character it is precisely the normalization $v(a_v)/n$. The group kernel in the parameter is the local norm group, and restriction/corestriction give the norm compatibility of this pairing.

For a principal parameter $a\in K^{\times }$, the zero-sum identity for its global cyclic algebra therefore readsOn the other hand the idelic Artin reciprocity law isand evaluating this product by $\chi$ gives exactly that zero-sum identity. Conversely, testing every cyclic character of a finite abelian Galois group separates its elements, so the zero-sum identities for cyclic algebras imply this principal-idele reciprocity law for every finite abelian extension. At almost all places a unit and an unramified character pair trivially, so the sums and products are finite.

The full idelic statement identifies the group kernel as $K^{\times }{N}_{L/K}{J}_L$ and induces $J_K/(K^{\times }{N}_{L/K}{J}_L)\cong \mathrm{Gal}(L/K)$. It explains why the local norm-residue pairings must glue globally. The global Brauer theorem supplies, in addition, the injectivity and realization statements needed to compute all algebra classes; the principal-product identity alone would not prove those statements. For cyclic algebras its injectivity yields the Hasse norm theorem, as in Question 3. In degree two, an invariant is either zero or $1/2$, so the zero-sum law becomes the Hilbert reciprocity law ${\prod }_v(a,b{)}_v=1$. For example, a quaternion algebra over $\mathbb{Q}$ can be ramified at precisely a prescribed finite set of places, including possibly the real place, if and only if that set has even cardinality; the invariants uniquely determine its Brauer class. This illustrates how arithmetic reciprocity becomes a concrete constraint on global algebra structure.