习题 29, § 7

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

代数, II, 406

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

令 $A$ 为整环， $K$ 为分数的域， $E$ 为 $A$ 模块， $T(E)$ 为挠元模。

(a) 证明 $E$ 上的每个线性形式都是 $T(E)$ 上的零，因此对偶 $E^*$ 和 $(E/T(E))^*$ 是规范同构的。

(b) 证明典范映射 $(E^*)_{(K)} \to (E_{(K)})^*$ 是单射的，并且当 $E$ 有限生成时它是双射的。

解答

尚未写出解答。

被以下引用

无。