Bourbaki

习题 11, § 2

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

代数, II, 389

Bourbaki marks this one as harder than the rest.

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

设 A 为环和 I A-模。 I 被称为*内射*,如果对于 A-线性映射的每个正合序列 E′→E→E′′E' \to E \to E'',序列

Hom⁡(E′′,I)→Hom⁡(E,I)→Hom⁡(E′,I) \operatorname{Hom}(E'', I) \to \operatorname{Hom}(E, I) \to \operatorname{Hom}(E', I)
是准确的。

(a) 证明下列性质是等价的: (α) I 是单射的。 (β) 对于A-线性映射中的每正合序列0→E′→E→E′′→00 \to E' \to E \to E'' \to 0,序列

0→Hom⁡(E′′,I)→Hom⁡(E,I)→Hom⁡(E′,I)→0 0 \to \operatorname{Hom}(E'', I) \to \operatorname{Hom}(E, I) \to \operatorname{Hom}(E', I) \to 0
是准确的。

(γ) 对于每 A-模 M 和 M 中的每子模 N,N 中的每A-线性映射进入 I 可以扩展到 M 中的 A-线性映射进入 I。 (δ) 对于 A 的每个左理想 aa 和每个 A-线性映射 f:a→If : a \to I,都存在元素 b∈Ib \in I,使得对于所有 a∈aa \in a 都有 f(a)=abf(a) = ab。 (ζ) I 是每 A-模包含中的直因子。 (θ) 对于每个 A-模 E,即 I 的和和单生子模,I 是 E 的直因子。

(为了证明(δ)蕴含(γ),证明性质(δ)意味着如果E是A-模并且E的F子模使得E/FE/F是单生的,那么F到I的每一个线性映射都可以扩展到E到I的线性映射。然后使用 Zorn 的引理来证明 (θ) 蕴含 (δ),请考虑 A-模 As×I=MA_s \times I = M、元素 (a,−f(a))(a, -f(a)) 的 M 由……组成的子模 N 对于 a∈aa \in a,并将 (θ) 应用于商模。 M/NM/N。)

(b) 对于单射的Z\mathbf{Z}模E,对于所有x∈Ex \in E和每个整数n≠0n \neq 0,存在y∈Ey \in E使得ny=xny = x是必要且充分的。特别是,Z\mathbf{Z}-模Q\mathbf{Q}和Q/Z\mathbf{Q}/\mathbf{Z}是单射的。

解答

尚未写出解答。

被以下引用

引用了

无。

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