×

自反有向图的自同态半群的自同构。 (英语) Zbl 1208.20055号

设\(X\)为任意集。“自反有向图”是一对\((X,\rho)\),其中\(\rho\)是\(X\)上的自反二元关系。二元关系\(\rho\)被称为:1)‘循环’,如果每一个\(x,y)\ in \rho \)都属于某个\(\ρ\)-循环;和2)“置换”,如果它是循环的,并且每两个不同的\(rho \)-圈都有空交集。如果1)存在长度为\(k\)的\(\rho\)-循环,则称置换关系\(\rho\)为“次正则\(k\geq3\)”;和2)长度(geq 3)的每个(rho)-圈都有长度(k)。
半群\(S\leq\text{End}(X,\rho)\)被称为“强分离”,如果1)对于所有\((X,y)\in\rho)和\(A\in\text{End}(X,\rho)\),如果\(\text{im}(A)=\{X,y\}\),则\(A\ in S\);和2)对于每个\(g \ in \ operatorname{Aut}(X,\rho)\ cup \ operator name{Aut}(X,\rho,\rho^{-1})\),\(g^{-1}序号\substeq S\)。
如果\(\rho\)是\(X\)上的非循环自反关系,\(S\leq\text{End}(X,\rho)\)是强分离半群,则\(\operatorname{Aut}(S)\cong\operator name{Aut}(X,\rho)\cup\operatormame{Autneneneei(X,\ rho,\rho^{-1})\)。如果\(\rho\)是非正则置换关系和\(S=\text{End}(X,\rho)\),这种同构也成立。在\(\rho\)是正则置换关系的情况下,还描述了\(\operatorname{Aut}(\text{End}(X,\rho))的结构。
设(G)是一个群,(S\subseteq-G)是一个子集,使得S中的(|S|\geq2)和(1)。有向图\(G,\rho)\),其中\(\rho=\{(G,sg)\mid G\ in G,\;s\ in s\}\)称为“Cayley有向图”;\(\mathbb的Cayley有向图{Z} _n(n)\)称为顺序为\(n\)的“循环有向图”。在最后一节中,确定了某些无平方阶循环有向图的\(\ operatorname{Aut}(\ text{End}(D))。

MSC公司:

20平方米 变换、关系、分区等的半群。
05C20号 有向图(有向图),比赛
2015年11月20日 半群的映射
05C25号 图和抽象代数(群、环、域等)
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] M.E.Adams S.Bulman-Fleming M.Gould代数结构的自同态性质,收录于:田纳西州纳什维尔拓扑会议论文集,田纳西,1996(世界科学出版社,新泽西州River Edge,1997),第1-17页·Zbl 0913.08003号
[2] 循环图和有向图的同构,离散数学。第25页97–(1979)·Zbl 0402.05038号
[3] Araüjo,幂等元中心化子的自同构群,J.Algebra 269 pp 227–(2003)·Zbl 1037.20062号
[4] Araüjo,稠密关系由其自同态幺半群决定,半群论坛70 pp 302–(2005)·Zbl 1069.20059号
[5] Araüjo,寻找关系系统自同态幺半群的自同构群的方法,离散数学。第307页,第1609页–(2007年)
[6] Babai,一类点对称结构的同构问题,数学学报。科学。阿卡德。挂。第29页,329页–(1977年)·Zbl 0378.05035号
[7] Berzins,具有给定常数代数的各种代数中的代数几何,数学杂志。科学。(纽约)102第4039页–(2000年)·兹比尔0965.08010
[8] J.D.Dixon B.Mortimer置换群,数学研究生教材第163卷(Springer-Verlag,纽约,1996)。
[9] 关于无平方阶循环有向图的自同构群,离散数学。299页,第79页–(2005年)·Zbl 1073.05034号
[10] Evdokimov,多项式时间内循环图同构的识别与验证,代数i Analiz 15(6)pp 1–(2003)
[11] Fitzpatrick,变换半群的自同构,Proc。爱丁堡数学。Soc.19第327页–(1974/75)·Zbl 0326.20058号
[12] Gluskin,同位素转换的半群,Uspehi Mat.Nauk 16第157页–(1961)
[13] Gluskin,线性空间自同态的半群和环I,Amer。数学。社会事务处理。(2) 第45页105–(1965)·Zbl 0149.26701号 ·doi:10.1090/trans2/045/08
[14] N.Jacobson Basic Algebra I(W.H.Freeman公司,纽约,1985年)。
[15] 李维,有限正规半群,半群论坛57页69–(1998)
[16] 李,关于有限Cayley图的同构——综述,离散数学。256页301–(2002)
[17] 李,循环图的可靠性分析,网络31(2),第61页–(1998)·Zbl 0929.05052号
[18] 刘:某些循环图的哈密顿分解,in:Quo Vadis,图论?,《离散数学年鉴》第55卷(荷兰北部,阿姆斯特丹,1993年),第367-373页。
[19] 洛克,奇数阶循环图中的流是哈密尔顿循环的和,离散数学。78(1-2)第105页–(1989)·Zbl 0691.90025号
[20] Mal'cev,对称群胚,Mat.Sb.(N.S.)31第136页–(1952)
[21] Mashevitzky,自由逆半群自同态半群的自同构,通信算法。第34页,3569页–(2006年)·Zbl 1119.20056号
[22] Muzychuk,阿尔达姆的猜想在无平方情况下是正确的,J.Combin。Theory Ser。A 72第118页–(1995)·Zbl 0833.05063号
[23] Muzychuk,循环图同构问题的解决方案,Proc。伦敦数学。Soc.(3)88(1)第1页–(2004)·Zbl 1045.05052号
[24] Płonka,单元代数的弱自同构群的结构,代数普遍42 pp 1–(1999)·兹比尔0977.08003
[25] Schein,有序集,半格,分配格和同态自同态半群的布尔代数,Fund。数学。第31页第68页(1970年)·Zbl 0197.28902号
[26] Schreier,u ber Abbildungen einer abstraketen Menge Auf ihre Teilmengen,基金。数学。第28页,第261页–(1936)·Zbl 0016.29503号
[27] Schwachhöfer,除环上线性半群的自同构,半群论坛53页330–(1996)·Zbl 0861.20056
[28] Sullivan,变换半群的自同构,J.Austral。数学。Soc.序列号。A 20 pp 77–(1975)·Zbl 0318.2004年12月
[29] M.铃木群论I(Springer-Verlag,纽约,1982)。
[30] Szechtman,关于全变换幺半群中幂等元中心化子的自同构群,半群论坛70页238–(2005)·Zbl 1080.20057
[31] S.M.Ulam《数学问题集》(跨学科出版社,纽约,1960年)。
[32] Vaíenin,自反图类的初等可定义性和初等特征性,Izv。维斯什。Učebn。Matematika 1972(7)第3页–(1972)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。