Bourbaki

Corollary 3 (universal coefficient formula)

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

Algebra, chapter X, § 4. Produits de torsion

Suppose the ring AA is principal. If the complexes CC and C′C' are free, the sequences of AA-modules (11) are exact and split; if the complex CC is free, the sequences of AA-modules (13) are exact and split for every AA-module NN. Indeed, B(C),Z(C)B(C), Z(C) and B(C′)B(C') are submodules of the free modules C,C,C′C, C, C', so are free (VII, § 3, cor. 2 to th. 1), and we apply cor. 2.

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.