Let be a commutative ring and a multiplicatively closed subset and modules.
Then there exists a uniquely determined isomorphism of modules:
with
Is it the right way, to proof that is bilinear and induces the homomorphism ? Then I have to proof that is injective and surjective.