阶为三的次幂倍奇素数幂的边本原图 Edge-Primitive Graphs of Order Three to the Power Times an Odd Prime Power

doi:10.12677/PM.2022.126100

Pure Mathematics
Vol. 12 No. 06 ( 2022 ), Article ID: 52243 , 8 pages
10.12677/PM.2022.126100

阶为三的次幂倍奇素数幂的边本原图

赖子峰

●How to Cite this Article

云南财经大学，统计与数学学院，云南昆明

收稿日期：2022年4月30日；录用日期：2022年6月2日；发布日期：2022年6月9日

摘要

称一个图是边本原的，如果其全自同构群在其边集上的作用是本原的。通过Li的研究成果，我们可以得到包含子群的指数为三的次幂倍奇素数幂的本原置换群，并且将连通的非平凡边本原图分为了三种情形。本文我们考虑顶点本原的情形，刻画阶为三的次幂倍奇素数幂乘积的边本原图。最后我们可以构造出五个新的边本原图例子。

关键词

边本原图，本原置换群，几乎单型

Edge-Primitive Graphs of Order Three to the Power Times an Odd Prime Power

Zifeng Lai

School of Statistics and Mathematics, Yunnan University of Finance and Economics, Kunming Yunnan

Received: Apr. 30^th, 2022; accepted: Jun. 2^nd, 2022; published: Jun. 9^th, 2022

ABSTRACT

A graph is called edge-primitive, if its automorphism group acts primitively on its edge set. Through Li’s research findings, we can obtain the primitive permutation group with a subgroup of index three to the power times an odd prime power and divide the connected non-trivial edge-primitive graphs into three cases. In this paper, edge-primitive graphs of order three to the power times an odd prime power are characterized by considering the case of vertex-primitive. Finally, we can construct five new examples of edge-primitive graphs.

Keywords:Edge-Primitive Graph, Primitive Permutation Group, Almost Simple Type

This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).

http://creativecommons.org/licenses/by/4.0/

1. 引言

本文讨论的都是有限无向，无自环和重边的图。

对于一个非空图 $Γ$ ，我们用 $V Γ$ ， $E Γ$ ， $A Γ$ 和 $G \leq Aut (Γ)$ 分别表示它的顶点集、边集、弧集和全自同构群，记 $| V Γ |$ 和 $v a l (Γ)$ 分别为图 $Γ$ 的阶和度数。给定顶点 $α \in V Γ$ ，与顶点 $α$ 邻接的点集称为 $α$ 的邻域，记为 $Γ (α)$ ， $| Γ (α) |$ 称为点 $α$ 的度数。我们称顶点集的一个 $s + 1$ 序列 $(α_{0}, α_{1}, \dots, α_{s})$ 为 $Γ$ 的一条s-弧，如果任意相邻两点邻接且 $α_{i + 1} \neq α_{i - 1}$ ，其中 $1 \leq i \leq s - 1$ 。设 $G \leq Aut (Γ)$ ，若G在 $V Γ$ 、 $E Γ$ 、 $A Γ$ 上的作用传递，则分别称 $Γ$ 为G-点传递图、G-边传递图和G-弧传递图。

边本原图是弧传递图 [1] 的一个特殊子类，因此其具有特殊性但不失普遍性。我们知道除了星图外边本原图都是弧传递图，因此我们称一个边本原图是非平凡的，如果其是连通的弧传递图并且其度数至少是3。相比于弧传递图，边本原图的例子十分稀少，因此刻画边本原图是一项有意义的工作。

