(also nonabelian homological algebra)
In the context of homological algebra, the $Tor$-functor is the derived tensor product: the left derived functor of the tensor product of $R$-modules, for $R$ a commutative ring.
Together with the Ext-functor it constitutes one of the central operations of interest in homological algebra.
Given a ring $R$ the bifunctor $\otimes_R : Mod_{R} \times {}_{R}Mod\to Ab$ from two copies of $R$-Mod to Ab is a right exact functor. Its left derived functors are the Tor-functors
and
with respect to one argument with fixed another, if they exist, are parts of a bifunctor
Given a right $R$-module
and a left $R$-module
there are in principle three different ways to compute their derived tensor product $Tor_\bullet(A,B)$:
keeping $B$ fixed and deriving the functor
keeping $A$ fixed and deriving the functor
deriving the functor
in both arguments
If both $Mod_{R}$ and $_{R}Mod$ have enough projectives, then all these three derived functors exist and all give the same result.
Existence is clear from the very definition of derived functor in homological algebra. So we show that deriving in the left argument gives the same result as deriving in the right argument.
Let $Q^A_\bullet \stackrel{\simeq_{qi}}{\to} A$ and $Q^B_\bullet \stackrel{\simeq_{qi}}{\to} B$ be projective resolutions of $A$ and $B$, respectively. The corresponding tensor product of chain complexes $Tot (Q^A_\bullet\otimes Q^B_\bullet)$, hence the total complex of the degreewise tensor product of modules double complex carries the filtration by horizontal degree as well as that by vertical degree.
Accordingly there are the corresponding two spectral sequences of a double complex, to be denoted here $\{{}^{A}E^r_{p,q}\}_{r,p,q}$ (for the filtering by $A$-degree) and $\{{}^{B}E^r_{p,q}\}_{r,p,q}$ (for the filtering by $B$-degree). By the discussion there, both converge to the chain homology of the total complex.
We find the value of both spectral sequences on low degree pages according to the general discussion at spectral sequence of a double complex - low degree pages.
The 0th page for both is
For the first page we have
and
Now using the universal coefficient theorem in homology and the fact that $Q^A_\bullet$ and $Q^B_\bullet$ is a resolution by projective objects, by construction, hence of tensor acyclic objects for which all Tor-modules vanish, this simplifies to
and similarly
It follows for the second pages that
and
Now both of these second pages are concentrated in a single row and hence have converged on that page already. Therefore, since they both converge to the same value:
Each $Tor_n^R(-,N)$ respects direct sums.
Let $S \in$ Set and let $\{N_s\}_{s \in S}$ be an $S$-family of $R$-modules. Observe that
if $\{(F_s)_\bullet\}_{s \in S}$ is an family of projective resolutions, then their degreewise direct sum $(\oplus_{s \in S} F)_\bullet$ is a projective resolution of $\oplus_{s \in S} N_s$.
the tensor product functor distributes over direct sums (this is discussed at tensor product of modules – monoidal category structure)
the chain homology functor preserves direct sums (this is discussed at chain homology - respect for direct sums).
Using this we have
Each $Tor_n^R(-,N)$ respects filtered colimits.
Let hence $A \colon I \to R Mod$ be a filtered diagram of modules. For each $A_i$, $i \in I$ we may find a projective resolution and in fact a free resolution $(Y_i)_\bullet \stackrel{\simeq_{qi}}{\to} A$. Since chain homology commutes with filtered colimits (this is discussed at chain homology - respect for filtered colimits), this means that
is still a quasi-isomorphism. Moreover, by Lazard's criterion the degreewise filtered colimits of free modules $\underset{\to_i}{\lim} (Y_i)_n$ for each $n \in \mathbb{N}$ are flat modules. This means that $\underset{\to_i}{\lim} (Y_i)_\bullet \to A$ is flat resolution of $A$. By the very definition or else by the basic properties of flat modules, this means that it is a $(-)\otimes N$-acyclic resolution. By the discussion there it follows that
Now the tensor product of modules is a left adjoint functor (the right adjoint being the internal hom of modules) and so it commutes over the filtered colimit to yield, using again that chain homology commutes with filtered colimits,
An abelian group is called torsion if its elements are “nilpotent”, hence if all its elements have finite order.
For $A \in$ Ab and $p \in \mathbb{N}$, write
for the $p$-torsion subgroup consisting of all those elements whose $p$-fold sum with themselves gives 0.
For $n \in \mathbb{N}$ with $n \geq 1$, write $\mathbb{Z}_n = \mathbb{Z}/n\mathbb{Z}$ for the cyclic group of order $n$, as usual.
For $p \in \mathbb{N}$, $p \geq 1$, and $A \in$ Ab $\simeq \mathbb{Z}$Mod any abelian group, we have an isomorphism
of the $Tor_1$-group with the $p$-torsion subgroup of $A$.
For $p = 0$ we have
For the first statement, the short exact sequence
constitutes a projective resolution (even a free resolution) of $\mathbb{Z}_p$. Accordingly we have
Here in the last step we use that $(\cdot p)\otimes A$ acts as
For the second statement, $\mathbb{Z}$ is already free hence $[\cdots \to 0 \to 0 \to \mathbb{Z}]$ is already a projective resolution and hence $Tor_1(\mathbb{Z}, A) \simeq H_1(0) \simeq 0$.
Let $A$ be a finite abelian group and $B$ any abelian group. Then $Tor_1(A,B)$ is a torsion group. Specifically, $Tor_1(A,B)$ is a direct sum of torsion subgroups of $A$.
By a fundamental fact about finite abelian groups (see this theorem), $A$ is a direct sum of cyclic group $A \simeq \oplus_k \mathbb{Z}_{p_k}$. By prop. $Tor_1$ respects this direct sum, so that
By prop. every direct summand on the right is a torsion group and hence so is the whole direct sum.
More generally we have:
Let $A$ and $B$ be abelian groups. Write $Tor^\mathbb{Z}$ for the left derived functor of tensoring over $R = \mathbb{Z}$. Then
$Tor^\mathbb{Z}_1(A,B)$ is a torsion group. Specifically it is a filtered colimit of torsion subgroups of $B$.
$Tor^{\mathbb{Z}}_1(\mathbb{Q}/\mathbb{Z}, A)$ is the torsion subgroup of $A$.
$A$ is a torsion-free group precisely if $Tor^\mathbb{Z}_1(A,-) = 0$, equivalently if $Tor^\mathbb{Z}_1(-,A) = 0$.
For instance (Weibel, prop. 3.1.2, prop. 3.1.3, cor. 3.1.5).
The group $A$ may be expressed as a filtered colimit
of finitely generated subgroups (this is discussed at Mod - Limits and colimits). Each of these is a direct sum of cyclic groups.
By prop. $Tor_1^\mathbb{Z}(-,B)$ preserves these colimits. By prop. every cyclic group is sent to a torsion group (of either $A$ or $B). Therefore by prop. a class=maruku-ref href=#TorOutOfCyclicGroup/a$Tor_1(A,B)$ is a filtered colimit of direct sums of torsion groups. This is itself a torsion group.
Analogous results fail, in general, for $\mathbb{Z}$ replaced by another ring $R$.
An is precisely if regarded as a $\mathbb{Z}$- it is a .
See at flat module - Examples for more.
For $N_1, N_2 \in R Mod$ and $n \in \mathbb{N}$ there is a
We first give a proof for $R$ a such as $\mathbb{Z}$.
Let $R$ be a such as $\mathbb{Z}$ (in the latter case $R$$\simeq$ ). Then by the discussion at projective resolution – length-1 resolutions there is always a
exhibiting a of any module $N$. It follows that $Tor_{n \geq 2}(-,-) = 0$.
Let then $0 \to F_1 \to F_2 \to N_2 \to 0$ be such a short resolution for $N_2$. Then by the long exact sequence of a derived functor this induces an of the form
Since by construction $F_0$ and $F_1$ are already themselves this collapses to an exact sequence
To the last three terms we apply the natural in $(R Mod, \otimes_R)$ to get
This exhibits a morphism $Tor_1(N_1,N_2) \to Tor_1(N_2, N_1)$ as the morphism induced on from an isomorphism between two morphisms. Hence this is itself an isomorphism. (This is just by the of the , but one may also think of it as a simple application of the the /.)
(…)
For instance (Weibel, cor. 3.2.13).
Standard textbook accounts include the following:
, , Homological algebra, Princeton Univ. Press 1956.
M. Kashiwara and P. Schapira, , Springer (2000)
S. I . Gelfand, Yu. I. Manin, Methods of homological algebra
Lecture notes include
section 3 of
and specifically for
Original articles include
Last revised on May 28, 2017 at 09:57:24. See the history of this page for a list of all contributions to it.