鐘艷林

(閩南理工學(xué)院 信息管理系，福建 泉州 362700)

在研究有限群結(jié)構(gòu)的諸多方法中，通過元素的性質(zhì)來刻畫有限群的結(jié)構(gòu)一直是令人感興趣的問題。本文就是通過元素的共軛類長(zhǎng)的一些算術(shù)性質(zhì)來刻畫有限群結(jié)構(gòu)的。特別是通過有限群G的每一個(gè)素?cái)?shù)冪階元的共軛類長(zhǎng)無平方因子、無p2因子和不被8整除等性質(zhì)來刻畫有限群的結(jié)構(gòu)。

定義1［1］設(shè)G是有限群，G的所有冪零正規(guī)子群的乘積F(G)仍為G的冪零正規(guī)子群，叫做G的Fitting子群。

定義2［2］設(shè)π是素?cái)?shù)組成的集合且G是π-可解群，如果G的每一個(gè)π-主因子都是素?cái)?shù)階循環(huán)群，則稱G是π-超可解群。

定義3［1］設(shè)G是有限群，如果G滿:?H＜G，H＜PG(H)總是成立，則稱G為PC-群，這里PG(H)=＜|

x|x∈G，＜x＞H=H＜x＞＞。

定義4［1］稱有限群G為π可分群，如果存在的一個(gè)正規(guī)群列G=N0≥N1≥N2≥…≥Nr=1，使Ni/Ni+1為π群或π'群，i=01，2，…r-1。

定義5［3］設(shè)G是一個(gè)有限群，如果對(duì)G的每個(gè)素?cái)?shù)冪階元x，|xG|均元平方因子，則G超可解。

定義6［4］設(shè)G是有限群，Φ(G)=1，則F(G)交換且可由G的所有可解極小正規(guī)子群生成。

定義7 設(shè)G為有限群且F(G)為素?cái)?shù)冪階群，若G的每一個(gè)素?cái)?shù)冪階元的共軛類長(zhǎng)均無平方因子，則G/F(G)循不且其階無平方因子。

證明:設(shè)G是極小階反例。由引理5得G是超可解的，從而G'是冪零群。又G'G，可得G≤F(G)，故G/F(G)交換。若證明了|G/F(G)|無平主因子，則G/F(G)循環(huán)。故只需證|G/F(G)|無平方因子。

由于F(G/Φ(G))=F(G)/Φ(G)，若Φ(G)＞1，則由引理5和G為極小階反例知|G/Φ(G):F(G/Φ(G))|=|G/Φ(G):F(G)/Φ(G)|=|G/F(G)|無平方因子，矛盾。從而有Φ(G)=1，再由引理6得F(G)交換。

因?yàn)镚是極小階反例，|G/F(G)|不能是素?cái)?shù)階群。又G/F(G)交換，故F(G)不是G的極大子群，從而存在H G，H為G的極大子群，使得F(G)＜H＜G且|G:H|=|G/F(G):H/F(G)|=p，p為某一素?cái)?shù)。又F(H)特征于H，H G，得F(H)G，故F(H)≤F(G)。而F(G)≤H，當(dāng)然有F(G)≤F(H)。故F(H)=F(G)。

因?yàn)镠 G，由G是級(jí)小階反例如|H/F(H)|=|H/F(G)|無平方因子。假設(shè)另有一素?cái)?shù)q≠p，q‖G/F(G)‖，則類似上面的討論，我們可以找到L G，L為G的極大子群，使得F(G)＜L＜G，F(xiàn)(L)=F(G)，|G:L|=q且|L/F(L)|=|L/F(G)|無平方因子，矛盾。即不存在另一素?cái)?shù)q≠p，使得q‖G/F(G)|，故可得G/F(G)為p-群。假設(shè)F(G)為p-群，則G為p-群，從而G冪零，有G=F(G)，矛盾。故F(G)為p'-群，因?yàn)閨H/F(G)|無平方因子且H/F(G)≤G/F(G)，得|H/F(G)|=p，所以|G/F(G)|=p|H/F(G)|=p2，又因?yàn)镕(G)交換，由引理5可知，存在A≤G，使得G=F(G)A，其中F(G)∩A=1，|A|=p2。

［1］徐明曜.有限群導(dǎo)引［M］.2版.北京:科學(xué)出版社，1999.

［2］陳波，張志證.對(duì)于某些共軛類長(zhǎng)無平方因子的有限群［J］.數(shù)學(xué)進(jìn)展，2005，34(2);155-159.

［3］X Liu，Y Wang，H Wei.Notes on the length of conjugacy classes of finite gourps［J］.Appl.Algebra，2005，196(1):111-117.

［4］B Huppert.Endlie Gruppen I.Beilin，Herdelberg［M］.New York，Springer Verlag，1967.

［5］I M Isaacs Solvable groups，Character degrees and sets of primes［J］.Algebra，1968，104:209-219.

［6］B Huppert.有限群論:第1卷［M］.姜豪，李惠陵，譯.福州:福建人民出版社，1992.