许多著名的图都是边本原的。如著名群论学家Weiss [2] 于年对3度边本原图的完全分类，其中有6阶的完全二部图，14阶的Heawood图，30阶的Tutte-Coxeter图以及102阶的Biggs-Smith图。约30年后，Li等人重新开始对边本原图的研究工作。如M. Giudici和Li [3] 于2010年系统地分析了边本原图可能的点作用和边作用，并且决定了基柱为 $P S L (2, q), (q \neq 2, 3)$ 的G-边本原图。Li和Zhang [4] 于2011年决定了边本原s-弧传递图的分类( $s \geq 4$ )。Feng，Li和Guo [5] [6] 于2011年分别决定了度数为4和5的边本原图。Pan和Wu [7] 于2017年刻画了6度的边本原图，并且完全分类了边稳定子群为可解的情形。此外，近几年，对具有特定阶的边本原图的研究取得了创新性的成果。如Pan和Wu [8] [9] 于年完全分类阶为素数幂和二倍素数幂的边本原图。在此基础上，我们研究的一个目的是去寻找具有其他特定阶的边本原图例，因此本文的主要内容是刻画阶为三的次幂倍奇素数幂的边本原图。

本文所使用的符号都是标准的。如Atlas [10]，我们有时用正整数n来表示n阶循环群 $ℤ_{n}$ 。对于一个素数幂 $q = p^{n}$ ，用 $p^{n}$ 表示q阶的初等交换群。其他有限群符号可参考 [11]。对于两个群N和H，我们用 $N \times H$ 表示N和H的直积，用 $N . H$ 表示N被H扩张，如果这个扩张是可裂的，则记为 $N : H$ 。用 $Aut (T)$ 和 $Out (T)$ 分别表示为群T的全自同构群和外自同构群。用 $G (a, b)$ 表示阶为a且度数为b的G-边本原图。下面是本文的主要结果。

定理1.1 设 $Γ$ 是阶为 $3^{a} p^{b}$ 的G-边本原图，其中a和b为正整数，p为奇素数且 $p \neq 3$ 。如果G在 $V Γ$ 上本原， $G \leq Aut (Γ)$ 。则图 $Γ$ 可能是表1所列的其中一种情形。

本文的结构如下：在第二节，给出群论和图论中的相关定义和引理。在第三节，给出定理1.1中图例的证明。

Table 1. Edge-primitive graphs of order 3 a p b

表1. 阶为 $3^{a} p^{b}$ 的边本原图

2. 预备知识

下面首先给出有限群论中的一个经典结论。

引理2.1 [12] 设p和q是素数，a和b是正整数，那么阶为 $p^{a} q^{b}$ 的群是可解群。

考虑群在集合上的作用，我们给出秩和次轨道的定义。

定义2.2 [13] 设G是集合Ω上的置换群，对任意的 $α \in Ω$ ，我们称点 $α$ 的稳定子群 $G_{α}$ 在 $Ω \ {α}$ 上的轨道为G的一个次轨道。G的次轨道个数称为G的秩。当次轨道的长度大于1时，我们称这是G的非平凡次轨道。

我们判断G在集合Ω上是否本原，常通过下面的引理进行判断。

引理2.3 设G在集合Ω上传递，对任意的 $α \in Ω$ ，则G在Ω上本原当且仅当点 $α$ 的稳定子群 $G_{α}$ 是G的极大子群。

本原置换群的分类在 [14] 中得到解决，则我们可以得到下面的关键性引理：

引理2.4 设G是集合Ω上的本原置换群，令 $N = S o c (G) = T^{k}$ 为G的唯一极小正规子群，T为非交换单群，给定 $v \in Ω$ 。则G为以下情形之一：

1) 仿射型(HA)：如果 $N ⊲ G \leq N : Aut (T) ≅ ℤ_{p}^{d} : G L (d, q) = A G L (d, q)$ 。

2) 几乎单型(AS)：如果 $N ⊲ G \leq Aut (N)$ ， $N = T$ 。

3) 单对角型(SD)：如果N包含一个正规子群 $H ≅ T^{k - 1}$ 作用在Ω上是正则的并且 $N_{v} ≅ T$ 。

4) 扭圈积型(TW)：如果N在Ω上的作用是正则的。

