Bourbaki

习题 7, § 2

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

交换代数, I, 42

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

(a) 当记号为习题 6 时,证明如果 M 为投射模,则λ(M)=−1\lambda(M) = -1 或 λ(M)=+∞\lambda(M) = +\infty。如果 A 是左诺特环,则对于每个 A-模 M,有 λ(M)=−1\lambda(M) = -1 或 λ(M)=+∞\lambda(M) = +\infty。

(b) 如果aa是环AA的左理想,且不是有限生成的,则As/aA_s/a是单生AA模,不允许有限表示,在其他字λ(As/a)=0\lambda(A_s/a) = 0(no. 8,引理9)中。

(c) 给出环AA的单生左理想aa的例,使得As/aA_s/a(具有有限表示)承认不是有限生成的右AA模的对偶。

(d) 令KK为交换域、EE向量空间K(N)K^{(\mathbf{N})}、EE的(en)(e_n)典范基以及TT张量代数 EE,因此有有限乘积ei1ei2…eike_{i_1}e_{i_2}\ldots e_{i_k}的基由……组成(k⩾0,ij∈Nk \geqslant 0, i_j \in \mathbf{N}对于所有jj)。对于给定的整数nn,令bb为由乘积生成的TT的两侧理想

e1e0,e2e1,…,enen−1 e_1e_0, e_2e_1, \ldots, e_ne_{n-1}

和 en+kene_{n+k}e_n 对于所有 k⩾1k \geqslant 1;令AA为商环T/bT/b,对于每个整数mm,令ama_m为AA中eme_m的典范像。证明,如果M=As/Aa0M = A_s/Aa_0,则λ(M)=n\lambda(M) = n(观察到,对于m⩽n−1m \leqslant n - 1,aa的左边湮没子是Aam+Aa_{m+},并使用习题 6(b))。

解答

尚未写出解答。

被以下引用

无。

引用了

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