next up previous
Next: tensor products of sheaves Up: tensor products and inverse Previous: additional structures on tensor

tensor products and localizations

LEMMA 9.5   Let $A$ be a commutative ring. Let $M$ be an $A$-module. Then we have a canonical isomorphism of $A_S$ module

$\displaystyle A_S \otimes_A M \cong M_S. $