Bourbaki

习题 2, § 7

标签 008O,永久不变。引用为 [Bourbaki, Tag 008O]。

代数, VIII, p. 128

Bourbaki marks this one as harder than the rest.

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

设 D 为 D 上的域、V 右向量空间无限维数 c\mathfrak{c},且 A 环 EndD(V)_D(V)。

a) 令uu和vv为自同态或V,使得rg(uu)⩽\leqslantrg(vv)。证明A 存在元素 aa 和bb 使得u=avbu=avb。

b) 对于任意无限基数n⩽c\mathfrak{n}\leqslant \mathfrak{c},用An\mathfrak{A}_{\mathfrak{n}}表示秩<n<\mathfrak{n}的自同态、V的集合。证明 An\mathfrak{A}_{\mathfrak{n}} 是 A 的双边理想,并且 A 的每个不同于 {0}\{0\} 的双边理想和 A 都是 An\mathfrak{A}_{\mathfrak{n}} 之一(使用 a))。特别地,有限秩的自同态的理想是A的最小的非零的的两侧理想,而秩<c<\mathfrak{c}的自同态的理想Ac=T\mathfrak{A}_{\mathfrak{c}}=\mathfrak{T}是与A不同的A的最大的的两侧理想。

c) 令 B 为 V 和 U\mathfrak{U} 的基,B 上的超滤器更细比基数 <c<\mathfrak{c} 的 B 的子集的补集滤光器G\mathfrak{G}。对于U\mathfrak{U}中的任意集合 U,用V的eUe_U投影算子表示,核由U的向量生成,像由B - U的向量生成。令aU\mathfrak{a}_{\mathfrak{U}}为左理想由eUe_U生成的A,其中U穿过U\mathfrak{U}。证明理想的T+aU\mathfrak{T}+\mathfrak{a}_{\mathfrak{U}}与A不同。令V\mathfrak{V}为B 包含G\mathfrak{G}上的另一个超滤器,并且与U\mathfrak{U}不同。证明我们有aU+aV=A\mathfrak{a}_{\mathfrak{U}}+\mathfrak{a}_{\mathfrak{V}}= A。 d) 证明B包含G\mathfrak{G}上超滤器集合的基数为22c2^{2^{\mathfrak{c}}}。 (使用Gen. Top.的习题 6、I, §8、p. 135和Gen. Top.的I, §4、p. 126的参数。观察在后者习题中,每个非空开子集在F上的轨迹X 与 F 具有相同的基数。)

e) 假设 Card(D) ⩽2c\leqslant 2^{\mathfrak{c}}。从d)推导出简单(A/T)(A/\mathfrak{T})模块的类集合有基数22c2^{2^{\mathfrak{c}}}(cf.VIII,p. 52,习题5,d))。

f ) 由上可知环 A 是原始的,但不是拟单,环 A/TA/\mathfrak{T} 是拟单但不是简单的 (VIII, p. 120, 注 2)。

解答

尚未写出解答。

被以下引用

引用了

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