Remark 2
Tag 00JO, permanent. Cite it as [Bourbaki, Tag 00JO].
Algebra, VIII, p. 321, § 16. Other Descriptions of the Brauer Group
We can calculate a 2-cocycle associated with an algebra A split by a finite Galois extension L with group G as follows. First, there exists a K-homomorphism (L), where . For , let be the homomorphism from A to given by . By the Skolem–Noether theorem (VIII, p. 256, Theorem 3), for every , there exists an element of such that
for . We then set
We can also define an extension of G by using we consider the group consisting of the for which there exists a with
for every . The class of this extension is the inverse image by Ψ of the class of A in Br(L).
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
Nothing.