习题 7, § 4

标签 054R，永久不变。引用为 [Bourbaki, Tag 054R]。

交换代数, VII, 572

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 $A$ 是一个整体封闭的诺特域， $E$ 是有限生成的无扭 $A$ 模， $E^*$ 是它的对偶。 (a) 证明典范同态 $E^* \otimes_A E \to \operatorname{End}_A(E)$ 是伪同构。 (b) 从 (a) 推出，对于 $E$ 是射影 $A$ 模， $E^* \otimes_A E$ 是自反 $A$ 模是充分必要的。（注，如果 $E^* \otimes_A E$ 是自反的，典范同态 $E^* \otimes_A E \to \operatorname{End}_A(E)$ 是双射的。）

解答

尚未写出解答。

被以下引用

无。

引用了

无。