Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
have now spelled out at Tor in simple terms how TorAb1(A,B) is a torsion group, so far for the case that A is finite.
filled in the remaining details or else pointers to details in other nLab entries at Tor – respect for direct sums and filtered colimits
spelled out at Existence and balancing that deriving the tensor product in the left argument yields the same result as deriving in the right argument (using the spectral sequence of the tensor product of two resolutions).
1 to 7 of 7