MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
It seems to me that some variables are meant to be other variables ... – Martin Brandenburg Jun 20 '12 at 16:59
Yes, sorry about that. It's fixed now. – Milan Bernolak Jun 20 '12 at 17:05

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

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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