论文部分内容阅读
在代数图论中,图的对称性是一个重要的研究课题,而图的对称性主要是通过其自同构群在图的各个对象上的作用来描述的。本文主要研究具有边传递性质的图。给定一个图Γ,我们用V、E和Arc(Γ)分别表示图厂的点集、边集和弧集,其中点集的势称作图厂的阶。设G≤AutΓ,若G传递地作用在点集V、边集E或者弧集Arc(Γ)上,则称图Γ分别是G-点传递的、G-边传递的或者G-弧传递的。正则G-边传递但非G-点传递的图叫做G-半对称图,G-点传递同时G-边传递但非G-弧传递的图叫做G-半传递图。众所周知,一个有限正则的G-边传递图一定是下列图中的一种:(1)G-弧传递图;(2)G-半传递图;(3)G-半对称图。这三类图中的任何一类在过去的几十年都有广泛的研究,从而刻划或者分类边传递图是有意义的。
本文主要的工作就是刻划和分类无平方因子阶的边传递图。近年来,这类图以及同类点传递图的刻划和分类已经引起了广泛关注。基于Liebeck-Saxl的含有一个极大素因子的本原置换群分类结果,许多特殊情况得到了解决。2004年李才恒和A.Seress得到了无平方因子次数的本原置换群分类定理,这给我们的研究提供了一个更有效的工具。首先,我们刻划了边传递基本图。称图Γ是基本图,如果它的任何一个非平凡的正规商图至多有两个顶点。每一个无平方因子阶的边传递图都是其基本图的一个正规覆盖或者它的正规商图是一个星,从而研究边传递图的一个核心问题就是研究基本边传递图。本文中,我们让明了对于给定度数的图除了几个特殊图类外,只有有限多个边传递图是基本图。我们还分类了四度无平方因子阶的点边传递图,它们或者是Cb[(K)2],或者是弧正则Metacirculant,或者是边正则Metacirculant,或者是本文给出的某些图的圈覆盖。基于对边传递基本图的刻划,我们进一步研究了无平方因子阶的局部本原图。称图Γ为局部本原图,如果AutΓ的点稳定子在任何一个点邻域上是本原的。在本文中,我们给出了无平方因子阶局部本原图一个刻划:给定度数的无平方因子阶局部本原弧传递图或者是二面体群的正规Cayley图、或者是PSL(2,p)-局部本原图、或者是四度的PSL(2,p)-边传递图、或者是有限个图的正规覆盖。本文还分类了度数不超过7的无平方因子阶局部本原弧传递图,它们或者是一个素数度的二面体群的正规Cayley图、或者是PSL(2,p)的边传递图、或者同构于本文给出的有限个2-弧传递图中的一个。上述分类结果使得我们很自然地去研究无平方因子阶的2-弧传递图。称图Γ为2-弧传递图,如果AutΓ在Γ的所有2-弧上是传递的。本文中我们研究了基柱为交错群的几乎单型的2-弧传递图,通过考察其具有无平方因子阶指数的子群结构给出了该类图一个完全分类。以后将会继续研究无平方因子阶2-弧传递图。在研究无平方因子阶的边传递图过程中,我们得到一类特殊的四度G-边传递图,其中G有一个正规子群M在顶点集V上作用半正则且恰好有两个轨道。本文把此类图推广到一般的情况,证明了任何一个连通的双正规Cayley图都不是3-弧传递的,从而回答了李才恒在2004年提出的是否存在3-传递双正规Cayley图的问题。