习题 4, § 3

令$E$为右$A$模块，$F$为自由左$A$模块。证明如果 $x$ 是 $E$ 的自由元素和 $y$ 元素 $\neq 0$ $F$，则 $x \otimes y \neq 0$；如果$A$也是可交换的，并且$y$是$F$的自由元素，则$x \otimes y$在$A$模$E \otimes_A F$中是自由的。