Schur—Zassenhaus定理的推广

本文证明了如下结论：（１）若有限群Ｇ的一个Ｈａｌｌπ－子群Ｈ在ＧＦ内是Ｓ－半正规的，则Ｈ在Ｇ内有补且所有这样的补在Ｇ中互相共轭，（２）令Ｐ／Ｇ／，若有限群Ｇ的Ｓｙｌｏｗｐ－子群在Ｇ内是Ｓ－半正规的，则Ｇ是ｐ－可解的；（３）如果Ｇ与ＰＳＬ（２，７）是无关的，则Ｇ是π－可分的；（４）令Ｐ是一个奇素数，则其每个极小Ｐ－子群一Ｓ－半正规的有限群Ｇ－一定是Ｐ＝超可解的。     

幂零Hall π-子群的存在性

本文首先将Ｈａｌ定理推广为：设Ｎ为Ｇ的正规子群，若Ｎ为Ｅｎπ群，Ｇ／Ｎ为Ｄπ群，则Ｇ为Ｄπ群．在此基础上得到了群Ｇ为Ｅｎπ群的充要条件为：（１）Ｇ存在正规子群Ｎ，满足Ｎ及Ｇ／Ｎ为Ｅｎπ群；（２）对任意ｐ∈π，任意ｑ∈π ｛ｐ｝及任意ｐ 元素ｘ，ＣＧ（ｘ）含Ｇ的Ｓｙｌｏｗｑ 子群．另外，我们对非Ａｂｌｅ单群的情形也进行了一些讨论．     

二次极大子群中2阶及4阶循环子群拟正规的有限群

本文讨论２阶及４阶循环子群对群结构的影响．主要结果是下述定理：如果有限群Ｇ满足标题的条件，那么下列情形之一成立：（１）Ｇ有正规Ｓｙｌｏｗ ２－子群；（２） Ｇ为 ２－幂零；（３） Ｇ ≌ Ｓ４；（４） Ｇ＝ＰＱ，其中 Ｐ为阶 ２４广义四元数群， Ｑ为 ３阶循环群；（５） Ｇ ≌ Ａ５或 ＳＬ（２，５）．     

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

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

非幂零极大子群指数为素数幂的有限群

本文证明了如下结果，１．设ｐ是一个素数，如果有限群Ｇ的每一非幂零的极大子群的指数都为ｐ的方幂，则Ｇ为可解群．２．如果有限群Ｇ的每一非幂零的极大子群的指数为素数幂，则Ｇ／Ｓ（Ｇ）１或ＰＳＬ（２，７），其中Ｓ（Ｇ）表示Ｇ的最大可解正规子群．     

U1－sr条件

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

PID环上矩阵模的保秩1映射及应用

设Ｒ为含１主理想整环（简记为ＰＩＤ），本文刻划了矩阵模Ｍｎ（Ｒ）上保秩１线性映射的形式；作为其应用，给出了域上矩阵空间的保线性群及Ｍｎ（Ｒ）上保非零行列线性映射的形式，即它们为：Ｔ（Ｘ）＝ＰＸＱ，Ａ↑Ｘ∈Ｍｎ（Ｒ），或Ｔ（Ｘ）＝ＰＸｔＱ，Ａ↑Ｘ∈Ｍｎ（Ｒ）。其中ｄｅｔ（ＰＱ）≠０。     

关于2－因指数群

如果有限群Ｇ的每个极大子群的指数的质因子个数（重因式按重数计算）都小于或等于ｎ，则称Ｇ为ｎ－因指数群。本文用单群分类定理证明了定理设Ｇ为非可解２－因指数群，则Ｃ／Ｓ（Ｇ）同构于下列形式的群之一：Ｎ＿１×Ｎ＿２×…×Ｎ＿ｔ其中Ｎ＿ｉ∈｛Ａ＿５，Ｓ＿５，Ａ＿６，Ｓ＿６，Ａ＿７，Ｓ＿７｝，Ｎ＿１，Ｎ＿２，…，Ｎ＿ｔ两两不同，ｔ＝１，２，３，４，５，６．     

Hyperabelian群的Abel子群

本文利用Ｄｉｒｉｃｈｌｅｔ单位定理证明了：设Ｇ是个Ｈｙｐｅｒａｂｅｌｉａｎ群．若Ｇ的亏数２的次正规Ａｂｅｌ子群都是有限生成的，则Ｇ是个多重循环群，且Ｇ的Ｈｉｒｓｃｈ数ｈ（Ｇ）ｎ２＋ｎ，其中ｎ是Ｇ的亏数２的次正规Ａｂｅｌ子群的最大０－秩．这个定理进一步推广了Ｍａｌｃ＇ｅｖ关于多重循环群的著名工作［５］．     

