Albert-Brauer-Hasse-Noether theorem
ID: albert-brauer-hasse-noether-theorem
For a number field , localization of the Brauer group is injective. Its image is exactly the finite-support tuples of local classes whose local Brauer invariants sum to zero. The non-Archimedean summands have invariant group , real summands have , and complex summands are zero. For a cyclic character and parameter , the invariant of the local cyclic algebra is . Thus the zero-sum condition on principal parameters is the additive form of Artin reciprocity.
New to topics? Read the docs here!