习题 20, § 2

令$A$为整环，$B$为$A$代数，其为平面$A$模，$M$为无扭转$A$模。证明，如果$t \in B$不是零的除子，则$z \in B \otimes_A M$的关系$t \cdot z = 0$意味着$z = 0$。 （约化适用于$M$有限生成的情况，并且通过将$M$嵌入有限生成的自由$A$模块中，适用于$M = A$的情况。）

() 这是代数*、章VIII, § 6、习题15中引入的术语“常规环”的修改，因为这在交换代数中具有完全不同的含义。