Bourbaki

Example 1

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

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

Let j:{1}→Fj:\{1\} \rightarrow F be the canonical injection. The semitrivial extension Iτ\mathscr{I}_{\tau} is isomorphic to j∗((G,ij_*((G, i, IdG))_G)), where i:{e}→Gi:\{e\} \rightarrow G is the canonical injection. Let c:F→Fc: F\rightarrow F be the constant homomorphism f↦1f\mapsto 1, and let E\mathscr{E} be a τ\tau-extension. The τ\tau-extension c∗(E)c_*(\mathscr{E}) is also isomorphic to Iτ\mathscr{I}_{\tau}.

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

Cites

Nothing.

Transcribed from the printed edition, 2023, Springer Nature. Not translated.