Sylow－正规化子属于群系F的有限群

设Ｆ是可解的，子群闭的，由｛ｆ（Ｐ）｝所局部定义的群系，Ｆｐ是由｛ｆ（ｑ）｝定义的ｐ－局部定义群系．Ｎ为幂零群系．本文证明了：１）设Ｆ满足：任一群属于Ｆ，当且仅当，对每ｐ．其ｐ－Ｓｙｌｏｗ－正规化子属于Ｆｐ．于是“群Ｇ∈Ｎ．Ｆ（幂零由Ｆ的扩张）的充要条件是，对每Ｐ，其ｐ－Ｓｙｌｏｗ－正规化子的Ｆｐ剩余次正规于Ｇ内．２）群Ｇ为超可解的充要条件是，对每ｐ，其ｐ－Ｓｙｌｏｗ－正规化子为ｐ－超可解，且其幂零剩余次正规于Ｇ内．若对每ｐ，群Ｇ的ｐ－Ｓｙｌｏｗ子群无商群与ｐ２－次对称群的ｐ－Ｓｙｌｏｗ子群同构，则称Ｇ为Ｂ－群．３）设Ｇ为Ｂ－群，又群系Ｆ含于σ－Ｓｙｌｏｗ塔群系内．于是①Ｇ∈Ｆ，当且仅当，对每ｐ，Ｇ的ｐ－Ｓｙｌｏｗ－正规化属于Ｆｐ；②Ｇ∈Ｎ·Ｆ，当且仅当，对每ｐ，Ｇ的ｐ－Ｓｙｌｏｗ－正规化子的Ｆｐ剩余在Ｇ内次正规．     

关于HSOLSSOM（2^nu^1）的谱

本文讨论型为２＾ｎｕ＾１的有对称正交侣的带洞自正交拉丁方（ＨＳＯＬＳＳＯＭ（２＾ｎｕ＾１））的谱。证明当ｎ≤９时,ＨＳＯＬＳＳＯＭ（２＾ｎｕ＾１）存在的充分必要条件是ｕ为偶数且ｎ≥３ｕ／２＋１;当ｎ≥２６３时,若ｕ为偶数且ｎ≥２（ｕ－２）,则ＨＳＯＬＳＳＯＭ（２＾ｎｕ＾１）存在。     

GL(n,Z)中的局部有限子群的一点注记

证明了：若Ｇ是一般线性群ＧＬ（ｎ,Ｚ）中的局部有限子群,则Ｇ含有一个２~ｍ阶的初等阿贝尔２－子群,且 Ｇ同构于 ＧＬ（ｎ,Ｚ_ｐ）的一个子群,其中户为任意奇素数．当 ｎ＝１,２,３,４时,Ｇ的阶分别是 ２,３· ２~ｋ（ｋ＝ｍｉｎ（４,ｍ＋１）,０≤ｍ≤４）,３·２~ｋ（ｋ＝ｍｉｎ｛５,ｍ＋１｝,０≤ｍ≤５）,３~２·５·２~ｋ（ｋ＝ｍｉｎ｛９,ｍ＋６｝,０≤ｍ≤９）的一个因子,而当ｎ≥５时,Ｇ的阶是（ｐ~ｉ－１）的一个因子,其中ｐ为任意素数．     

环的优越扩张与凝聚维数

设Ｓ和Ｒ是环．本文证明了若下述条件之一成立，则Ｓ和Ｒ具有相同的凝聚维数：（１）Ｓ是Ｒ的优越扩张；（２）Ｓ和ＭＭｏｒｉｔａ等价．作为上述结果的推论，我们证明了环Ｒ和下述环类具有相同的凝聚维数：（ｉ）Ｒ上的矩阵环Ｍｎ（Ｒ）；（ｉ）Ｒ和有限群Ｇ（要求｜Ｇ｜－１∈Ｒ）的斜群环；（ｉｉ）Ｓｍａｓｈ积Ｒ＃Ｇ＊（要求Ｇ是有限群且｜Ｇ｜－１∈Ｒ，Ｒ是Ｇ分次环）     

子群为拟正规或自正规的有限群

本文研究了每个子群为拟正规或自正规的有限群，给出了这类群的完全分类，主要结果为定理Ｇ的每个子群为拟正规或自正规当且仅当Ｇ为下列情形之一：Ⅰ）Ｇ为拟Ｈａｍｉｌｔｏｎ群，Ⅱ）Ｇ＝ＨＰ，其中Ｈ为Ｇ的正规ａｂｅｌｉａｎｐ＇－Ｈａｌｌ子群．Ｐ＝〈ｘ〉∈Ｓｙｌ＿ｐ（Ｇ）。〈ｘ￣ｐ〉＝Ｏ＿ｐ（Ｇ）＝Ｚ（Ｇ），ｘ在Ｈ上诱导Ｈ的一个ｐ阶无不动点的幂自同构．ｐ为｜Ｇ｜的最小素因子。由此定理可得文［１］所获得的定理。     

