For a non-zero-divisor , resolve by . Tensoring with gives the kernel and cokernel in the displayed formula; all higher Tor functors vanish. Resolving either argument gives the same homology by the two filtrations of the double complex of the two free resolutions. For , both degrees zero and one equal .
Articles by others on the same topic
There are currently no matching articles.