Corollary 3 (universal coefficient formula)
Tag 0DW8, permanent. Cite it as [Bourbaki, Tag 0DW8].
Algebra, chapter X, § 4. Produits de torsion
Suppose the ring is principal. If the complexes and are free, the sequences of -modules (11) are exact and split; if the complex is free, the sequences of -modules (13) are exact and split for every -module . Indeed, and are submodules of the free modules , 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.