在本章中我们主要研究点传递图的同构问题类似于cayley图的同构.docVIP

单群的点传递图的GI-性质 陈静 (湖南第一师范学院，湖南，长沙，410205) 摘要：针对点传递图的同构问题的研究，类似于Babai关于Cayley图为CI图的充分必要条件，给出了点传递图为GI-图的判别准则，研究了单群的点传递图的GI-性质. 关键词：点传递图；单群；陪集图；GI-图 ； The GI-properties of the vertex-transitive graphs of simple groups Jing Chen (Hunan First Normal University, Hunan, Changsha, 410205) Abstract: On the isomorphism problem of the vertex-transitive graphs, we give the criterion for a vertex-transitive graph to be a GI-graph , analogous to the conditions for a Cayley graph to be a CI-graph given by Babai. On basis of this, we attack the GI-properties of the vertex-transitive graphs of simple groups. Keywords: vertex-transitive graphs; simple groups; coset graphs; GI-graph; 0 引言 设是一个图, 、、以及分别表示图的顶点集、边集、弧集以及全自同构群. 令是的一个子群, 如果传递地作用在图的顶点集、边集或弧集上, 则分别称图是-点传递的、-边传递的或-弧传递的. 如果在的顶点集、边集或弧集上是传递的, 则分别称图是点传递、边传递或弧传递的. 设是一个有限群, 是的不含单位元的子集, 定义群关于的Cayley图记作, 其中点集和边集分别为. 是连通的当且仅当. 显然，Cayley 图一定是点传递图.但是，并不是所有的点传递图都是Cayley图，如最小的点传递非Cayley图‐Petersen图. 图的同构问题的判断, 是图论研究以及决定图的同构类的基本问题. 对于Cayley图, Cayley图同构问题研究起源于1967年Adam提出的一个猜想: 每个有限循环群都是DCI‐群. 在过去的几十年里, 该问题得到了广泛的研究, 参见文献[1-3,5-11]. 由于很多点传递图 ___________________________ 通讯作者：陈静（1983-），讲师，主要从事图论的研究，chenjing827@126.com 基金项目：国家自然科学基金资助项目 (NO 并不是Cayley图, 下一步的研究对象就由Cayley图转移到点传递图上了[4].对于点传递图, 我们希望能通过其点传递自同构群来判断它们是否同构, 即通过群的性质判断两个-点传递图是否同构. 一个-点传递图称为的-图,如果对于任意的图,当时,存在使得, . 其中, 表示群自同构诱导的图同构. 特别的,当时,是的Cayley图, 如果它是的-图,则被称作的-图. -图在过去几十年得到了广泛的研究. 类似于Babai关于Cayley图成为-图的充分必要条件的研究,本文讨论了-点传递图成为的-图的充要条件,研究了单群的点传递图的-性质. 1 GI-图的判别准则 设是一个群, 为的子群, 为的子集, 定义群关于和的陪集图, 其中顶点集为, 对任意的,与邻接当且仅当,记作. 当时, 即为Cayley图.在此, 给出陪集图的一些性质. 性质1.1 (1) 是无向的当且仅当, 其中; (2) 传递地作用在点集上,作用的核恰好是在中的核, 即包含在中的的极大正规子群; (3) 是连通的当且仅当; (4) 是-弧传递的当且仅当存在元素, 有, 且. 我们给出点传递图的陪集图表示. 令 是一个-点传递图, , 是中将映射到的邻接点的元素的集合. 此时, 就由唯一决定: 令,将等同于,在点集上的作用就等价于在上的右乘作用. 特别的, 将等同于, 则 就包含了所有的元素, , 更进一步, 有 当且仅当. 于是, 我们就定义了图的陪集图的表示, 并记做. 对于点传递图的陪集图表示的构造,将等同于,从而图的自同构群就包含了子群,即的右乘变换所诱导的群,记作,其中对于所有元素,有.显然,传递地作用在上.为方便起见,将记作. 令是一个-点传递图，令.任取元素，则以自然的方式诱导了上的置换，定义. 引理1.2[5]设是一个陪集图, 令，,则. 引理1.3 设是群的点传递图，则是的-图,当且仅当中