李美艷，游興中

(長沙理工大學數(shù)學與計算科學學院,湖南 長沙 410004)

非中心元的共軛類較少的有限群*1

李美艷，游興中

(長沙理工大學數(shù)學與計算科學學院,湖南 長沙 410004)

研究了有限群的非中心元的共軛類對群結構的影響,給出了至多有4個非中心的共軛類的有限群分類.

有限群；共軛類；Frobenius群

有限群共軛類個數(shù)對群結構影響的問題已得到廣泛研究.例如,文獻[1]在早期刻畫了共軛類個數(shù)不大于5的有限群的分類,后來文獻[2-5]在此基礎上，刻畫了共軛類個數(shù)不大于14的有限群的結構.因為有限群的中心元只能與自身共軛,所以每一個中心元是一個類,于是自然地出現(xiàn)一個問題：僅考慮非中心元的共軛類的個數(shù),能否對有限群的結構給出一些刻畫?筆者給出非中心的共軛類的個數(shù)不大于4的有限群分類.

文中令G為有限群,Z(G)為G的中心,Cn表示n階的循環(huán)群;對x∈G,o(x)表示x的階;xG表示G的含x的共軛類;若A?G,kG(A)表示G的與A的交非空的共軛類的個數(shù),則kG(G-Z(G))為G的非中心元的共軛類的個數(shù).當A=G時,記kG(A)=k(G);令N×fH表示以N為核、H為補的Frobenius群.其他的記號和術語都是標準的.

1 相關引理

引理1[1]設G為有限群,k(G)為G的共軛類的個數(shù)，則：

(ⅰ) 若k(G)=1,2,則G?1或C2;

(ⅱ) 若k(G)=3,則G?C3或S3;

(ⅲ) 若k(G)=4,則G?C4,C2×C2,D10或A4;

(ⅳ) 若k(G)=5,則G?C5,D8,Q8,D14,A5,C7×fC3,C5×fC4或S4.

引理2[6]設G為有限群,N為G的正規(guī)子群,H為G的子群且滿足G=HN和H∩N=1，則下列一些說法等價：

(ⅰ)G=N×fH;

(ⅱ)CG(n)≤N對所有1≠n∈N;

(ⅲ)CG(h)≤H對所有1≠h∈H.

引理4 若G為有限非交換群,N為G的正規(guī)群,則kG(G-N)=1當且僅當G是以N為核的Frobenius群，且|N|=|G|/2.

證明若kG(G-N)=1,令G-N=xG,因為kG/N(G/N-N/N)≤kG(G-N),所以k(G/N)=2，從而|G/N|=2且kG/N(G/N-N/N)=kG(G-N)=1.由引理3(ⅱ)得|CG(x)|=|CG/N(xN)|=2,于是CG(n)≤N對任意1≠n∈N.由引理2(ⅱ)得G是以N為核的Frobenius群.

若G是以N為核的Frobenius群且|N|=|G|/2,令H為G的Frobenius補,由引理2(ⅲ)可得CG(y)≤H對任意1≠y∈H.于是|CG(y)|=2且|yG|=|G:CG(y)|=|G|/2=|yN|，從而yG=yN,kG(G-N)=1.

引理5 若有限群G有一個元素x∈G使得|CG(x)|=4，令P∈Syl2(G),則或者|P|=4或者P為二面體群、半二面體群或廣義四元數(shù)群.特別地,|P/P′|=4且P有一個階為|P|/2的循環(huán)子群.

證明設P∈Syl2(G),由|CG(x)|=4可以假定CG(x)≤P,于是CG(x)=CG(x)∩P=CP(x),因此|CP(x)|=4.若P交換,則顯然有|P|=|CP(x)|=4;若P不交換,則4||P/P′|.但|CP(x)|=|P/P′|+Σχ∈Irr(P|P′)|χ(x)|2,因此Σχ∈Irr(P|P′)|χ(x)|2=0且|P/P′|=4.從而由文獻[7]的第3章定理11.9得引理5成立.

引理6 設G為有限群,Z(G)為G的中心,x∈G-Z(G),有：

(ⅰ) 若G/Z(G)為循環(huán)群,則G為交換群;

(ⅱ) 若|CG(x)|=p,其中p為素數(shù),則Z(G)=1.

證明(ⅰ) 因為G/Z(G)為循環(huán)群,所以G/Z(G)=xZ(G)對某個x∈G,因此G=x,Z(G)為交換群.

(ⅱ) 對任意x∈G-Z(G),顯然有Z(G)≤CG(x),于是|Z(G)|||CG(x)|.若|CG(x)|為素數(shù)p,則|Z(G)|=1或p.若|Z(G)|=p,則CG(x)=Z(G),于是x∈Z(G),矛盾,故|Z(G)|=1,從而Z(G)=1.

引理7 若G為非交換的有限群且kG(G-Z(G))=4,則G/Z(G)為非交換群.

2 定理及其證明

定理1 若G為有限非交換群,則kG(G-Z(G))≥2,其中等號成立當且僅當G?S3.

定理2 若G為有限非交換群,則kG(G-Z(G))=3當且僅當G?A4,D10,Q8或D8.

證明充分性是顯然的,只需證必要性.

定理3 若G為有限非交換群,則kG(G-Z(G))=4當且僅當G同構于下列情形之一的群：A5,D12,Q12,D14,C7×fC3,C5×fC4或S4.

若kG(G-K)=1,由引理4,G是以K為核的Frobenius群且|G/K|=2，于是Z(G)=1,G?S3.但此時kG(G-Z(G))=2,矛盾.

若kG(G-K)=2,可設G-K=wG∪xG且K-Z(G)=yG∪zG,于是|wG|+|xG|=|G-K|=|G|/2,|yG|+|zG|=|G|/3,計算得|CG(w)|=|CG(x)|=4,|CG(y)|=|CG(z)|=6.因為|Z(G)|||CG(w)|,|Z(G)|||CG(y)|,所以|Z(G)|=2,|G|=12,因此G?D12或Q12.

若kG(G-K)=3,可設G-K=wG∪xG∪yG且K-Z(G)=zG,則|K-Z(G)|=|zG|,計算得|CG(z)|=3,由引理6(ⅱ)得|Z(G)|=1,于是G?S3,矛盾.

[1] HUPPERT B.Character Theory of Finite Groups[M].Berlin New York:Walter De Gruyter,1998.

[2] POLAND J.Finite Groups with a Given Number of Conjugate Classes[J].Canad. J. Math.,1969,20:456-464.

[6] ISAACS I M.Character Theory of Finite Groups[M].New York:Academic Press,1976.

[7] HUPPERT B.Endlich Gruppen I[M].Berlian:Springer Verlag,1997.

(責任編輯 向陽潔)

FiniteGroupswithFewNoncenteralConjugacyClasses

LI Meiyan,YOU Xingzhong

(College of Mathematics and Computing Science,Changsha University of Science and Technology,Changsha 410004,China)

How the non central conjugacy classes of a finite group influence its structure is investigated and the finite groups with at most four non central conjugacy classes are classified.

finite group;conjugacy class;Frobenius group

1007-2985(2014)04-0013-04

2014-01-02

國家自然科學基金資助項目(11371072)

李美艷(1989-),女,湖南永興人,長沙理工大學數(shù)學與計算科學學院研究生,主要從事群論研究

游興中(1968-)，男，湖南桃源人，長沙理工大學數(shù)學與計算機科學學院教授，博士，主要從事群論研究.

O152.1

A

10.3969/j.issn.1007-2985.2014.04.003