REMARKS ON QUASI-PERFECT RINGS AND FC-RINGS

设Ｒ是有单位元的环，Ｓ是Ｒ的几乎优越扩张，Ｇ是有限群且｜Ｇ｜－１∈Ｒ．证明了Ｒ是ＦＣ－环（拟完备环，凝聚环）当且仅当Ｓ是ＦＣ－环（拟完备环，凝聚环），也当且仅当Ｓｍａｃｈ积Ｒ＃Ｇ＊是ＦＣ－环（拟完备环，凝聚环）．     

分次环与局部化

设Ｇ是有限群，Ｒ是有单位元的Ｇ－型分次环，Ｓ是包含在Ｒ的所有齐次元素组成的集合内的乘法封闭子集，Ｓ＝ｘ∈Ｇａｅ（ｇｘ，ｘ）ａ∈Ｓ，Ｄｅｇ（ａ）＝ｇ∈Ｇ｛｝，Ｓ＝＝ｘ∈Ｇａｅ（ｇｘ，ｘｈ）ａ∈Ｓ，Ｄｅｇ（ａ）＝ｇ∈Ｇ，ｈ∈Ｇ｛｝，ＭＧ（Ｒ）表示以Ｇ的元作为行列标的｜Ｇ｜阶矩阵环．本文证明了Ｒ关于Ｓ满足左Ｏｒｅ条件当且仅当Ｒ＃Ｇ关于Ｓ满足左Ｏｒｅ条件当且仅当ＭＧ（Ｒ）关于Ｓ＝满足左Ｏｒｅ条件，而且，Ｓ－１（Ｒ＃Ｇ）≌（Ｓ－１Ｒ）＃Ｇ和Ｓ＝，－１（ＭＧ（Ｒ））≌ＭＧ（Ｓ－１Ｒ）．     

拟完备环与FC—环的注记

设Ｒ是有单位元的环，Ｓ是Ｒ的几乎优越扩雍，Ｇ是有限群且｜Ｇ＾｜＾－１∈Ｒ，证明了Ｒ是ＦＣ－环当且仅当Ｓ是ＦＣ－环，也当且仅当Ｓｍａｃｈ积Ｒ＃Ｇ是ＦＣ－环。     

U1－sr条件

本文讨论Ｕ１－ｓｒ条件，这一条件有益于计算环的Ｋ１群．得到主要结果为；（１）完全确定满足Ｕ１－ｓｒ条件的半局部环：（２）给出使ＥｎｄＲ（Ｍ）满足Ｕ１－ｓｒ条件的一个刻划；（３）引进比Ｕ１－ｓｒ更强的一个条件ＳＵ１－ｓｒ，利用上述结果证明了：若Ｒ∈ＳＵ１－ｓｒ，则Ｍｎ（Ｒ）∈Ｕ１－ｓｒ；（４）证明了对于满足ＳＵ１－ｓｒ的环Ｒ，Ｋ１Ｒ＝ＧＬ１（Ｒ）ａｂ．     

关于SF－环的几点注记

本文中，我们证明了如下主要结果：Ⅰ　对于环Ｒ，下面条件是等价的：（１）Ｒ是Ａｒｔｉｎ半单环；（２）Ｒ是左ＳＦ－环，且Ｒ满足特殊右零化于降链条件；（３）Ｒ是左ＳＦ－环和Ｉ－环，且Ｒ￣Ｒ具有有限Ｇｏｌｄｉｅ维数。Ⅱ对于环Ｒ，下面条件是等价的：（１）Ｒ是ＶｏｎＮｅｕｍａｎｎ正则环；（２）Ｒ是左ＳＦ－环，且每个苛异循环左Ｒ－模的极大子模是平坦的。     

关于SF—环的几点注记

