Example 3
Tag 0DSL, permanent. Cite it as [Bourbaki, Tag 0DSL].
Algebra, chapter X, § 2. Complexes de A-modules
If M is bounded of type , it is analogously the case for for every , and one has .
4) Let be an exact sequence of graded A-modules and graded homomorphisms of degree 0. If M, M' and M'' are bounded of type , one has
If M and M'' are bounded of type , it is analogously the case for M'; if is stable and if two of the three modules are bounded of type , it is analogously the case for the third.
5) Let be a morphism of bounded complexes of type . Then Con () is bounded of type , and one has:
6) One may take for G the group itself, and for the identity; in this case one denotes by the element of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.