On the \(n\)-torsion subgroup of the Brauer group of a number field. (Q1424580)

Let \(K\) be an algebraic number field Galois over \(\mathbb Q\), let \(\text{Br}(K)\) be the Brauer group, and let \(\text{Br}_n(K)\) be its \(n\)-torsion subgroup. The authors show that, providing \(n\) is prime to the class number of \(K\), then \(\text{Br}_n(K)\cong \text{Br}(L/K)\) is an algebraic relative Brauer group for an abelian extension \(L/K\). The proof depends on the following construction: given a prime number \(\ell\) not dividing the class number of \(K\) and a positive integer \(r\), there is an abelian extension \(L/K\) of exponent \(\ell^r\) with local degree equal to \(\ell^r\) at every finite prime. If \(\ell=2\), \(L\) can be taken to be totally complex.