5) 乘积作用型(PA)：如果 $N_{v} \neq 1$ ，N不包含正规子群作用在Ω上正则。

引理2.5 [3] 设图 $Γ$ 是一个连通的非平凡G-边本原图。则 $Γ$ 是一个G-弧传递图，并且为下列情形之一：

1) Γ为G-顶点本原。

2) Γ为G-顶点二部本原。

3) Γ为G-边本原图 $\sum$ 的spread且 $\sum$ 为G-非局部本原图。

本文的主要研究内容即是刻画上述引理情形(1)中的边本原图。下面给出本文研究的关键性引理。

引理2.6 在定理1.1中的G为几乎单型。

证明令 $N = S o c (G) = T^{k}$ 为G的基柱。由引理2.4可知则G可能为五种情形，下面逐一分析：

1) 若G为HA型，则 $N ≅ ℤ_{p}^{k}$ 在 $V Γ$ 上正则，于是有 $p^{k} = | N | = | V Γ | = 3^{a} p^{b}$ ，故 $p = 3$ ，舍去。

2) 若G为SD型，则有 $| N : N_{v} | = {| T |}^{k - l}$ ，其中T为非交换单群， $v \in V Γ$ ， $1 \leq l \leq k$ 。由G在 $V Γ$ 上本原，则N在 $V Γ$ 上传递，因此有 $3^{a} p^{b} = | V Γ | = | N : N_{v} | = {| T |}^{k - l}$ 。而由引理2.1可知T为可解群，矛盾。

3) 若G为TW型，则N在 $V Γ$ 上正则，则有 $3^{a} p^{b} = | V Γ | = | N | = {| T |}^{k}$ 。而由引理2.1可知T为可解群，矛盾。

4) 若G为PA型，则 $N = T^{l}$ ，其中 $l \geq 2$ ，由G在 $V Γ$ 上本原，则N在 $V Γ$ 上传递，因此有 $3^{a} p^{b} = | V Γ | = | N | = {| T |}^{l}$ ，而由引理2.1可知T为可解群，矛盾。

证毕，故G只可能为几乎单型。

下面引理给出非平凡G-边本原图存在的一个必要条件。

引理2.7 设图 $Γ$ 为一个非平凡G-边本原图，令 $e = {u, v} \in E Γ$ 。则 $| G_{e} | < | G_{v} |$ 且 $| G_{e} | / 2$ 整除 $| G_{v} |$ 。

证明由引理2.5可知 $Γ$ 是连通的弧传递图，则有 $G_{e} = G_{u v} . ℤ_{2}$ 并且 $Γ$ 的度数 $v a l (Γ) = | G_{v} : G_{u v} | \geq 3$ 。并且有 $| G_{e} | = 2 | G_{u v} | \leq 2 | G_{v} | / 3 < | G_{v} |$ ， $| G_{e} | / 2 = | G_{u v} |$ 整除 $| G_{v} |$ 。

Li等人在 [15] 中分类了包含子群的指数为两个素数幂的乘积的本原置换群。从而我们可读出包含子群的指数为三的次幂倍奇素数幂的本原置换群。

本文我们仅考虑 [15] 中子群的指数是一个常数的情形，可得到下述的引理：

引理2.8 设T是几乎单型的本原置换群，H是T的子群且满足 $n = | T : H | = 3^{a} p^{b}$ ，其中p为奇素数且 $p \neq 3$ ，a和b为正整数。则二元组 $(T, H)$ 如表2所列。

Table 2. Non-abelian simple groups with a subgroup of index 3 a p b

表2. 具有子群的指数为 $3^{a} p^{b}$ 的非交换单群

3. 定理1.1的证明

