base change spectral sequence
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 20:17:14
by Urs Schreiber