有限素数度弧正则图.pdfVIP

中国科学 ：数学 2014年 第44卷 第3期：307 315 《中国科学》杂志社 SCIENCE CHINA PRESS 有限素数度弧正则图 潘江敏 ，丁素云，刘寅 云南大学数学与统计学院，昆明 650091 E—mail：jmpan@ynu．edu．cn163．corn，liuyinjiayou@sina．corn 收稿 日期：2013—07-03；接受 日期：2013—12—10； 通信作者 国家 自然科学基金 f批准号资助项 目 摘要 如果一个图的全 自同构群在其弧集上正则，则称此图为弧正则图．本文刻画素数度的立方 自由 阶弧正则图，证明任何素数度 2倍奇立方 自由阶弧正则图都是正规或二部正规 Cayley图，且不存在任 意素数度 4倍奇立方 自由阶的弧正则图，推广 了一些已知的结果，得到阶为 8倍奇平方 自由阶素数度 弧正则图的分类，并发现新的弧正则图类．此外，基于所得的结果，我们提出一个猜想和有待后续研究 的一些问题． 关键词 弧正则图 Cayley图 自同构群 立方 自由阶 MSC (2010)主题分类 20B15，20B30，05C25 1 引言 在本文中，所考虑的图都是度数大于等于 3的无 向单图． 对于一个图 ， 令 ， ，和 AutF分别表示它的顶点集、弧集和全 自同构群．若 AutF在 ， 上正则，则称 ，为弧正则图 f或 1一正则图)．若 AutF的一个子群 在 ，上正则，则称 ，为 一弧 正则图．易知，弧正则图都是连通图． 设G为一个群，s为G＼{1}的一个非空子集，且满足 s=s ：={9—1lg∈ }．定义群 G关于 s 的Cayley图 (记为Cay(G，S))如下：顶点集为 ，=G，顶点g与h邻接当且仅当hg_1∈s．众所周 知，一个图 ，与群 G上的一个 Cayley图同构当且仅当AutF包含一个与G 同构且在 ，上正则的 子群 [，命题16引．设X≤AutF，图 ，称为 一正规 Cayley图，如果 包含一个在 ，上正则的正规 子群；图 称为 一二部正规 Cayley图，如果 有一个正规子群在 ，上半正则且恰有两个轨道； 特别地，如果 X=AutF，则 F分别称为正规 Cayley图或二部正规 Cayley图． 由定义可知，弧正则图与其全 自同构群密切相关．由于确定己知图的全 自同构群是代数 图论中的 基本课题之一，弧正则图的刻画受到了众多学者的关注．例如，文献 2『-51给出了小度数弧正则图的一 些构造；文献 6【1得到了素数度平方 自由阶弧正则图的分类；文献 7【，8]证明了存在 2p阶和 6p阶 (其 中P为素数)的3度弧正则图的充分必要条件是3I(P一1)．此外，文献 [8]证明了不存在4倍奇素数 和4倍奇素数平方阶的3度弧正则图，文献 f91证明了不存在 4倍奇平方 自由阶的3度弧正则图．本 文的第一个结果刻画素数度立方 自由阶弧正则图，特别地，证明不存在任意素数度的4倍奇立方 自由 阶弧正则图，推广 了上述结果．一个正整数 n称为平方 自由、立方 自由或四次自由的，如果不存在素 数 P分别有 P l礼，P0ln或 P l礼成立． 潘江敏等：有限素数度弧正则图 定理 1．1 设 礼为立方 自由的奇整数，则下面的结论成立： (1)不存在任意素数度的4n阶连通弧正则图； f21任何 2n阶的素数度连通弧正则图都是正规 Cayley图或者二部正规 Cayley图． 基于正规 Cayley图和二部正规 Cayley图的一些很好的性质 [1012]，定理 1．1(21中的图有很好的 刻画．例如，容易证明，定理 1．1(2)的正规 Cayley图都可以表示为 Cay(a，S)(这里的群 G 己被文 献 [13]完全确定)，其中S=9(，g∈G为二阶元， 为满足 (9(∞) G的群 G的P阶白同构．然而， 要完全确定这些图的具体构造在 目前看来仍是困难的． 文献 f14]得到了8倍素数阶和8倍素数平方阶的 3度弧传递图的分类．本文的第二个结果刻画 了任意素数度 的8倍奇平方 自由阶弧正则图． 定理 1．2 设 ，为素数度的8倍奇平方 自由阶的连通弧正则图，则下列情形之一成立： (1)F=cq(