Bourbaki

Corollary 1

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

Algebra, chapter X, § 7. Produit de composition

Let 0→P′→P→P′′→00 \to P' \to P \to P'' \to 0 be an exact sequence of right AA-*modules*, 0→M′→M→M′′→00 \to M' \to M \to M'' \to 0 be an exact sequence of left AA-*modules*. Then the composed homomorphisms of connecting homomorphisms

TornA(P′′,M′′)→Torn−1A(P′′,M′)→Torn−2A(P′,M′) \mathrm{Tor}_n^A(P'', M'') \to \mathrm{Tor}_{n-1}^A(P'', M') \to \mathrm{Tor}_{n-2}^A(P', M')
and
TornA(P′′,M′′)→Torn−1A(P′,M′′)→Torn−2A(P′,M′) \mathrm{Tor}_n^A(P'', M'') \to \mathrm{Tor}_{n-1}^A(P', M'') \to \mathrm{Tor}_{n-2}^A(P', M')
are opposite.

Indeed, if θ\theta and θ1\theta_1 are the classes associated with the given exact sequences, and if γ∈TornA(P′′,M′′)\gamma \in \mathrm{Tor}_n^A(P'', M''), the images of γ\gamma are respectively θ∘(θ1∘γ)\theta \circ (\theta_1 \circ \gamma) and θ1∘(θ∘γ)\theta_1 \circ (\theta \circ \gamma), hence are opposite by prop. 6.

Let us resume the notations of X, p. 127 and consider the sequence (S)(\mathscr{S}) of left AA-modules and the connecting homomorphisms associated with the exact sequences (9)

TormA(P,Ki−1)→Torm−1A(P,Ki); \mathrm{Tor}_m^A(P, K_{i-1}) \to \mathrm{Tor}_{m-1}^A(P, K_i);
we deduce from this by composition of the iterated connecting homomorphisms
∂^m(P,S):TormA(P,M)→Torm−nA(P,N). \hat{\partial}_m(P, \mathscr{S}) : \mathrm{Tor}_m^A(P, M) \to \mathrm{Tor}_{m-n}^A(P, N).
Then by prop. 7 and prop. 3 of X, p. 118 :

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.