Local Brauer invariant (${\mathrm{inv}}_K:\mathrm{Br}(K)\stackrel{\sim }{\to }\mathbb{Q}/\mathbb{Z}$)

For a local field with finite residue field, evaluate the Witt residue character on arithmetic Frobenius. This gives ${\mathrm{inv}}_K:\mathrm{Br}(K)\cong \mathbb{Q}/\mathbb{Z}$. For the unramified degree-$m$ cyclic algebra with arithmetic Frobenius generator and parameter $a$, the invariant is $v_K(a)/m$. Its reduced denominator is the index of the division representative.

For a finite Galois extension $L/K$ of non-Archimedean local fields, its relative Brauer group is the kernel of restriction $\mathrm{Br}(K)\to \mathrm{Br}(L)$ and identifies with $H^2(\mathrm{Gal}(L/K),L^{\times })$. Restriction multiplies the local Brauer invariant by $[L:K]$. This kernel is therefore cyclic of order $[L:K]$, and the indicated class is its distinguished generator. In an unramified extension with arithmetic Frobenius generator it is represented by the cyclic algebra with parameter a uniformizer.

For a finite extension of local fields $L/K$, restriction multiplies the local Brauer invariant by $[L:K]$ and corestriction preserves it. For restriction, the residue-character value multiplies by the residue degree and the parameter valuation by the ramification index. For corestriction, lift the residue character using divisibility of $\mathbb{Q}/\mathbb{Z}$ and use the norm projection formula for cyclic Brauer pairings.