Bourbaki

习题 6, § 2

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

交换代数, I, 41

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

设 A 为环,M 为左A-模。 正合序列

Ln→Ln−1→⋯→L1→L0→M→0 L_n \to L_{n-1} \to \cdots \to L_1 \to L_0 \to M \to 0
其中LiL_i是一个自由的左A-模(0≤i≤n)(0 \leq i \leq n),称为长度n的M的表示或M的n-表示。如果所有LiL_i都是有限生成的自由模,则该表示称为有限的。

如果 M 是有限生成的左A-模,我们用 λ(M)\lambda(M) 表示整数 n≥0n \geq 0 中最小的上界(有限或 +∞+\infty),使得 M 具有有限的 nn 表示。如果 M 不是有限生成的,我们集合 λ(M)=−1\lambda(M) = -1。

(a) 设 0→P→N→M→00 \to P \to N \to M \to 0 为左A-模中的正合序列。然后λ(N)≥inf⁡(λ(P),λ(M))\lambda(N) \geq \inf(\lambda(P), \lambda(M))。 (分别从 P 和 M 的两个 n 表示开始,导出 § 1 的 N 利用习题 5 的一个。)

(b) 令 M,→unMn−1→⋯→M0→u0M→0M, \xrightarrow{u_n} M_{n-1} \to \cdots \to M_0 \xrightarrow{u_0} M \to 0 为 M 的有限 n 表示;证明,如果λ(M)>n\lambda(M) > n,Ker⁡(un)\operatorname{Ker}(u_n) 就是有限生成A-模。 (让

Ln+1→vn+1Ln⟶⋯⟶L2→v2L1→v1L0→v0M⟶0 L_{n+1} \xrightarrow{v_{n+1}} L_n \longrightarrow \cdots \longrightarrow L_2 \xrightarrow{v_2} L_1 \xrightarrow{v_1} L_0 \xrightarrow{v_0} M \longrightarrow 0
是 M 的有限 (n+1)(n+1) 表示,并令 P=Ker⁡(v0)P = \operatorname{Ker}(v_0) 使得存在 P 的 n 表示:
Ln+1→vn+1Ln⟶⋯⟶L2→v2L1→v1P⟶0. L_{n+1} \xrightarrow{v_{n+1}} L_n \longrightarrow \cdots \longrightarrow L_2 \xrightarrow{v_2} L_1 \xrightarrow{v_1} P \longrightarrow 0.
(a)的应用方法到正合序列0→P→L0→M→00 \to P \to L_0 \to M \to 0我们得到正合序列
Mn⊕Ln+1→wnMn−1⊕Ln→wn−1⋯→w1M0⊕L1→w0L0⟶0 M_n \oplus L_{n+1} \xrightarrow{w_n} M_{n-1} \oplus L_n \xrightarrow{w_{n-1}} \cdots \xrightarrow{w_1} M_0 \oplus L_1 \xrightarrow{w_0} L_0 \longrightarrow 0
和正合序列 0→Ker⁡(vi+1)→Ker⁡(wi)→Ker⁡(ui)→00 \to \operatorname{Ker}(v_{i+1}) \to \operatorname{Ker}(w_i) \to \operatorname{Ker}(u_i) \to 0(§1§ 1、no. 4、命题 2)。最后观察Ker⁡(wi)\operatorname{Ker}(w_i)是Mi⊕Li+1M_i \oplus L_{i+1}的直因子。

(c) 根据 (a) 的假设证明

λ(M)≥inf⁡(λ(N),λ(P)+1). \lambda(M) \geq \inf(\lambda(N), \lambda(P) + 1).
(如果n≤inf⁡(λ(N),λ(P)+1)n \leq \inf(\lambda(N), \lambda(P) + 1),则通过归纳在nn上显示λ(M)≥n\lambda(M) \geq n,按(a)中的方式论证并使用(b)。)

(d) 根据 (a) 的假设证明

λ(P)≥inf⁡(λ(N),λ(M)−1). \lambda(P) \geq \inf(\lambda(N), \lambda(M) - 1).
(与 (c) 中的方法相同。)推断,如果 λ(N)=+∞\lambda(N) = +\infty,则 λ(M)=λ(P)+1\lambda(M) = \lambda(P) + 1。

(e) 从(a)、(c)和(d)推出,如果N=M⊕PN = M \oplus P,则

λ(N)=inf⁡(λ(M),λ(P)). \lambda(N) = \inf(\lambda(M), \lambda(P)).
特别是,对于 N 承认有限表示,M 和 P 也这样做是必要且充分的。

(f) 设N1,N2N_1, N_2为A-模M中的两个子模。假设N1N_1和N2N_2允许有限表示。对于 N1+N2N_1 + N_2 来说,要承认有限表示,N1∩N2N_1 \cap N_2 是有限生成的是必要且充分的。

解答

尚未写出解答。

被以下引用

引用了

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