习题 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 与拓扑 保持线性紧致,习题 18(b) 中定义的拓扑 也与 A 上的环结构兼容(使用习题 18(d))。
(b) 假设 A 是可交换的;令 为 的幂等,其中 为 A 的雅各布森根。证明,如果 A 与离散拓扑线性紧,则存在唯一幂等 ,其 中的像等于 。 (证明在线性仿射簇中,其中和包含在类中,存在最小元素。通过考虑,推导出和 元素 并证明 ,使用代数、章 VIII, § 6、习题 10 (a),通过证明 是两个幂等来证明 的唯一性。 A 使得,然后。)
(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 拓扑). (首先考虑这种情况,其中 、利用习题 15(b) 和章 II, § 1, no. 2、命题 5,然后将 (b) 应用于 的幂等。)
(d) 证明每个线性紧致(或严格线性紧致)交换环 A 都是线性紧致(或严格线性紧致)族局部环的乘积。 (令 为 A 的开极大理想族;对于每个开理想 而不是包含 ,令 为 的分解,作为两个环的直接合成,使得 ,为局部环,最大理想在(c)中定义;令为的单位元视为A中的类模;形式收敛于基。 对于幂等和来说,是的封闭理想,其中是单位元。证明环是局部环并且同构于 中的乘积。)
解答
尚未写出解答。