几类特殊图的典型强因子图.pdf

第 35卷 1999年第 4期 西 北 师 范 大 学 学 报 (自然科学版) v01．35 1999 No．4 JoumalofNorthwestNorma1．University (NatalSelenee) 几类特殊图的典型强因子图 陈祥恩，程 辉， 信生 0 (西北师范大学 数学系，甘肃 兰州 730070) 摘 要 ：给 出了一个图是强不可收缩 图的充要条件 计论 了 [A ，Az，…，^]， ．． ，树以厦 二分 图的典型强 因子 图 最后 ，从典型强因子 图的角度给 出了KllatleF定理 的一个证 明． 中图分蒜类号O强15自75 A强不可 100198,81999强)04-00孑13-05编国 ： ．’文献标识码： 文章编圈{ —完X( 喜P ’ 本文所考虑的图皆为有限简单无 向图．设 为图，用Ⅳ()表示图盅的顶点 的邻点 集，当然 《N(x)．规定集合 V()的一个关系 如下： 当且仅当Ⅳ()=N( )． 易验证 ， 是 ()的一个等价关系，在此等价关 系之下 ， ∈V(X)所在的等价类记为 ． 显然 = ： m ．V()关于 的商集记为 V(X)／v=} ， 一I．定义图 I如下 ： ( I)=V(X)／v，E(XI)= } xy∈E(X)I． 称 图 为图 的典型强因子图… 有关图的基本理论可参看文献[2]．用 SEnd 和AutX分别表示图 的强 自同态 幺半 群及 自同构群… ．若 SEndX=AutX，则称 为强不可收缩的 ． 引理 1 设 是图，则 X是强不可收缩 的§映射 p ： — I， 一 是同构 映 射 ． 证明 必要性 ．显然 p 是同态满射 ．设 是强不可收缩图，即SEndX=AutX， 、 ∈ (X)．一旦 xt,x~，即N()=Ⅳ( )，由文献 [1]引理 1．1知，存在fESEnd ，使 l厂() = l厂( )，但 f6Aut ，，有逆映射厂 ．由厂 ，()=f ，( )可得 = ．这样 (X)的每 个 等价类只含一个元素，所以肌 是单射 ．因此 ：X X 是同构映射． 充分性 ．设 f6SEndX，任取 ．、：∈V(X)，且 ≠ ，那么 f(t)≠l厂( )．否则 ， 若，(．)=，()，则 ( )=Ⅳ( )， ， ．所在的 等价类至少包含两个元素 及 ， 故 ()的 等价类最多有I()I一1个 ，即l ( )lI()，而由X XI知， {V(XI)l_J ()J，矛盾!因此，是 ()到V()的单射，加之 ()是有服集，故，为 双射．进而 ，∈AutX． 】 设 A ， ，…，_4是 n个两两不交的非空集合，作一个图 G，使 V(G)=A．U_4：U…U A ，在 中，每个 d 内部的任二顶点不相邻 ，且 A．的每个顶点都与A 的每个顶点相邻 ， 收稿 日期 ：1999-01—05；修改稿收到 日期 ：1999-06-02 第一作者简介 ：陈祥恩 (1965一)，男，甘肃天水^，西北师范大学副教授 ，硕士 ．主要研究方向为代数图 论 ． 西 北 师 范 大 学 学 报 (自然科学版) 第 35卷 14 Joumal0fN0f}【1w嘣 N哪n 1J．ive~ty (NaturalScience) Ⅷ ．35 = 1，2，…，n一1，A 的每个顶点都与A，中的每个顶点相邻 ，则称图 G为轮胎图，记为 G= A．，A2，…，A ]． 定理 1 A ，A：，A，，A4]的典型强因子图为 ；当n≥5时，r(a，，A2，…，A】的典型 强因子图为 e ． 证明 对T[A ，A ，A，，A]来说 ， 等价类有两个 ，一个是 A UA3，另一个是 A2UA ， ft--者在 A，，A，A，，A]『中相邻