On the -torsion subgroup of the Brauer group of a number field
Given a number field Galois over the rational field , and a positive integer prime to the class number of , there exists an abelian extension (of exponent ) such that the -torsion subgroup of the Brauer group of is equal to the relative Brauer group of .