在本节，我们考虑G在 $V Γ$ 上本原。通过引理2.6可知G是AS型的。令 $T = S o c (G)$ ，由T在 $V Γ$ 上传递，则 $| T : T_{v} | = 3^{a} p^{b}$ ， $v \in V Γ$ 。由引理2.8可知 $(T : T_{v})$ 即为表2所列。由G在 $E Γ$ 的作用是忠实的，则G和T都可以看成 $E Γ$ 上的本原置换群。令 $e = {u, v} \in E Γ$ ，由引理2.3可知G-边本原图的存在性需考虑边稳定子群 $G_{e}$ 在G中是否极大。注：下文的证明将多次使用数学工具：Magma [16]，Atlas [10]。

定理1.1的证明：

Row 1：设 $(T, T_{v}) = (A_{7}, P S L_{2} (7))$ ，此时 $G ≅ T . o$ ， $o \leq Out (A_{7}) ≅ ℤ_{2}$ 。由Magma计算可知T在 $V Γ$ 上的秩为2，非平凡次轨道的长度为14，则 $| G_{u v} | = | G_{v} | / v a l (Γ) = 12 | o |$ ， $| G_{e} | = 24 | o |$ 。而由Atlas知，G的极大子群的阶至少为 $168 | o |$ ，故 $G_{e}$ 在G中非极大，无边本原图例。

Row 2：设 $(T, T_{v}) = (A_{8}, 2^{3} : P S L_{3} (2))$ ，此时 $G ≅ T . o$ ， $o \leq Out (A_{8}) ≅ ℤ_{2}$ 。分为两种情形讨论：1) 当 $G ≅ A_{8} .2 ≅ S_{8}$ 时，由Magma计算可知，此时 $S_{8}$ 没有指数为15的子群，故舍去。2) 当 $G ≅ A_{8}$ 时，由Magma计算可知，G在 $V Γ$ 上的秩为2，非平凡次轨道的长度为14，故 $| G_{u v} | = | G_{v} | / v a l (Γ) = 96$ ， $| G_{e} | = 192$ 。由Atlas可知 $A_{8}$ 的极大子群的阶至少为360，故舍去。

设 $(T, T_{v}) = (A_{8}, 2^{4} : (S_{3} \times S_{3}))$ ，分为两种情形讨论：1) 当 $G ≅ A_{8}$ 时，由Magma计算可知，G在 $V Γ$ 上的秩为3，非平凡次轨道的长度为16或18。故 $| G_{u v} | = | G_{v} | / v a l (Γ) = 36$ 或32， $| G_{e} | = 72$ 或64，由Atlas可知 $A_{8}$ 的极大子群阶数最小为360，舍去。2) 当 $G ≅ A_{8} .2 ≅ S_{8}$ 时，同理可知G在 $V Γ$ 上的秩为2，非平凡次轨道的长度为14，故 $| G_{u v} | = | G_{v} | / v a l (Γ) = 72$ 或64， $| G_{e} | = 144$ 或128。由Magma计算可知 $S_{8}$ 的极大子群的阶至少为336，故舍去。

Row 3：设 $(T, T_{v}) = (M c L, M_{22})$ ，此时 $G ≅ T . o$ ， $o \leq Out (M c L) ≅ ℤ_{2}$ 。1) 当 $G ≅ M c L .2$ 时，由Magma计算可知，此时 $M c L .2$ 没有指数为2025的子群，舍去。2) 当 $G ≅ M c L$ 时，由Magma计算可知，G在 $V Γ$ 上的秩为4，非平凡次轨道的长度为330，462，1232，故 $| G_{u v} | = | G_{v} | / v a l (Γ) = 1344, 960, 360$ ， $| G_{e} | = 2688, 1920, 720$ 。而由Atlas可知McL的极大子群的阶至少为3000，舍去。

Row 4：设 $(T, T_{v}) = (P S L_{2} (19), A_{5})$ ，此时 $G ≅ T . o$ ， $o \leq Out (P S L_{2} (19)) ≅ ℤ_{2}$ 。由文献 [3] 可知当 $G ≅ P S L_{2} (19)$ 时，存在2-弧传递的边本原图，记为 $G (57, 6)$ 。

