树的强自同态幺半群的一些特征

《树的强自同态幺半群的一些特征》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、树的强自同态幺半群的一些特征　　摘要：给定图τ=（V，E）为只有有限个顶点的无向，简单树（文中涉及的树都满足这个条件）.设τ的所有强自同态映射组成的半群为树图τ的强自同态幺半群，记作sEndτ.通过树的特征研究了树的强自同态幺半群的特征，得到结论：若τ′为τ的连通子图，则sEndτ′同构于sEndτ的子半群.　　关键词：自同态幺半群连通子图子半群右理想　　有限单群的分类经过群论工作者长达150年的努力，已于上个世纪八十年代完成[1].学者们最终证明，有限单群共有十八个无限族和二十六个零散单群.单群分类完成后，

2、Gorenstein提到了群论研究的几个发展方向：新领域的出现（比如，对可解群的研究更加深入），图的研究及在分类过程中提出的研究方法的应用等.　　通过阅读与思考，发现其中研究得比较多的对象是通过群构造的凯莱图（均是点传递的图，即图在其自同构群作用下只有一条顶点轨道），还有一些特殊图，如正则图线图等.例如：在文献[8]中，讨论了双Cayley图的自同构群.在文[2]，[3]，[4]讨论了Cayley图的Hamilton性.还有的讨论点传递图的Hamilton性的文章，见文献[5][6].5　　文章尝试讨论图的自

3、同态幺半群与图的结构之间的关系.因为一般图形的研究难度较大，于是主要讨论简单树强自同态幺半群，最后得到：树的每个连通子图的强自同态幺半群均同构与树的强自同态幺半群的子半群；树的强自同态幺半群的极大右理想对应树的极大连通子图.　　文章未作特殊说明处，均讨论有限个顶点的简单无向树.　　τ表示一棵树.用V为树τ的顶点集，E为树τ的边集.　　给定两棵树τ′，τ.设α是V→V的一个映射，且满足？坌x，y∈V，若（x，y）∈E，则（α（x），α（y））∈E且？坌m，n∈V，（m，n）∈E，蕴含（m，n）的原象属于E，称α

4、为图τ到τ′上的一个强同态.　　树τ的强自同态半群：τ到自身的所有强同态组成的集合，记作sEnd（τ）.　　α（τ）表示同态映射α作用于树τ得到的新树，记为α（τ）=τ.　　其中V=τ（V），E=τ（E）.　　引理1树τ的强自同态半群sEnd（τ）为幺半群.　　证明：设e是Autτ的单位元，由定义可知e∈sEnd（τ），显然有？坌α∈sEndτ，αe=eα所以引理得证.　　引理2设α∈sEndτ，令α（τ）=τ，则τ为τ的连通子图.　　证明：由定义易知，？坌x，y∈V，若（x，y）∈E，则（α（x），α（y）

5、）∈E有τ连通图.又因为V？哿V，？坌m，n∈V，（m，n）∈E蕴含（m，n）的原象属于E，　　则显然有τ为τ的子图.所以τ为τ的连通子图.　　引理3设τ的阶是n（n≥2），若τ为τ的n-1阶连通子图，则？埚α∈sEndτ，使得α（τ）=τ，α（τ）=τ.　　证明：易证τ为τ的n-1阶连通子图，等价于τ去掉的是一片叶子.当n=2时，引理显然成立.当n≥3时，设τ是去掉了叶子v得到，令v5是与v相邻的（即（v，v）∈E），v是与v相邻且v≠v.构造α，令α（v）=v？摇？摇i≠1v？摇？摇i=1，由sEnd（τ

6、）的定义易知α∈sEndτ.引理得证.　　推论1设τ的阶是n（n≥2），若τ为τ的k（k=1，2…，n-1，n）阶连通子图，则？埚α∈sEndτ，使得α（τ）=τ，且α（τ）=τ.　　证明：当k=n时，α∈Autτ，显然有α∈sEndτ.当k=n-1时，由引理3结论可得证.当k=n-2时，可得存在τ为τ的n-1阶连通子图且τ为τ的n-2阶连通子图，由引理3，？埚β∈sEndτ，使β（τ）=τ，α（τ）=τ.同理得，？埚？掊∈sEndτ，使？掊（τ）=τ，？掊（τ）=τ.则α=？掊?β.由定义易知α∈sEndτ

7、.推论1得证.　　定理1若τ′为τ的连通子图，则sEndτ′同构于sEndτ的子半群.　　证明：由推论1知？埚α∈sEndτ，使得α（τ）=τ′，α（τ′）=τ′.？坌β∈sEndτ′，令β′=αβ，S={αβ

8、β∈sEndτ′}.一、若？坌β，β∈sEndτ′，β≠β，则有αβ≠αβ，所以sEndτ′与S={αβ

9、β∈sEndτ′}之间一一对应.二、由（αβ）?（αβ）=αβαβ=α（βα）β=α（ββ），得sEndτ′与S={αβ

10、β∈sEndτ′}之间同态关系α：β→αβ.由一、二可得sEndτ′同构于

11、S={αβ

12、β∈sEndτ′}.易知S={αβ

13、β∈sEndτ′}？哿sEndτ，所以sEndτ′同构于sEndτ的子半群.　　将已知条件中的树换成有限阶的有向简单树时则不一定出现定理一的情况.　　例子1，构造有限阶的简单有向树τ=（V，E），如图1.再构造其子图5τ′=（V′，E′），如图2.　　由图1可知，sEndτ为{e，α}，α（v）=v，i≠8v，i=8，i=1，2，…，9.由图2可得Au