For a ring write Mod for its category of modules. Given a homomorphism of ring and an -module there are composites of base change along with the hom-functor and the tensor product functor
The derived functors of and are the Ext- and the Tor-functors, respectively, so the Grothendieck spectral sequence applied to these composites is the base change spectral sequence for these.
Created on October 29, 2012 at 20:17:14. See the history of this page for a list of all contributions to it.