2
$\begingroup$

Let $k$ be a field and $A$ and $B$ be two commutative $k-$algebras.

Furthermore, let $I$ be an ideal in $A$ and $N$ be a $A\otimes_kB$-module.

Then is it true that $((A/I) \otimes_k B) \otimes_{A\otimes_k B} \ N)$ as a $B-$module is isomorphic to $(A/I) \otimes_A N$?

Here the $B-$module structures shall both times be induced by the $A\otimes_kB$-module-structure of $N$.

  • 1
    There are obvious candidates for the maps that will be an isomorphism is there is one. Have you tried checking they are well-defined and mutally inverse?2011-11-07

1 Answers 1

2

$\left(\left(A/I\right)\otimes_k B\right)\otimes_{A\otimes_k B} N \cong \left(\left(\left(A/I\right)\otimes_A A\right)\otimes_k B\right)\otimes_{A\otimes_k B} N$ (since $A/I\cong \left(A/I\right)\otimes_A A$)

$\cong \left(A/I\right)\otimes_A \left(\left(A\otimes_k B\right)\otimes_{A\otimes_k B} N\right)$ (tactical use of associativity of $\otimes$)

$\cong \left(A/I\right)\otimes_A N$.