0
$\begingroup$

Let us consider a unital algebra $A$, with a subalgebra $B \subseteq A$, along with an $A$-$A$-bimodule $M$ which is free as a right module, and a subspace $N$ (with respect to the action of the field coming from the unit of $A$) such that $BNB \subseteq N$, and $N$ is a right $B$-projective module.

The tensor product $M \otimes_A M$ is of course again a right free $A$-$A$-bimodule, and the tensor product $N \otimes_B N$ is again projective as a right $B$-module. What I would like to know is whether the canonical insertion of $N \otimes_B N$ into $M \otimes_A M$ is an embedding?

$\endgroup$
2
  • $\begingroup$ It seems to me that some variables are meant to be other variables ... $\endgroup$ Jun 20, 2012 at 16:59
  • $\begingroup$ Yes, sorry about that. It's fixed now. $\endgroup$ Jun 20, 2012 at 17:05

1 Answer 1

5
$\begingroup$

No. Take $N=M=A$, where $A$ is any non-trivial algebra over a field $k$, and $B=k$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.