Bourbaki

习题 30, § 9

标签 00C3,永久不变。引用为 [Bourbaki, Tag 00C3]。

代数, VIII, p. 172

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

a) 设 A 为环,包含除 0 外不存在幂零元。证明 A 的属于至中心中的每个幂等 ee(考虑元素 (1−e)xe(1-e)xe 和 ex(1−e)ex(1-e))。

b) 设A为绝对平坦环,包含除0外不存在幂零元,并令aa为A的非零元素。证明A存在元素xx,使得e=ax=xae=ax=xa幂等且ea=ae=aea=ae=a。推断对于每个y∈Ay\in A,都存在一个z∈Az\in A,使得ya=azya=az,因而,A 的每个左理想或右理想都是两侧的。

c) 证明包含非零幂零元中没有商环(使用b))。推断 A 同构于乘积 ∏ι∈IDι\prod_{\iota\in I}D_{\iota} 的子环 C 域,使得 prι(C)=Dι_{\iota}(C) = D_{\iota} 对于每个ι∈I\iota \in I(从 b 推导出)和 VIII 的习题 4, p. 129,没有幂零元的绝对平坦的本原环是域,并使用上面的习题12)。

d) 设(Dι)ι∈I(D_{\iota})_{\iota\in I}为域和B环∏ι∈IDι\prod_{\iota\in I}D_{\iota}的无限族。对于I的任何子集 H,用BHB_H表示(bι)ι∈I(b_{\iota})_{\iota\in I}族的B由……组成的双边理想,使得bι=0b_{\iota}= 0代表ι∉H\iota \notin H。设F\mathfrak{F}为I的子集的递增有向集合,形成I的覆盖,并令A为由1和H∈FH\in \mathfrak{F}的BHB_H生成的B的子环。证明 A 绝对平坦且包含不非零幂零元。

解答

尚未写出解答。

被以下引用

引用了

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