关于n元生成群的凯莱图.doc

关于n元生成群的凯莱图（1） 第25卷第3期 2002年9月 辽宁师范大学学报(自然科学版) JournalofLiaoningNormalUniversity(NaturalScienceEdition) Vo1.25No.3 Sep.2002 文章编号:1000.1735(2002)03.0329.03 关于,7元生成群的凯莱图(1) 王艳芳 (大连大学信息工程学院,辽宁大连116622) 摘要:关于n(n=2,3,4)元生成群的凯莱图的一般规律已被讨论,但是,4元生成群凯莱图的具体实例在文献中尚 未见到.该文解决了这～问题,并给出了24阶群的凯莱图,进而对4元生成群的凯莱图进行了探讨. 关键词:凯莱图;有向图;生成群 中图分类号:O152.1文献标识码:A 文[1]中对n(n:2,3,4)元生成群的凯莱图的一般规律进行了探讨,得到了关于n(n=2,3)元生成 群的凯莱图的一些结果.然而,文[1]中未给出4元生成群的凯莱图的具体实例.本文主要是给出了24 阶群的凯莱图,进而对4元生成群的凯莱图进行了探讨. 1预备知识 定义1.1已给n阶群G的定义关系集合为B={R=,}(其中每一个是用一组生成元符号给 出的非空的字),称一个具有n个顶点的有向图G(,E)L2J是群G的凯莱图,如果G(,E)对于B= {R=,}中的每一个定义关系=,都具有齐次性. 所谓”齐次性”是指”若是表示,的字,则无论取什么顶点作起点,所规定的道路是闭道路”.实 际上,群的每一个定义关系均可表为=,,而在凯莱图中则表示一条闭道路. 由L2J知,群D=lt;r,flrn=,=.尸,(矿)=,gt;凯莱图是由两个方向相反的n边形(每边用一表 示)被n条无箭头的边(用.厂表示)相连接而成,其连接法为(rf)=,. 群C–lt;r,flrn=,:,矿=gt;的凯莱图是由两个方向相同的n边形(每边用一表示)被n条 无箭头的边(用厂表示)相连接而成,其连接法为矿=. . 定理1.1…群A1:lt;口,bl口:,=b2,b一1ab=口m¨gt;的凯莱图是由两个同向的2m边形(每边用 表示)被2m条无箭头的边(用b表示)相连接而成的有向图G(,E),其连接法为06=6口一. 推论1.1LlJ将群A,的凯莱图中里面2m边形的所有边的方向都改变,则可得群A2=lt;0,bI口=, = b,b～ab=a一gt;的凯莱图. 定理1.2l1J设群B1的生成元为口(i=l,2,…,n),群Bl的子群的生成元为口(i=l,2,…,n— 1),其定义关系集合为B={R一l=,},且有0=,,n=anai(J=1,2,…,n一1),则Bl的凯莱图为两 个成轴对称的D群的凯莱图,每组对称点是用表示o2=,的无箭头线段连接而成的有向图G(,E). 推论1.2…设群B2的生成元为口(i=1,2,…,n),B2的子群D’的生成元为.f(.『=1,2,…,n一 1),其定义关系集合为B={R一l=,},且有02=,,0=an口(.『=1,2,…,n—1),则在曰l群的凯莱 图(定理2)中改变一个D群的凯莱图所有边的方向,便可得到B2群的凯莱图. 224阶群的凯莱图 24阶群G共有l5个[]: 收稿日期:20O1.1015 作者简介:王艳芳(1960),女,辽宁铁岭人,大连大学副教授 330辽宁师范大学学报(自然科学版)第25卷 (1)循环群C24=G1; gt;; (9)G9=lt;0,b,c,g10=b=c.=,=[0,b]=[0,c]:[b,c],g=,,ag=gO,bg=g0,cg=gc一 : (11)GII=lt;口,b,c,gI口2=b2=c=,,ab=ba,=∞,=cb,g2=口,ag=ga,bg=gb,cg=g℃一 gt;: (12)C12=lt;0,b,c,g102=b=c.=g=,,06=ba,0.12=∞,be=cO,ag=ga,6g=gO,cg=gcgt;; (13)G13=lt;0,为二面体群G12;G为A1类 群;G5为A2类群;这些群的凯莱图在定理1.1,1.2中均已给出. G6的凯莱图由两个方向相反的十二边形(每边用—表示)被六个四边形(每边用表示)连接 而成(如图1). G的凯莱图由两个方向相同的十二边形(每边用表示)被二十四条有向线段—连接而成(如 图2). G8的凯莱图由两个方向相反的十二边形被二十四条有向线段—连接而成. 我们仍用图2中的各顶点标号,但两个十二边形方向相反,G群的凯莱图的具体连接法是:分别以 0,0,0,口’ ,0 . ,0¨为始点,以4,6,8,10,0,2为终点并用连接;分别以0.,0,0,0.,0.为 始点,以9,…1,3,5,7为终点并用连接;分别以l,3,5,7,9,11为始点,以0,0., 0 “ ,0,0,0为终点并用连接;分别以