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.

A central simple algebra over $K$ is a finite-dimensional associative unital $K$-algebra $A$ with no nonzero proper two-sided ideals and center exactly $K$. Its dimension is a square, ${\dim }_{K}A=n^2$. The Artin–Wedderburn theorem writes it as $M_r(D)$ for a uniquely determined central division algebra $D$ up to isomorphism. One obtains this structure by taking a minimal left ideal and its commuting division endomorphism ring; the simple algebra acts as all endomorphisms over that ring. Over a suitable finite splitting field it becomes a full matrix algebra.

The Brauer group identifies two central simple algebras if their division-algebra parts agree, equivalently if tensoring each with suitable matrix algebras makes them isomorphic. The product is tensor product, the identity is the class of $K$, and the inverse of $[A]$ is $[A^{\mathrm{op}}]$. Indeedis an isomorphism for a central simple algebra, so the product class is split. This also explains why matrix size is irrelevant to the Brauer class. The order of the class is its period, while the degree of its division-algebra representative is its index; these are different notions in general.

For the cyclic algebra construction, take a cyclic extension $L/K$ of degree $m$, a generator $\sigma$ and $a\in K^{\ast }$. SetThe multiplication is obtained by moving coefficients past $u$ and replacing every $u^m$ by $a$. It is associative: reducing a product of three monomials gives the same total exponent, the same power of $a$ and the same iterated automorphisms in either order. The scalar $a$ is fixed by $\sigma$ and ${\sigma }^m=1$, so reduction is consistent.

An element commuting with every $\ell \in L$ has only its $u^0$ coefficient nonzero, because ${\sigma }^i\ne 1$ for $0<i<m$. Commuting with $u$ then forces that coefficient into $K$, proving that the center is $K$. To prove simplicity, choose a nonzero element of a nonzero ideal with the fewest nonzero monomial coefficients. Since $u$ is invertible and each nonzero coefficient in $L$ is invertible, normalize one term to be the constant one. If another term remains, its automorphism differs from the identity; commuting with a suitable element of $L$ eliminates the constant term but not that other term. This gives a shorter nonzero element, a contradiction. The minimal element is therefore a unit, and the ideal is all of $A$. Thus $A$ is central simple of dimension $m^2$.

It splits over $L$. For example, over $L$ represent $\ell$ by the diagonal matrix with entries $\ell ,\sigma (\ell ),\dots ,{\sigma }^{m-1}(\ell )$, and let $u$ shift the standard basis down one place, sending the first vector to $a$ times the last. These matrices satisfy the defining relations. A primitive element of the separable extension $L/K$ has distinct conjugates; the Vandermonde matrix of their powers is invertible. Thus the diagonal images span all diagonal matrices after scalar extension to $L$. Multiplying the diagonal matrix units by powers of the shift gives every matrix unit, proving $A{\otimes }_{K}L\cong M_m(L)$.

The particularly useful splitting criterion isIf $a=N(b)$, let the algebra act on $L$ by multiplication for $\ell$ and by the semilinear operator $b\sigma$ for $u$. Its $m$th power is multiplication by $N(b)=a$, so this gives an isomorphism with ${\mathrm{End}}_K(L)$, by simplicity and dimension. Conversely, a split algebra acts on an $m$-dimensional $K$-space $V$. Restriction to the subfield $L$ makes $V$ one-dimensional over $L$, and $u$ is a nonzero $\sigma$-semilinear operator. In an $L$-basis it is $b\sigma$, so $u^m=a$ forces $a=N(b)$. More generally the relative Brauer group split by a cyclic $L/K$ is $K^{\ast }/N_{L/K}{L}^{\ast }$, with multiplication of parameters corresponding to addition of classes.

For a finite field, a finite division algebra is commutative by Wedderburn's little theorem. Therefore every central simple algebra is a matrix algebra and $\boxed{\mathrm{Br}({\mathbb{F}}_q)=0}$. The cyclic-algebra viewpoint gives the same conclusion for cyclic classes because the norm between finite fields is surjective on their cyclic multiplicative groups.

For a nonarchimedean local field, the local Brauer invariant givesAn unramified cyclic extension of degree $m$, with arithmetic Frobenius generator, gives invariant $v_K(a)/m$ to its cyclic algebra. Question 2 shows that all units are norms; norm valuations are multiples of $m$. Thus the relative classes are $\mathbb{Z}/m\mathbb{Z}$, represented by powers of a uniformizer. Allowing all $m$ realizes all invariants. At the infinite local fields, $\mathrm{Br}(\mathbb{C})=0$, while $\mathrm{Br}(\mathbb{R})\cong \mathbb{Z}/2\mathbb{Z}$, with the nonzero class represented by Hamilton's quaternions and invariant $1/2$.

For a number field, the Albert-Brauer-Hasse-Noether theorem supplies the exact sequenceHence a global algebra is determined by its finitely many nonzero local invariants, whose sum is zero; it is split precisely when all its local classes vanish. Every division algebra over a number field is cyclic, so cyclic algebras provide representatives for the global classes as well. Their norm parameters translate splitting into local norm conditions and the reciprocity constraint on the sum of invariants. The local invariant theorem, Wedderburn's little theorem and the global invariant theorem are the standard structural results used here; their role in the requested computation is explicit.