4p阶三度点传递图.pdfVIP

数 学 年 刊 2009，30A(5)：677—684 4p阶 三度 点传 递 图 木木 李艳 涛术 冯 衍 全木 提要 一个 图称为点传递 图或对称图如果它的自同构群分别在点集或点集有序对上传递．设P为素数，给 出了4p阶连通三度点传递图分类 (徐明曜等在 C【hin．Ann．Math．，2004，25B(4)：545—554】中分类 了4p阶连通三度对称图)．确定了4p阶互不同构的连通三度点传递图的个数 ，(4p)；当P=2，3，5，7 时，，(4p)分别为 2，4，8，6；当P≥11且 4l(P一1)时，，( )=5+ ；当P≥11且4十(P一1) 时， ，(4p)=3+ ． 关键词 对称图，点传递图，Cayley图 MR (2000)主题分类 05C25，20B25 中图法分类 O157．5，O152．9 文献标志码 A 文章编号 i000—8314(2009)05—0677—08 1 引 言 本文中研究的图为有限简单无向图．给定图 ，分别用 ()，E(X)和Aut(X)表示 它的顶点集合，边集合和 白同构群．称 中有序 (s+1)一元顶点集 (V0，V，… ，V一1，V)为 s一弧，如果 (Vi，V计1)∈E()，0≤i≤s一1，并且当 s≥2时，有Vi≠Vi十2，0≤i≤8—2．称 图 为 s一弧传递如果Aut(X)传递地作用在 的s一弧集合上．特别地，0一弧传递叫做点传 递，1一弧传递叫做弧传递或对称．给定有限群 G和它的一个满足S=S_。：{s l8∈ } 且 1 S的子集s，群G关于 s的Cayley图Cay(G，S)定义为具有顶点集合 G和边集合 {{夕，)lg，h∈G，gh ∈S)的图． Cayley图Cay(a，S)是连通的当且仅当 G= ()，即 s生成 G．易证G的右正则表示 R(a)为Aut(Cay(G，s))的子群．因此，所有 Cayley图 都为点传递 图． 近年来，给定阶的点传递 图和对称图的分类得到了广泛关注．对于素数 P，文 1『]分 类了P阶对称图，文 [2】分类了2p阶对称图． 3p阶对称图的分类在文 [3]中完成，之后 Praeger等在文 [4，5]中给出两个不同素因子之积阶的对称图分类．Turner和Maru甑 分 别在文 [6，7】中分类了阶为P和 阶的点传递图．对于pg阶点传递图，文 [8，9】给出了 一 些刻画．自从 Tutte在文 [10】中对三度对称图的点稳定化子刻画之后，近几十年来三 度对称图被广泛研究，得到了许多三度对称图的构造和分类．例如文 [11，12]找到 47上 的两个三度 5一弧传递 图，并证 明它们是非交换单群上仅有的三度 s一弧传递图，其中s≥3． 在文 1【3]中分类了卸 阶连通三度弧传递 Cayley图，更多三度对称图分类见文 [14—16]． 基于文 [17]中给出的三度点传递非 Cayley图分类和文 [18]中卸 阶连通三度 Cayley图的 自同构群研究结果，本文分类了卸 阶连通三度点传递图．记 阶互不同构的连通三度 点传递图的个数为 l厂()，我们证明了当P：2，3，5，7时，，()分别为2，4，8，6；当P≥11 且4l 一1)时，，(4p)=5+ ；当P≥11且 4十(P一1)时，，()=3+p下--3． 本文 2009年 1月 23日收到． 北京交通大学数学系，北京 100044．E—mailbjtu．edu．cn；yqfeng@bjtu．edu．ca 国家自然科学基金 (No资助的项 目． 678 数 学 年 刊 30卷 A辑 本文中z 表示佗阶循环群和模 n的剩余类环，z 表示 z 的乘群，即由z 中与 n互素的元素组成的乘法群． D2表示 2礼阶二面体群， 表示 n次交错群．对两个 群M 和 Ⅳ，N ≤M 表示 Ⅳ为M 的子群，而 N M 表示 Ⅳ为M 的真子群．由初等 群论，我们知道在同构的意义下，对于P≥5有三类 4p阶非交换群： D4p= (a，bl0p=b=1，b-aab=a-1)； F4p=(0，bl0p=b=1，b-Xab=a