Bourbaki

习题 21, § 2

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

交换代数, III, 240

Bourbaki marks this one as harder than the rest.

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

回想一下,在环 A 上拓扑被称为(左)线性,如果它是 A-模 A 上的线性拓扑,并且它与 A 上的环结构兼容(章 II, § 2,习题 16)。如果 A 是线性紧致(或严格线性紧致)A-模,则拓扑环 A 称为(左)线性紧致(或(左)严格线性紧致)。

(a) 证明,如果 A 与拓扑 T\mathscr{T} 保持线性紧致,习题 18(b) 中定义的拓扑 T∗\mathscr{T}^* 也与 A 上的环结构兼容(使用习题 18(d))。

(b) 假设 A 是可交换的;令 u≠0u \neq 0 为 A/RA/\mathfrak{R} 的幂等,其中 R\mathfrak{R} 为 A 的雅各布森根。证明,如果 A 与离散拓扑线性紧,则存在唯一幂等 e∈Ae \in A,其 A/RA/\mathfrak{R} 中的像等于 uu。 (证明在线性仿射簇x+bx + b中,其中b⊂Rb \subset \mathfrak{R}和x2−x∈bx^2 - x \in b包含在类uu中,存在最小元素e+ae + a。通过考虑,推导出e2=ee^2 = e和a=0a = 0 元素 e2−e=re^2 - e = r 并证明 r∈Ar2r \in Ar^2,使用代数、章 VIII, § 6、习题 10 (a),通过证明 e1,e2e_1, e_2 是两个幂等来证明 ee 的唯一性。 A 使得e1e2∈Re_1e_2 \in \mathfrak{R},然后e1e2=0e_1e_2 = 0。)

(c) Show that every 交换环 A which is linearly compact with the discrete 拓扑 is a direct 合成 of a finite 数 of 局部环 (which are linearly compact with the discrete 拓扑). (首先考虑这种情况,其中 31=031 = 0、利用习题 15(b) 和章 II, § 1, no. 2、命题 5,然后将 (b) 应用于 A/%A/\% 的幂等。)

(d) 证明每个线性紧致(或严格线性紧致)交换环 A 都是线性紧致(或严格线性紧致)族局部环的乘积。 (令 (mλ)(m_\lambda) 为 A 的开极大理想族;对于每个开理想 aa 而不是包含 mλm_\lambda,令 Al,x Aλ′′A_l, x \ A_\lambda'' 为 A/aA/a 的分解,作为两个环的直接合成,使得 AlA_l,为局部环,最大理想(mλ+a)/a(m_\lambda + a)/a在(c)中定义;令eλ′(a)e'_\lambda(a)为Aλ′A_\lambda'的单位元视为A中的类模aa;eλ′(a)e'_\lambda(a)形式收敛于基。 AA对于幂等eλe_\lambda和AeAe来说,是AA的封闭理想,其中eλe_\lambda是单位元。证明环AeλAe_\lambda是局部环并且AA同构于AeλAe_\lambda 中的乘积。)

解答

尚未写出解答。

被以下引用

引用了

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