Row 5：设 $(T, T_{v}) = (P S L_{4} (3), P S U_{4} (2) : 2)$ ，此时 $G ≅ T . o$ ， $o \leq Out (P S L_{4} (3)) ≅ ℤ_{2}^{2}$ 。1) $G ≅ P S L_{4} (3) .2$ 或 $G ≅ P S L_{4} (3) {.2}^{2}$ 时，由Magma计算可知，G不存在指数为117的子群，故舍去。2) 当 $G ≅ P S L_{4} (3)$ 时，由Magma计算可知G在 $V Γ$ 上的秩为3，非平凡次轨道的长度为36或80，故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 1440$ 或648， $| G_{e} | = 2880$ 或1296。由Atlas可知 $P S L_{4} (3)$ 恰有阶为2880的极大子群。故此时存在边本原图，记为 $G (117, 36)$ ，并且由 [17] 可知，该图是1-弧传递的。

Row 6：设 $(T, T_{v}) = (P S p_{6} (2), 2^{6} : P S L_{3} (2))$ ，此时 $G ≅ T . o = T = P S p_{6} (2)$ 。由Magma计算可知 $P S p_{6} (2)$ 在 $V Γ$ 上的秩为4，非平凡次轨道的长度为14，56，64。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 768, 192, 168$ ， $| G_{e} | = 1536, 384, 336$ 。由Atlas知， $P S p_{6} (2)$ 没有阶为 $| G_{e} |$ 的极大子群，故舍去。

设 $(T, T_{v}) = (P S p_{6} (2), 2^{5} : S_{6})$ ，同理 $G ≅ P S p_{6} (2)$ 。由Magma计算可知， $P S p_{6} (2)$ 在 $V Γ$ 上的秩为3，非平凡次轨道的长度为30或32。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 768$ 或720， $| G_{e} | = 1536$ 或1440，由Atlas知， $P S p_{6} (2)$ 没有阶为 $| G_{e} |$ 的极大子群，故舍去。

Row 7：设 $(T, T_{v}) = (P S U_{3} (3), 4^{2} . S_{3})$ ，此时 $G ≅ T . o$ ， $o \leq Out (P S U_{3} (3)) ≅ ℤ_{2}$ 。由引理2.7可知，此时需满足 $| G_{e} | < | G_{v} | = 96 | o |$ 。而由Atlas可知，此时 $G_{v}$ 恰好为G中阶最小的极大子群，故舍去。

Row 8：设 $(T, T_{v}) = (P S U_{4} (3), 2^{4} : A_{6})$ ，此时 $G ≅ T . o$ ， $o \leq Out (P S U_{4} (3)) ≅ D_{8}$ 。1) 当 $G ≅ P S U_{4} (3) . D_{8}$ 时，此时由Magma计算可知，G没有指数为567的子群，舍去。2) 当 $G ≅ T . o$ ， $1 \leq o \leq ℤ_{4}$ 时，可以通过Magma计算可知，G在 $V Γ$ 上的秩为5，此时非平凡次轨道的长度为30，96，120，320。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) \leq 192 | o |$ ， $| G_{e} | \leq 384 | o |$ 。而由Magma计算G的极大子群L的阶 $| L | \geq 720 | o |$ ，故舍去。

Row 9：设 $(T, T_{v}) = (P S U_{5} (2), 2^{4 + 4} : (3 \times A_{5}))$ ，此时 $G ≅ T . o$ ， $o \leq Out (P S U_{5} (2)) ≅ ℤ_{2}$ 。分两种情形讨论：1) 当 $G ≅ P S U_{5} (2)$ 时，由Magma计算可知，此时G在 $V Γ$ 上的秩为3，此时非平凡次轨道的长度为40或256。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 1152$ 或180， $| G_{e} | = 2304$ 或360。由Atlas可知， $P S U_{5} (2)$ 没有阶为 $| G_{e} |$ 的极大子群，舍去。2) 当 $G ≅ P S U_{5} (2) .2$ 时，同理可求得 $| G_{e} | = 4608$ 或720。由Magma计算可知， $P S U_{5} (2) .2$ 也没有阶为 $| G_{e} |$ 的极大子群，舍去。

