关于-群结构的讨论.docxVIP

关于-群结构的讨论 在本手册中，所有组都是有限的组。g总是代表一组，p总是代表一组素，表示素集，t（g）表示可以完全消除g的素的全部素。p=t（g），sp（g）表示sy口语p组的sy。其他符号和术语是标准的。 我们知道,若H是K的正规子群,K是G的正规子群,不一定有H为G的正规子群,即正规性不一定是一个传递关系. 例设G=A4是四次交错群,B4={(1),(12)(34),(13)(24),(14)(23)},H={(1),(12)(34)},则H?B4?A4,但是H/?G. 这样在一般的群中,自然地人们就会问:若在群G中正规性是一个传递关系,即对任意H?K?G,有H?G,则群G的结构是怎样的? 定义1 若在群G中,H?K?G,有H?G,则称G为一个T-群. 1957年,Gasch?tz给出了一个可解T-群的结构,后来Robinson对非可解的T-群作了讨论,随后,许多专家给出了T-群的其他特征,如:Robinson,T.A.Peng,M.Bianchi,ect,Li.所有这些构成了有限群的研究中的一个热点.近几十年来,人们致力于推广这方面的工作,当然首先是从推广正规子群开始. 定义2 称群G的子群H为G的拟正规子群,若对G的任意子群K,HK为G的子群. 称群G的子群H为G的S-拟正规子群,若HGp为G的子群,对任意的p∈π(G),?Gp∈Sp(G). 称群G的子群H为G的类正规