Explore BrainMass
Share

# Commutative rings

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

Show that if A and B are commutative rings and if f : A → B is a ring homorphism, then there is a
natural B-module isomorphism from:
(B ⊗A M) ⊗B (B ⊗A N)
to
B ⊗A (M ⊗A N)
for A-modules M,N

© BrainMass Inc. brainmass.com October 10, 2019, 4:30 am ad1c9bdddf
https://brainmass.com/math/matrices/commutative-rings-463958

#### Solution Preview

See the attachment.

Let Mod_A be the category of A-modules, and Mod_B be the category of B-modules. We have the functor F: Mod_AMod_B, sending an A-module M to the B-module B⊗_AM with b(b'⊗x)=bb'⊗x, for b,b'∈B and x∈M. The functor F is called the extension of scalars functor. It is easy to note that the first expression in the problem is F(M) ⊗_A F(N), while the second one is F(M⊗_A N) . Therefore, we need to ...

#### Solution Summary

This solution helps with a question about communicative rings.

\$2.19