Row 10：设 $(T, T_{v}) = (P S U_{6} (2), 2^{9} : P S L_{3} (4))$ ，此时 $G ≅ T . o$ ， $o \leq Out (P S U_{6} (2)) ≅ S_{3}$ 。分两种情形讨论：1) 当 $G ≅ P S U_{6} (2)$ 时，由Magma计算可知，此时G在 $V Γ$ 上的秩为4，此时非平凡次轨道的长度为42，336，512。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 245, 760, 30, 720, 20, 160$ ， $| G_{e} | = 491520, 61440, 40320$ 。由Atlas可知，此时 $P S U_{6} (2)$ 有阶为40,320的极大子群。故此时存在边本原图，记为 $G (891, 512)$ ，并且由 [17] 可知，该图是1-弧传递的。2) 当 $G ≅ T . o$ ， $1 < o \leq S_{3}$ 时。由Magma计算易验证，仅存在与1) 同构的边本原图例子。

Row 11：设 $(T, T_{v}) = (P Ω_{7} (3), P S p_{6} (2))$ ，此时 $G ≅ T . o$ ， $o \leq Out (P Ω_{7} (3)) ≅ ℤ_{2}$ 。类似地，分两种情形讨论：1)当 $G ≅ P Ω_{7} (3)$ 时，由Magma计算可知，此时G在 $V Γ$ 上的秩为4，此时非平凡次轨道的长度为288，630，2240。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 5040, 2304, 648$ ， $| G_{e} | = 10080, 4608, 1296$ 。而由Atlas可知， $P Ω_{7} (3)$ 的极大子群的阶至少为13824，舍去。2) 当 $G ≅ P Ω_{7} (3) .2$ 时，由Magma计算可知，此时 $P Ω_{7} (3) .2$ 没有指数为3159的子群，舍去。

设 $(T, T_{v}) = (P Ω_{7} (3), 2 P S U_{4} (3) : 2)$ ，类似地，首先考虑1) 当 $G ≅ P Ω_{7} (3)$ 时，由Magma计算可知，此时G在 $V Γ$ 上的秩为3，非平凡次轨道的长度为126或224。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 103, 680$ 或58,320， $| G_{e} | = 207, 360$ 或116,640。由Atlas可知， $P Ω_{7} (3)$ 恰有阶为207360的极大子群。故此时存在边本原图，记为 $G (351, 126)$ ，并且由 [17] 可知，该图是1-弧传递的。2) 当 $G ≅ P Ω_{7} (3) .2$ 时，由Magma计算易验证，此时仅存在与1) 同构的边本原图例。

设 $(T, T_{v}) = (P Ω_{7} (3), 2^{6} : A_{7})$ ，此时 $G ≅ T . o$ ， $o \leq Out (P Ω_{7} (3)) ≅ ℤ_{2}$ ，若 $G_{e}$ 为G的极大子群，通过Magma计算并且由Atlas可知，此时 $| G_{e} |$ 只能为 $13, 824 | o |$ 或 $17, 280 | o |$ ，而 $| G_{v} | = | 2^{6} : A_{7} | | o | = 161, 280$ 。计算可知 $| G_{e} | / 2$ 不整除 $| G_{v} |$ ，这与引理2.7矛盾，舍去。

