关于4p阶3度对称图的一点注记.pdfVIP

第9卷 第 10期 2009年5月 科 学 技 术 与 工 程 Vo1．9 No．10 May2009 1671-1819(2009)10—2703—02 ScienceTechnologyandEngineering @ 2009 Sci．Tech．Engng． 数 学 关于 阶3度对称图的一点注记 成会文 (北京市海淀区职工大学，北京 100083) 摘 要 主要 目的是给出徐明曜等给 出了4p(p为素数)阶3度 图 为对称的当且仅当 同构于3维立方体Q3，正十二面体 D20，广义Petersen图P(10，3)，及Coxfr图C2s-~--的简短证明。关于4p阶连通3度对称图的分类结果的一个简短证明，其 中P为素数。 关键词 对称 图 商图 正规子群 中图法分类号 0152．1； 文献标志码 A 以 表示 阶循环群，分别以A 和S表示 n 且有Aut(P(10，3)) S5×7／2。最后，Coxeter图为 级交错群和对称群。对于群 和N，Ⅳ≤M表示 Ⅳ 一 个28阶3度对称图，记做 C船。它最初 由Coxeter 为M的子群。设 G为集合Q上的置换群，Ot∈Q，以 发现，之后Tuttel3对其进行了大量的研究．关于它 G 表示Ot在 G中的点稳定子群，即 G的稳定点 OL 的构造可以参见文献 [4，图2(ii)]，且由Biggs 可 的子群。如果对任意的 ∈Q，有 =1，则称 G是 知Aut(C2s) PGL(2，7)。 半正则的。若G在Q上既传递又半正则，则称 G是 设P为素数。徐明曜等在文献 [5]中给出了 正则的．对有限简单图 ，用 ()，E()，4()和 阶3度对称图的分类。下面的定理 1为文献 [5]的 Aut()分别表示它的顶点集合，边集合，弧集合和 主要结果。 全 自同构群。若Aut()在 l，()或A()上传递， 定理 1 设P为素数，则4p阶连通3度图 为 则称 为点传递图或对称图。 对称的当且仅当 同构于下列之一：3维立方体 下面介绍几个4p(P为素数)阶3度对称图。首 Q3，正十二面体 D2o，广义 Petersen图P(10，3)及 先，易知 3维立方体 Q 为一个 8阶3度对称 图，且 Coxeter图C28o 有Aut(Q) |sX 2。其次，由文献 [1，表 3．1]， 关于这个定理的证明，文献 [5]采用的方法主 可知正十二面体 D。为一个 20阶3度对称图，且 要是基于文献[6，定理9]，其中还用到了陪集图和 Aut(D2o) 5x 2。再次，广义Petersen图尸(10， 图的覆盖理论等概念和工具。本文的主要 目的是 2)是一个以{；，YIi∈7／。。}为顶点集合，以{{ ， 给出这个定理的一个新的简短的证明。 … }， ，Y} ，Ym }Ji∈7／。}为边集合的图。由 在给出证明之前，先介绍几个基本命题。 文献[2]，可知 P(10，3)为一个2O阶3度对称图， 命题 117,~雕· 集合 Q上的交换传递置换群 G必正则且为 自中心化的。 2009年 1月 12日收到 对于群G的子群 日，以C。(日)和 Ⅳ (H)分别表 2704 科 学 技 术 与 工 程 9卷 示 日在 G中的中心化子和正规化子。那么c (日) 7／2X7／2。令 Q为 Ⅳ的Sylow2一子群，则因Ⅳ≤C， 在Ⅳc()中正规。 必有N=PxQ，从而 Q为Ⅳ的特征子群。因N_IA， 命题2 ，命鹄