Crossed-product algebra of a Galois extension ($A(L,G,\varphi )$)

For a finite Galois extension $L/k$, Galois group $G$, and normalized two-cocycle $\varphi :G\times G\to L^{\times }$, the crossed-product algebra iswith $u_{\sigma }a=\sigma (a)u_{\sigma }$ and $u_{\sigma }{u}_{\tau }=\varphi (\sigma ,\tau )u_{\sigma \tau }$. It is a central simple $k$-algebra split by $L$.

For a cyclic extension $E/K$ of degree $m$ with generator $\sigma$ and $a\in K^{\times }$, the cyclic algebra is generated by $E$ and $u$ with $ub=\sigma (b)u$, $u^m=a$. It is a central simple algebra of degree $m$. Its Brauer class can also be written $(\chi ,a)$, where $\chi (\sigma )=1/m$.

If $a=N_{L/K}c$, let $L$ act on itself by multiplication and let the extra generator act by $c\sigma$. Its $n$th power is multiplication by $a$, and these operators give the cyclic algebra as ${\mathrm{End}}_K(L)$. Conversely, if the algebra is a matrix algebra on an $n$-dimensional vector space, its embedded degree-$n$ field $L$ makes that space one-dimensional over $L$. The extra generator is then $c\sigma$ in an $L$-basis, so its $n$th power forces $a=Nc$.

For a finite extension $L/K$, an unramified or general cyclic character $\chi$ over $K$, and $a\in L^{\times }$, transfer satisfies ${\mathrm{Cor}}_{L/K}(\mathrm{Res}\chi ,a)=(\chi ,N_{L/K}a)$. It is the cup-product projection formula combined with the field norm on multiplicative degree-zero coefficients. With the norm definition of Brauer transfer it also covers purely inseparable steps.

Cohomologous normalized two-cocycles define isomorphic crossed-product algebras: replacing $\varphi$ by the coboundary associated with a one-cochain rescales the basis elements $u_{\sigma }$. Consequently the crossed-product construction induces a map