Row 12：设 $(T, T_{v}) = (P Ω_{8}^{+} (2), 2^{6} : A_{8})$ ，此时 $G ≅ T . o$ ， $o \leq Out (P Ω_{8}^{+} (2)) ≅ S_{3}$ 。分两种情形讨论：1)当 $G ≅ T . o$ ， $1 \leq o \leq ℤ_{2}$ 时，由Magma计算可知G在 $V Γ$ 上的秩为3，非平凡次轨道的长度为64或70。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 20, 160$ 或18,432， $| G_{e} | = 40, 320$ 或36,864。而由Atlas可知，G没有阶为 $| G_{e} |$ 的极大子群，舍去。2) 当 $G ≅ T . o$ ， $ℤ_{3} \leq o \leq S_{3}$ 时，G没有指数为135的子群，舍去。

Row 13：设 $(T, T_{v}) = (P Ω_{8}^{+} (3), P Ω_{8}^{+} (2))$ ，此时 $G ≅ T . o$ ， $o \leq Out (P Ω_{8}^{+} (3)) ≅ S_{4}$ 。首先考虑：1) 当有 $G ≅ P Ω_{8}^{+} (3)$ ，此时由Magma计算可知，G在 $V Γ$ 上的秩为6，非平凡次轨道的长度为960、960、960、3150、22,400。故此时可计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 181, 440$ ，55,296或7776， $| G_{e} | = 362, 880$ ，110,592或15,552。由Atlas可知， $P Ω_{8}^{+} (3)$ 没有阶为 $| G_{e} |$ 的极大子群，舍去。2) $G ≅ T . o$ ， $1 < o \leq S_{4}$ 。类似情形1)，由Magma易验证也无 $G_{e}$ 在G中极大，舍去。

Row 14：设 $(T, T_{v}) = (P Ω_{8}^{-} (3), Ω_{7} (3) : 2)$ ，此时 $G ≅ T . o$ ， $o \leq Out (P Ω_{8}^{-} (3)) ≅ ℤ_{2}^{2}$ 。分两种情形讨论：1) 当 $G ≅ P Ω_{8}^{-} (3)$ 时，由Magma计算可知，G在 $V Γ$ 上的秩为3，非平凡次轨道的长度为378或728。故此时计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 24, 261, 120$ 或12,597,120， $| G_{e} | = 48, 522, 240$ 或25,194,240。由Atlas知 $P Ω_{8}^{-} (3)$ 恰好有阶为48522240的极大子群。故存在边本原图，记为 $G (1107, 378)$ ，并且由 [17] 可知，该图是1-弧传递的。2) 当 $G ≅ T . o$ ， $1 < o \leq ℤ_{2}^{2}$ 时，由Magma验证可知仅存在与1) 同构的边本原图例。

Row 15：设 $(T, T_{v}) = (G_{2} (3), P S U_{3} (3) : 2)$ ，此时 $G ≅ T . o$ ， $o \leq Out (G_{2} (3)) ≅ ℤ_{2}$ 。由Magma计算可知，G在 $V Γ$ 上的秩为3，非平凡次轨道的长度为126或224。故此时计算得 $| G_{u v} | = | G_{v} | / v a l (Γ) = 96 | o |$ 或 $54 | o |$ ， $| G_{e} | = 192 | o |$ 或 $108 | o |$ 。由Atlas可知，G的极大子群的阶至少为 $576 | o |$ ，舍去。

设 $(T, T_{v}) = (G_{2} (3), 2^{3} : P S L_{3} (2))$ ，若 $G_{e}$ 为G的极大子群，通过Magma计算并且由Atlas可知，此时 $| G_{e} |$ 只能为 $1092 | o |$ 或 $576 | o |$ ，而 $| G_{v} | = | 2^{3} : P S L_{3} (2) | | o | = 1344 | o |$ 。计算可知 $| G_{e} | / 2$ 不整除 $| G_{v} |$ ，这与引理2.7矛盾，舍去。

基金项目

云南省科技厅应用基础研究项目(2019FD116)资助。

文章引用

赖子峰. 阶为三的次幂倍奇素数幂的边本原图
Edge-Primitive Graphs of Order Three to the Power Times an Odd Prime Power[J]. 理论数学, 2022, 12(06): 911-918. https://doi.org/10.12677/PM.2022.126100

