Bourbaki

习题 8, § 5

标签 0623,永久不变。引用为 [Bourbaki, Tag 0623]。

代数, III, 630

Bourbaki marks this one as harder than the rest.

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

设A为整环,K为分数的域;对于每个 A-模 M,令 τ(M)\tau(M) 表示其挠元模 (II, § 7, no. 10)。

(a) 证明对于代数 T(M)T(M) 没有除子或零,A-模 T(M)T(M) 无扭转是充分必要的(观察T(M)KT(M)_K 与T(MK)T(M_K) 同构并使用习题 5)。

(b) 令 u:M→M′u : M \to M' 为单射A-模同态。证明 Ker⁡(T(u))⊂τ(T(M))\operatorname{Ker}(T(u)) \subset \tau(T(M));如果 M′M' 无扭转,则 Ker⁡(T(u))=τ(T(M))\operatorname{Ker}(T(u)) = \tau(T(M)) (cf. II, § 7, no. 10, 命题 27)。

(c) 给出无扭转 A 模 M 的例,使得 τ(T(M))\tau(T(M)) 非零(II, § 7,习题 31)。

解答

尚未写出解答。

被以下引用

引用了

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