Proposition 11
Tag 0DYM, permanent. Cite it as [Bourbaki, Tag 0DYM].
Algebra, chapter X, § 6. Utilisation de résolutions non canoniques
*Let be a finite-degree galois extension of a commutative field , with galois group . a) One has for . b) One has . c) The group is canonically isomorphic to the group (VIII, § 13).
The normal basis theorem (V, §10, No. 9, Theorem 6) shows that is isomorphic as a -module to ; 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.