参考文献

1. Verret, G. (2009) On the Order of Arc-Stabilizers in Arc-Trasitive Graphs. Bulletin of the Australian Mathematical So-ciety, 80, 498-505.

2. Weiss, R.M. (1973) Kantenprimitive Graphen vom Grad drei. Journal of Combinatorial Theory, Series B, 15, 269-288. https://doi.org/10.1016/0095-8956(73)90041-5

3. Giudici, M. and Li, C.H. (2009) On Finite Edge-Primitive and Edge-Quasiprimitive Graphs. Journal of Combinatorial Theory, Series B, 100, 275-298. https://doi.org/10.1016/j.jctb.2009.09.001

4. Li, C.H., Zhang, H. (2011) The Finite Primitive Groups with Soluble Stabilizers, and the Edge-Primitive S-Arc Transitive Graphs. Proceedings of the London Mathematical Society 103, 441-472. https://doi.org/10.1112/plms/pdr004

5. Guo, S.T., Feng, Y.Q. and Li, C.H. (2015) Edge-Primitive Tetravalent Graphs. Journal of Combinatorial Theory, Series B, 112, 124-137. https://doi.org/10.1016/j.jctb.2014.12.004

6. Guo, S.T., Feng, Y.Q. and Li, C.H. (2013) The Finite Edge-Primitive Pentavalent Graphs. Journal of Algebraic Combinatorics, 38, 491-497. https://doi.org/10.1007/s10801-012-0412-y

7. Pan, J.M. and Wu, C.X. (2020) Finite Hexavalent Edge-Primitive Graphs. Applied Mathematics and Computation, 378, Article ID: 125207. https://doi.org/10.1016/j.amc.2020.125207

8. Pan, J.M., Huang, Z.H. and Wu, C.X. (2019) Edge-Primitive Graphs of Prime Power Order. Graphs and Combinatorics, 35, 249-259. https://doi.org/10.1007/s00373-018-1997-2

9. Pan, J.M., Huang, Z.H. and Wu, C.X. (2019) On Edge-Primitive Graphs of Order Twice a Prime Power. Discrete Mathematics, 342, Article ID: 111594. https://doi.org/10.1016/j.disc.2019.07.010

10. Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A. and Wilson, R.A. (1985) Atlas of Finite Groups. Oxford University Press, London.

11. Wilson, R.A. (2009) The Finite Simple Groups. Springer, London. https://doi.org/10.1007/978-1-84800-988-2

12. Robinson, D.J.S. (1982) A Course in the Theory of Groups. Springer-Verlag, New York. https://doi.org/10.1007/978-1-4684-0128-8

13. Li, C.H., Lu, Z.P. and Marušič, D. (2004) On Primitive Permu-tation Groups with Small Suborbits and Their Orbital Graphs. Journal of Algebra, 279, 749-770. https://doi.org/10.1016/j.jalgebra.2004.03.005

14. Liebeck, W., Praeger, C.E. and Saxl, J. (1988) On the O’Nan-Scott Theorem for Finite Primitive Permutation Groups. Journal of the Australian Mathematical Society, 44, 389-396. https://doi.org/10.1017/S144678870003216X

15. Li, C.H. and Li, X.H. (2013) On Permutation Groups of Degree a Product of Two Prime-Powers. Communications in Algebra, 42, 4722-4743. https://doi.org/10.1080/00927872.2013.823500

16. Bosma, W., Cannon, J. and Playoust, C. (1997) The MAGMA Algebra System I: The User Language. Journal of Symbolic Computation, 24, 235-265. https://doi.org/10.1006/jsco.1996.0125

17. Cameron, P.J. (1981) Finite Permutation Groups and Finite Simple Groups. Bulletin of the London Mathematical Society, 13, 1-22. https://doi.org/10.1112/blms/13.1.1

期刊菜单