Bourbaki

习题 33, § 7

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

代数, II, 407

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

设AA为整环。如果对于AA中的所有x∈Ex \in E和所有α≠0\alpha \neq 0,存在y∈Ey \in E使得αy=x\alpha y = x,则AA模EE被称为“可整除”。

(a) 令E,FE, F为两个AA模块。证明如果 EE 可整除,则 E⊗AFE \otimes_A F 也可整除。如果 EE 可整除且 FF 无扭转,则 Hom⁡A(E,F)\operatorname{Hom}_A(E, F) 无扭转。如果EE是挠元AA模且FF可整除,则E⊗AF={0}E \otimes_A F = \{0\}。如果 EE 是挠元 AA 模数且 FF 无扭转,则Hom⁡A(E,F)={0}\operatorname{Hom}_A(E, F) = \{0\}。

(b) 证明每个单射 AA-模 (§2§ 2, 习题 11) 都是可整除的,反之,每个可整除的无扭转 AA-模都是单射的(使用 §2§ 2, 习题 11 的准则 (δ\delta))。

解答

尚未写出解答。

被以下引用

  • alg--s0 not yet on this site

引用了

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