无限矩阵环和完备环

无限矩阵环和完备环郭善良（复旦大学）Ｓｈａｎｎｙ在１９７１证明了一个环Ｒ是半单Ａｒｔｉｎ环当且仅当Ｒ上的无限矩阵环是ＶｏｎＮｅｕｍａｎｎ正则环［１］。这也就是说一个环的无限矩阵环在一定程度上唯一确定了Ｒ本身。我们注意到若ＥｎｄＦ，为ＶｏｎＮｅｕｍｍａ...

关于无限矩阵环的K-理论的一些结果

记R_г,R_г~*,R_г~0分别为R上全体Г×Г行有限,每行每列只有有限个元非零,只有有限个元非零的矩阵构成之环。此处Г是任意指标集。本文主要讨论了R_г,R_г~*,R_г~0及其某些子环的K_i群。推广了[2][3][5][8][15]的结论。主要结果是定理1 若S是有局部单位元环,e^2=e∈S,SeS=S,若对任意幂等元e′且eSe■e′Se′都有eSe′∈P(eSe),则 K_0S■K_0eSe 推论1 K_0R_Г~0K_0R,特别K_0R_(nxn)K_0R。推论2 若S是有极小单侧理想的单纯环,则K_0SZ。推论3 设S是零基座本原环,则必有非零基座的本原环S~*使K_0S~*Z⊕K_0S。 M.Karoubi证明K_1CR=0,S.M.Gersten和J.Wagoner证明K_iCR=0,i>1,我们有定理2 设Г是无限集,A是环且R_г~*AR_г并满足D(A)δ(A),则K_iA=0,i>1。推论4 K_iCR=0,i>1。推论5 K_iR_г=0,i>1。推论6 当R是除环时,K_iR_г=0,i>0。推论7 设R是任意环,M是一基数§<μ<|Г|,A_μ是R_г中全体每列的非零元个数不超过μ的元所成之环,则K_iA_μ=0,i>1。推论8 设R是除环,则K_1R_г/R_г~0Z。定理3 设Г是无限集,A是环且R_г~*AR_г,则K_1A=A·/[A·,A·]。推论9 设A如定理3所设,则A的单位群是完全群,特别,R_г~*,R_г的单位群是完全群。定理4 设S是任意有非零基座的本原环,则有正合列 0→Ker(K_0S→K_0S/Soc(S))→K_0S→K_0S/Soc(S)→0 其中(K_0S→K_0S/Soc(S))是由忠实既的S^+-模生成的循环群。由定理4,我们给出了推论2的另一证明。推论10 设D是除环,则K_(-1)D=0。最后,使用Quillen定理,我们指出正合列(1,1)对K_j、K_(2j)、j>1。不再成立。

关于环F与F上无限矩阵子环的等价性

许永华推广了著名的结果:F≈M_n(F),这里F是有单位元的环,M_n(F)是F上全矩阵环。本文改进了许永华的结论。