一个除数问题的推广

本文推广了Ｒ．Ａ．Ｓｍｉｔｈ，Ｍ．Ｖ．Ｓｕｂｂａｒａｏ和Ｇ．Ｎｏｗａｋ所考虑的一个除数问题．令Ｓ＝｛（ａｉ，ｑｉ）｜ａｉ≤ｑｉ｝（ｒ≥３）．定义ｄ（ｎ；Ｓ）＝Σ（１）１，Σ（１）表示对满足ｎ＝ｍ１…ｍｒ，ｍｊ≡ａｊ（ｍｏｄｑｊ），ｊ＝１，２，…，ｒ的诸ｍｊ求和．我们求出了Σｎ≤ｘｄ（ｎ；Ｓ）的渐近公式，并得到了余项估计．     

模糊群的若干性质

本文证明了下述结果：设μ是群Ｇ的模糊子群，那么１，若ν（ｘｙ＾－１）≥ｍａｘ（μ（ｘ），μ（ｙ），μ（ｘ）＝μ（ｙ）；２。若ｘμ＝ｙμ，则μ（ｘ）＝μ（ｙ）；３．μ是模糊正规子群当且仅当μｖ＝ｖμ。４本文指出［３］的命题２与定理６的证明都是错误的，但定理６的结论是正确的，本文给出一新的证明。     

复合等差(比)数列的通项公式及其应用

我们看两类函数（１）｛ａｆ（ｎ）｝　（ｎ＝１,２,…）（２）｛ｆ（ａｎ）｝　（ｎ＝１,２,…）如果数列（１）、（２）是等差（比）数列,那么我们把它们称为复合等差（比）数列．于是,ａｆ（ｎ）＝ａｆ（１）＋（ｎ－１）ｄ或ａｆ（ｎ）＝ａｆ（１）ｑｎ－１．例１　数列｛ａｎ｝满足２Ｓ２ｎ＝２ａｎＳｎ－ａｎ（ｎ≥２）,ａ１＝２,求ａｎ及Ｓｎ．解　将ａｎ＝Ｓｎ－Ｓｎ－１（ｎ≥１）代入等式,得　　　　２ＳｎＳｎ－１＝Ｓｎ－１－Ｓｎ．因为ａ１＝２≠０,故Ｓｎ≠０,上式可变为１Ｓｎ－１Ｓｎ－１＝２,∴　数列｛１Ｓｎ…     

最佳L2局部逼近存在唯一的充分必要条件

本文给出了最佳Ｌ２局部逼近的存在唯一性定理，设ｆ∈Ｌ２（０，δ），Ｓｎ＝ｓｐａｎ（ｕ０，ｕ１，．．．Ｕｎ－１）Ｃ＾ｎ－１（０，δ），且ｄｅｔＷｎ（ｕ０，ｕ１，．．．ｕｎ－１；０）≠０，那么，当ｘ→０时，网（Ｐｘ（ｆ，Ｓｎ）收敛于Ｓｎ中某元素Ｐ０（ｆ，Ｓｎ）的充要条件为：ｆ＝Ｐｎ－１＋ｈ，其中Ｐｎ－１（ｔ）＝ｎ－１∑ｉ＝１ａｉｔｉ（ｈ，１）ｘ＝０（Ｘ＾ｎ），ｘ→０，且Ｐ０（ｆ，Ｓｎ）＝ＵＷ＾－１ｎＡ     

极小子群与超可解性

本文利用极小子群及Ｓｙｌｏｗ子群的“半正规”性得到有限群超可解的若干结果。其中定理１统一地推广了文〔１〕，〔２〕，〔４〕中几个定理，定理２，３也使文〔４〕中一些结果得到进一步推广。     

等差数列前n 1项同次幂和的递归关系

等差数列前ｎ＋１项同次幂和的递归关系李朝星（湖北师范学院４３５００２）设ａ，ｄ是任意实数但ｄ≠０，ｋ为非负整数．用Ｓｋ（ｎ；ａ，ｄ）表示等差数列ａ，ａ＋ｄ，ａ＋２ｄ，…，ａ＋ｎｄ，…的前ｎ＋１项ｋ次幂的和，即Ｓｋ（ｎ；ａ，ｄ）＝ａｋ＋（ａ＋ｄ）ｋ＋（...