Corollary 3
Tag 00JU, permanent. Cite it as [Bourbaki, Tag 00JU].
Algebra, VIII, p. 323, § 16. Other Descriptions of the Brauer Group
Let be a prime number and let K be a perfect field of characteristic . Let A be a central simple algebra of finite degree over K. Then does not divide the index of A.
Let us prove that the Brauer group of K does not contain any element of order . Every Galois extension M of K of finite degree is a perfect field (V, §7, No. 1, p. 36, Proposition 2). Hence taking the -th power is an automorphism of the group . It follows that multiplication by is an automorphism of the group (Gal(M)) that is isomorphic to Br(M).
Consequently, the order of [A] is prime to and, by Corollary 2, its index is not divisible by .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
- V, §7, No. 1, p. 36, Proposition 2 not in this corpus
- Corollary 2