En Bourbaki, Algèbre 5, sección 5, uno ha $A$ et $B$ $K$- álgebras en una extensión de $\Omega$$K$. Se dice que si los morfismos $A\otimes_K B\to \Omega$ es inyectiva, a continuación,$A\cap B=K$. Veo la razón: si no existiera $x\in A\cap B\setminus K$, de modo que $x\otimes 1=1\otimes x$ lo cual es falso.
Pero, ¿por qué $1\otimes x\neq x\otimes 1$$x\notin K$?