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!