Let $A$ be a not neccessarily commutative algebra, and let $B \subset A$ be a subalgebra of $A$. Moreover, let $M$ be an $A$-bimodule, and let $N \subset M$ be a $B$-sub-bimodule. The tensor product $N \otimes_{B} N$ has a natural inclusion in $M \otimes_{A} M$, and it seems to me that this inclusion should be injective, but I can't prove it.
Am I right here, or does one need to make extra assumptions? Is there a clean/non-messy way to prove all this?
The question boils down to showing that $$ (N \otimes_B N) \cap \lbrace m_1a \otimes m_2 - m_1 \otimes am_2 | m_i \in M\, a \in A \rbrace. $$ is equal to $$ \lbrace n_1b \otimes n_2 - m_1 \otimes bm_2 | n_i \in N,b \in B \rbrace. $$ But I can't see how to do this.