圈图和2p阶完全二部图的齐次分解
- 格式:pdf
- 大小:148.29 KB
- 文档页数:3
V0 . NO 2 I 21 .
J n 2 1 u .02
圈 图 和
阶 完 全 。 图 的 齐 次 分 解 -
覃 树 仁
( 州华 商职 业 学 院 公 共 基 础 课 程 教 学 部 , 东 广 州 5 1 0 ) 广 广 I30
摘要 : 循环群和 2 在 p阶 群 的 自同构 群 的基 础 上 , 到 了圈 图和 2 ( 得 p p是 素数 ) 完全 二 部 图的 所 有 齐 次 分 解 的 阶
具体 构 造.
关键 词 : 图 ; 全 二 部 图 ; 次分 解 ; 圈 完 齐 同构 分 解 ; 自同构 群 中 图 分 类 号 : 17 5 O 5 . 文献标识码 : A 文 章 编 号 :0 7— 8 4 2 1 ) 2— 0 9— 2 10 0 3 ( 0 2 0 0 2 0
齐次 分解 的同 构分解 , 以用 置换 群进 中对任 意 的 点传 递 图做 了初 步研 究 .
齐次 分解 如今 已成为 代数 图论 的热 门研究 课题 . 文针 对 圈图 C 本 和 2 ( p P是素 数 ) 阶完全 二部 图
分解 进行研 究 , 得到 了这 两类 图的所 有齐 次分 解 的具体 构造 .主要结 果是 定理 1和定 理 2 .
的因子 是C 和 C.
收 稿 日期 : 0 2—0 21 3—0 5
, 集 为 u的 图称为 由 导 出 的子 图 , 边
作 者 简 介 : 树 仁 (9 O ) 男 , 西 桂 平 人 , 州华 商 职 业 学 院 公 共 基 础 课 程 教 学 部 教 师 覃 1 8一 , 广 广
本文 中 厂 表示 一个 图 ,
,厂, ,,u( 分别 表示 厂 的顶 点集 , A E A t ,) 弧集 , 集 和 全 自同构 群 , 他 符 号 边 其
和术语 参见 文献 [ ] [ ] 1 和 2 .图的 同构分解 是 把 图分 解 为一些 同构 的子 图的并 . 般 的 同构 分解 无 法建 立 系 一 统 的理论进 行研 究. 名 图论专 家 L 著 I H和 P A G R C E在 文 献 [ ] c R E E 3 中介 绍 了点 传 递对 称 图 的一 种 称 为
我们把 的元素 尸 以及 P 的导 出子 图 ( , 称 为 齐次 分 解 ( , , ) 因子 , 时也 称 为 的 因 P) G 厂, 的 有
子.定义 说 明 是 弧集 P 的生成 子 图 厂 自同构 群且 在 的
上 的作 用是 传递 的 , G能够把 的任何 一个 因
河 南教 育 学 院 学报 ( 自然 科 学 版 )
() 2 如果 n r 4 为 偶 数 ,那 么 圈 图 c (> ) t 1 有且 只有 两 个 齐 次 分 解 : =( , u( , 。 和 F F M A t c ) c , ) =
的齐 次 上 传递 ,
定义 1 设 ={ 一, ( ≥2 是 图 厂 的弧集 A 的一个 划分 , <G u( 且 M 在 P P }k ) , M ≤A tF) 称 ( , 厂, ) 图 厂 的指 数 为 k的齐 次分 解 , G, 是 如果
( ) 保持 的每个 元素 P 不动 , 1M 且 ( ) 是 G的不 变划 分且 G在 上 的导 出作 用 G 在 上 传递. 2 、
因子 厂 的度数都是 1 厂 同构 于顺 时针 方向的有 向圈c 或完美 匹配÷ K , 且当 n是奇数时只能是 且 并
二
---
厂 C . 兰
证 明 设 ( , ,, ) G, 是度数 为 素数 P的连通 图 厂 的指数 为 k的齐次分 解 , 由引理 1得 = p并 且 厂 的 度 数都 是 1 又 因 在 ,
M 在
上 传递 , , 是 正则 图. G在 上 的作 用传 递 , 以 G传 递 地 置换 的 全体 元 素 , 而对 任何 两 故 因 所 从
个 因子 , 和 厂 都 有 o( )= a( )=rv l,)= k 证毕 . Z厂 vlF ,a( r.
引理 2 如果 n n ) ( ≥3 阶连 通 图 厂 的度数 为 素数 P ( G ,, ) , M, ,1 是指 数 为 k的齐 次分解 , 么 的每个 那
子置 换成 另外 一个 因子 , 各个 因子彼 此 同构. 因此 , 齐次 分解 是保持 子 图 的点 传递 性质 的一 种 同构 分解 .
引理 1 设 ( G, ) 图 厂 的指数 为 k的齐次 分解 , k整 除 , 的度数 vlF) M, 厂, 是 则 a( . 证明 设 ( G, ) 图 厂 的指数 为 k的齐次 分解 , M, F, 是 厂 是 的一个 因子 , 由定 义 1知 , ≤A t , ) u( 且
二
=
上传 递 , 以当 为偶 数时 , 能同构 于顺 时针 方 向的有 向圈 c 或完 美 匹 所 ,只
配÷ ; n 当 是奇数时只能是 厂 兰c .
定 义 2 设 厂 是一 个 图 , u是 E 的一个 非 空子集 . , 顶 集 为 记 为 r[ Ui . 定理 1 () 果 n n ) 1如 ( ≥3 为奇数 , 么圈 图 C 有 唯一 的齐 次分解 F =( ,u( , ) 其 中 那 M A t C ) C , ,
第 2 卷 第 2期 1
21 0 2年 6 月
河 南教 育 学 院 学报 (自然 科 学 版 )
Ju n l fHe a n tueo u ain( trlS in eEdt n) o ra n n Isi t fEd c t o t o Naua ce c i o i