文中，我们证明了如下主要结果：Ⅰ对于环Ｒ，下面条件是等价的：（１）Ｒ是Ａｒｔｉｎ半单环；（２）Ｒ是左ＳＦ－环，且Ｒ满足特殊右零化子降链条件；（３）Ｒ是左ＳＦ－环和Ⅰ－环，且Ｒ＾Ｒ具有有限Ｇｏｌｄｉｅ维数。Ⅱ对于环Ｒ，下面条件是等价：（１）Ｒ是Ｖｏｎ Ｎｅｕｍａｎｎ正则环；（２）Ｒ是左ＳＦ－环，且每个奇异循环左Ｒ－模的极大子模是平坦的。     

分次Morita对偶，Morita对偶与Smash积

设Ｃ和ｒ都是群，是Ｇ－型分次环，是Γ－型分次环．是双分次模，Ｒ＃Ｇ是Ｒ的Ｓｍａｓｈ积，Ａ＃Γ是Ａ的Ｓｍａｓｈ积。令Ｗ＝（＿ｇＵ＿（σ－１））＿（ｇ，σ）即（ｇ，σ）位置取＿ｇＵ＿（σ－１）的元素的｜Ｇ｜×｜Γ｜矩阵的全体组成的集合，且每个矩阵的每行和每列的非零元只有有限个，按矩阵运算，Ｗ构成（Ｒ＃６，Ａ＃Γ）双模。则＿ＲＵ＿Ａ定义了一个分次Ｍｏｒｉｔａ对偶当且仅当＿（Ｒ＃Ｇ）Ｗ＿（Ａ＃Γ）定义了一个Ｍｏｒｉｔａ对偶。     

gr—正则环和矩阵环的gr—正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当Ｒ＃Ｇ是正则的当且仅当ＭＧ（Ｒ）是ｇｒ－正则的当且仅当对每个λ∈Ｇ和Ｇ的任意非空子集Ｈ和Ｆ，ＭＨ×Ｆ（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环Ｒ是反ｇｒ－正则的当且仅当Ｆ（Ｒ＃Ｇ）是反正则的当且仅当对每个λ∈Ｇ和Ｇ的任意非空子集Ｈ和Ｋ，ＦＭＨ×Ｆ（Ｒ）的每个矩阵有２－逆当且仅当ＦＭＧ（Ｒ）是ｇｒ－反正则的。     

有限交换环上极限线性群的Sylowp—子群

本文给出了有限交换局部环Ｒ上无限线性群ＧＬ（Ｒ）＝∪ｎＧＬｎＲ的Ｓｙｌｏｗｐ－子群的形式．令Ｍ是有限交换局部环Ｒ的唯一极大理想，ｋ＝Ｒ／Ｍ为Ｒ的剩余类域．用Ｘ（ｋ）表示ｋ的特征，并假定Ｐ与ｘ（ｋ）互素．作者证明了：ＧＬ（Ｒ）的任一Ｓｙｌｏｗｐ－子群Ｓ或者同构于的可数无限直积与Ｐ（ｊ）的无限直积的直积（当Ｐ≠２或Ｐ＝２，Ｘ（ｋ）β≡１（ｍｏｄ４））或者同构于Ｐｉ的无限直积与Ｐ（ｊ）的无限直积的直积（当Ｐ＝２，Ｘ（ｋ）β≡３（ｍｏｄ４）），这里，只是ＧＬ（ｅｐｉ）Ｒ（分别地，ＧＬ（２ｒｉ）Ｒ）的Ｓｙｌｏｗｐ－子群，Ｐ（ｊ））同构于Ｐ＝∪ｉ∈Ｉｐｉ，Ｉ是可数集．     

gr－正则环和矩阵环的gr－正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当ＲＧ是正则的当且仅当Ｍ＿Ｇ（Ｒ）是ｇｒ－正则的当且仅当对每个和Ｇ的任意非空子集Ｈ和Ｆ，Ｍ＿（ＨＸＦ）（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环只是反ｇｒ－正则的当且仅当Ｆ是反正则的当且仅当对每个和Ｇ的任意作非空子集Ｈ和Ｋ，ＦＭ＿（Ｈ×Ｆ）（Ｒ）的每个矩阵有２－逆当且仅当ＦＭ＿Ｇ（Ｒ）是ｇｒ－反正则的。