Localization commutes with tensor products
ID: localization-commutes-with-tensor-products
For a multiplicatively closed set in a commutative ring , the map sends to . An inverse sends to . The fraction relations and the tensor product of modules balancing relation make these maps well-defined and mutually inverse.
New to topics? Read the docs here!