Bourbaki

Example 1

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

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

It follows directly from the definition that H0(G,M)H^0(G, M) is isomorphic to the submodule of elements of MM invariant under the action of GG, and H0(G,M)H_0(G, M) to the quotient module of MM by the submodule generated by the elements m.g−mm.g-m for m∈Mm\in M, g∈Gg\in G.

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.