Remark 4

Tag 00J5, permanent. Cite it as [Bourbaki, Tag 00J5].

Algebra, VIII, p. 310, § 16. Other Descriptions of the Brauer Group

Suppose that L is an extension of K endowed with an action $\lambda$ of G. Then L is a Galois algebra over K if and only if L is a Galois extension of K and $\lambda$ is an isomorphism from G to the Galois group of L over K.

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.

Cites

Nothing.