Bourbaki

Proposition 11

Tag 0DYM, permanent. Cite it as [Bourbaki, Tag 0DYM].

Algebra, chapter X, § 6. Utilisation de résolutions non canoniques

*Let LL be a finite-degree galois extension of a commutative field KK, with galois group GG. a) One has Hi(G,L)=0H^i(G, L) = 0 for i⩾1i \geqslant 1. b) One has H1(G,L∗)=0H^1(G, L^*) = 0. c) The group H2(G,L∗)H^2(G, L^*) is canonically isomorphic to the group Br(K,L)\mathrm{Br}(K, L) (VIII, § 13).

The normal basis theorem (V, §10, No. 9, Theorem 6) shows that LL is isomorphic as a Z(G)\mathbf{Z}^{(G)}-module to KG=HomZ(Z(G),K)K^G = \mathrm{Hom}_{\mathbf{Z}}(\mathbf{Z}^{(G)}, K); assertion a) then follows from Lemma 1. In view of Example 2, assertion b) follows from V, §10, No. 5, Corollary 1 to Proposition 9: finally, assertion c) was proved in VIII, §13.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.