关于π-可解群的π-Sylow系理论

通过引入π—Sylow系与π—系正规化子的概念，将可解群的Sylow系理论作以推广．利用π—可解群以及π-可分群的性质证明了π-可解群的π-Sylow系(补系)的存在性，进而建立了关于π-可解群的π-Sylow系理论，得到了关于π—可解群的一些定理．     

π—Fitting子群

设Ｇ为有限群，π为一素数集。本文推广Ｆｉｔｔｉｎｇ子群而定义了Ｇ的π－Ｆｉｔｔｉｎｇ子群Ｆπ（Ｇ），得到了它的若干性质，进而考查了Ｆπ（Ｇ）的结构。     

关于π‘—闭九的一个充分条件

证明了定理：设有限群Ｇ的每个非Ａｂｅｌ截段均含有１０元，则Ｇ是π’－闭群当且仅当Ｇ是π－齐次群。     

π—塔群及其性质

研究了一类介于π－幂零群与π－可解群之间的群－π塔群的若干性质，给出了有限群为π－塔群的几个充要条件。     

π—可解群的一个结构定理

将p-可解群的有关结果推广到π-可解群的一个结构定理,设G为π－可解群,N为G的任意非单位正规子群,如果商群G／N的π－长不超过k,而G的π－长大于k,则G的极大正规π′－子群,Frattini子群为单位群,且G有唯一的极小正规子群F（G）。     

关于π—齐次群为π′—闭群的一个判别条件

证明了定理：如果形如2^p-1的数不是π－数,对任何素数p,则有限群G为π′－闭群的充分必要条件是G为π－齐次群。     

π-塔群的若干性质

研究了一类介于π—可解群与π—幂零群之间的群——π—塔群的性质和结构，井由此得到了一系列判别有限群为π—塔群的充要条件．     

π—可解群的π—正规化子

研究了π－可解群的π－正规化子，揭示了群Ｇ的π－正规化子与其子群π－正规化子之间的相互关系。     

关于有限π—幂零群的几个充分条件

在文献［１］研究π－可解群的π－性质的基础上，利用其定义的π－中心和π－超中心的概念，得到了有限π－可解群为π－幂零群的几个充分条件，并给出了π－超中心的两个刻划。     

关于Гk—πn群（Ⅱ）

探讨了π－可解外Гｋ－π群和π－可解极小非Гｋ－πｎ群的结构，得到了优于其它文献的结果。     

有限群π-可解的充要条件

用极大子群的θ—子群偶给出了有限群π—可解以及π—超可解的充分必要条件。     

关于π-幂零群的几个充要条件

利用π-超中心和π-齐次性的性质，对π-幂零群作了较详尽的研究，得到了有限群为π-幂零群的几个充要条件，推广了一些著名的定理。     

π-超可解群

给出了π－超可解群的若干刻画，通过强π－闭群得到了π－超可解群相应的特征性质。     

关于π－可分群的特征标

根据商群的π-块理论，用π-块论条件刻画几类π-可分群，推广了一些p-可解群上的模表示论结果。     

右群同余和π-群

给出了π—正则半群关于右群同余的一个等价命题以及与其相关的π—群的几个命题。     

特征标的π-限制和π-分量

提出特征标的π-限制和π-分量两个概念，考察了它们的基本性质，特别是证明了特征标的π-限制概念恰为Isaacs所引入的特征标的π-诱导概念之对偶，作为应用，得到了Isaacs一个特征标对应定理的π-形式。     

π—块覆盖的特征标对应

从特征标诱导对应的角度讨论了π－块覆盖的Ｃｌｉｆｆｏｒｄ定理，推广了ｐ－块论中的相关结论。     

一类新型的模块化高级Petri网--π-网

π-网是一类新型的模块化的高级Petri网．π-网有机地结合了两类并发模型Petri网和π-演算，π-网既可称为Petri网中的π-演算，又是π-演算的Petri网形式的体现，从而在语义上实现了从π-演算到Petri网的一种自动翻译，较完整地解决了π-演算的分布式语义问题．在π-网中，任一π-网都可由五类基本π-网：Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成，这一结果不仅使得一个π-进程能够在π-网中得到自动的演进，也使π-网自身具有了极大的可操作性和可计算性．     

π—正则半群的最小群同余

借助于一种关系R，利用幂等元方法给出了π-正则半群的一个最小群同余。     

关于不可约π—部分特征标的扩张条件（Ⅲ）

设G是π－可分解群，H是G的子群，本讨论了|G:H|为π′数，特别地H为G的Hallπ－子群时，H的不可约π－部分特征标可扩张的几个充要条件。