Example
Tag 0DRO, permanent. Cite it as [Bourbaki, Tag 0DRO].
Algebra, chapter X, § 2. Complexes de A-modules
Consider the product of spheres and the complex projective space . Let , we define a cellular decomposition of by setting
this decomposition has one cell of dimension 0, two of dimension 2 and one of dimension 4. The differentials of the associated complex are necessarily zero, so , and are free of rank 1, 2 and 1 respectively, and for . One obtains a cellular decomposition of by setting
the space being embedded in (TG, VIII, p. 20), and c being a point of ; this decomposition has one cell of dimension 0, one of dimension 2 and one of dimension 4. Here again the differentials of the complex are necessarily zero, and it follows that is isomorphic to A for and to 0 otherwise. Since the homology modules in degree 2 of the two spaces considered are free of rank 2 and 1 respectively, these spaces are not homeomorphic. \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.