艾伦·J·凯恩。;罗伯特·格雷;尼克·鲁什库克 半群中的绿色索引：生成器、表示和自动结构。 （英语） Zbl 1270.20059 半群论坛 85，第3期，448-476（2012）. 设（T\）是半群（S\）的子半群\（T\）-相对格林关系[A.D.华莱士《数学学报》。阿卡德。科学。挂。14, 137-148 (1963;Zbl 0122.26802号)]在S中为\（u，v）定义的是\（u\mathcal R^Tv\Leftrightarrow uT^1=vT^1），\（u\ mathcal L^Tv\ Leftright arrow T^1u=T^1v），\。（S\）中的\（T\）的格林指数是（\（T_）-相对\（\mathcal H^T\）-类在\（S\set减去T）+1中的个数），即\（S\。对于每个（T）相对类（H），（T）中（H）的稳定子为（T）：（H）中的相对Schützenberger群为（H）；（hx=hy）\）。这里证明了一个重写定理，该定理显示了如何使用（S）的生成集来获得（T）和Schützenberger群的生成集，反之亦然，并提出了一种从（T）与Schítzemberger群的表示构造（S）表示的方法。这表明，传递给有限格林指数子半群或扩张保持了有限生成、字问题的可解性、增长类型、子半群的自动性、扩张的有限可表示性以及群嵌入半群的有限Malcev可表示性。审核人：雅克·海诺（塔林） 引用于5文件 MSC公司： 2005年5月20日 自由半群，生成器和关系，单词问题 20立方米 自动机理论、语言学等中的半群。 65年第68季度 形式语言和自动机 关键词：绿色指数;演示文稿;发电机组;轨道;Schützenberger群;重写定理;自动半群;有限性条件;绿色关系 引文：Zbl 0122.26802号 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Cain}等人，半群论坛85，第3期，448--476（2012；Zbl 1270.20059） 全文： 内政部 arXiv公司 链接 参考文献： [1] Araüjo，I.M.，Branco，M.J.J.，Fernandes，V.H.，Gomes，G.M.，Ruškuc，N.：关于半群并的生成元和关系。半团体论坛63（1），49–62（2001）·Zbl 0981.20045号 ·doi:10.1007/s002330010053 [2] Arbib，M.A.（编辑）：机器、语言和半群的代数理论。纽约学术出版社（1968年）。K.Krohn和J.L.Rhodes做出了重要贡献·Zbl 0181.01501号 [3] Bednarek，A.R.，Wallace，A.D.：相对理想及其互补，I.Rev.Roum。数学。Pures应用程序。11, 13–22 (1966) ·Zbl 0158.02504号 [4] Behrstock，J.，Margalit，D.：映射类群的曲线复合体和有限指数子群。地理。迪迪奇。118, 71–85 (2006) ·Zbl 1129.57023号 ·doi:10.1007/s10711-005-9022-3 [5] Brown，K.S.：群的上同调。数学研究生教材，第87卷。纽约施普林格出版社（1982年）·Zbl 0584.20036号 [6] Burillo，J.，Cleary，S.，Röver，C.E.：汤普森群F.Geom的有限指数的公理和子群。白杨。12(3), 1701–1709 (2008) ·兹比尔1190.20031 ·doi:10.2140/gt.2008年12月1701日 [7] Cain，A.J.：亚半群群的演示。圣安德鲁斯大学博士论文（2005年） [8] Cain，A.J.：马尔切夫关于亚半群群体的演讲——一项调查。收录于：Campbell，C.M.，Quick，M.R.，Robertson，E.F.，Smith，G.C.（编辑）Groups St.Andrews 2005，第1卷。伦敦数学。Soc.课堂讲稿Ser。，第339卷，第256-268页。剑桥大学出版社，剑桥（2007）·兹比尔1116.20038 [9] Cain，A.J.，Robertson，E.F.，Ruškuc，N.：有限Rees指数子半群和扩张的抵消和Malcev表示。J.奥斯特。数学。Soc.84（1），39-61（2008）·Zbl 1156.20048号 ·doi:10.1017/S144678870800086 [10] Campbell，C.M.，Robertson，E.F.，Ruškuc，N.，Thomas，R.M.：关于有限呈现半群的子半群。《代数杂志》180（1），1–21（1996）·Zbl 0847.20056号 ·doi:10.1006/jabr.1996.0049 [11] Campbell，C.M.，Robertson，E.F.，Ruškuc，N.，Thomas，R.M.：自动半群。西奥。计算。科学。250(1–2), 365–391 (2001) ·Zbl 0987.20033号 ·doi:10.1016/S0304-3975（99）00151-6 [12] Campbell，C.M.，Robertson，E.F.，Ruškuc，N.，Thomas，R.M.：自动完全单半群。数学学报。挂。95(3), 201–215 (2002) ·Zbl 0997.20050 ·doi:10.1023/A:1015632704977 [13] Clifford，A.H.：包含最小理想的半群。美国数学杂志。70, 521–526 (1948) ·Zbl 0038.01103号 ·doi:10.2307/2372195 [14] Clifford，A.H.，Preston，G.B.：半群的代数理论（第二卷）。数学调查，第7卷。美国数学学会，普罗维登斯（1967）·Zbl 0178.01203号 [15] de la Harpe，P.：几何群论主题。芝加哥数学讲座。芝加哥大学出版社，芝加哥（2000）·Zbl 0965.20025号 [16] Eda，K.，Matijević，V.：秩为2的无扭阿贝尔群的有限指数超群和子群。《代数杂志》319（9），3567–3587（2008）·兹伯利1225.20046 ·doi:10.1016/j.jalgebra.2007.08.033 [17] Epstein，D.B.A.，Cannon，J.W.，Holt，D.F.，Levy，S.V.F.，Paterson，M.S.，Thurston，W.P.：分组中的文字处理。琼斯&；巴特利特，波士顿（1992）·2017年7月64日 [18] Faucett，W.M.：拓扑半群和带割点的continua。程序。美国数学。第6卷，748–756页（1955年）·兹比尔0065.25301 ·doi:10.1090/S0002-9939-1955-0071713-1 [19] Frougny，C.，Sakarovitch，J.，Schupp，P.E.：子群和形式语言理论的有限性条件。程序。伦敦。数学。Soc.58、74–88（1989）·Zbl 0674.20018号 ·doi:10.1112/plms/s3-58.1.74 [20] Gray，R.，Ruškuc，N.：半群的Green指数和有限性条件。《代数杂志》320（8），3145–3164（2008）·Zbl 1172.20045号 ·doi:10.1016/j.jalgebra.2008.07.008 [21] Gray，R.，Ruškuc，N.：关于幺半群、其Schützenberger群和相关作用的剩余有限性（2009年提交）。在以下位置可用http://arxiv.org/abs/1003.3176 [22] Green，J.A.：关于半群的结构。安。数学。(2) 54, 163–172 (1951) ·Zbl 0043.25601号 ·doi:10.2307/1969317 [23] Haglund，F.：图乘积的有限指数子群。地理。迪迪奇。135, 167–209 (2008) ·Zbl 1195.20047号 ·doi:10.1007/s10711-008-9270-0 [24] Hoffmann，M.，Kuske，D.，Otto，F.，Thomas，R.M.：自动群和双曲群的一些亲戚。收录于：Gomes，G.M.S.，Pin，J.-E.，Silva，P.V.（编辑）《半群，算法，自动机和语言》，Coimbra，2001年，第379-406页。《世界科学》，《River Edge》（2002年）·Zbl 1031.20047号 [25] 霍夫曼，M.，托马斯，R.M.：半群中的自动性概念。半群论坛66，337–367（2003）·Zbl 1035.20045号 ·doi:10.1007/s002330010161 [26] Hoffmann，M.，Thomas，R.M.，Ruškuc，N.：具有有限Rees指数的子半群的自动半群。国际代数计算杂志。12（3），463–476（2002年）·Zbl 1010.20040号 ·doi:10.1142/S0218196702000833 [27] Howie，J.M.：半群理论基础。伦敦数学学会专著（新系列），第12卷。克拉伦登/牛津大学出版社，纽约（1995）·Zbl 0835.20077 [28] Jura，A.：有限呈现半群中的陪集枚举。可以。数学。牛市。21（1），37-46（1978）·兹伯利0379.20047 ·doi:10.4153/CBM-1978-007-x [29] Jura，A.：确定有限表示半群中给定有限指标的理想。Demonstr公司。数学。11(3), 813–827 (1978) ·Zbl 0412.20066号 [30] Jura，A.：关于在有限给出的半群中寻找给定有限指标的所有理想的算法不存在的一些评论。Demonstr公司。数学。13(2), 573–578 (1980) ·Zbl 0465.20056 [31] Karass，A.，Solitar，D.：关于Schreier定理的注记。程序。美国数学。Soc.8696-697（1957）·Zbl 0078.01401号 ·doi:10.1090/S0002-9939-1957-0086813-1 [32] Lyndon，R.C.，Schupp，P.E.：组合群理论。Ergebnisse der Mathematik und ihrer Grenzgebiete，第89卷。柏林施普林格（1977）·Zbl 0368.20023号 [33] Magnus，W.，Karrass，A.，Solitar，D.：组合群理论。《发电商和关系方面的集团介绍》，修订版，纽约多佛（1976）·Zbl 0362.20023号 [34] Nikolaev，A.，Serbin，D.：完全剩余自由群的有限指数子群。国际代数计算杂志。21(4), 651–673 (2011) ·Zbl 1253.20024号 ·doi:10.1142/S0218196711006388 [35] Nikolov，N.：关于正有限生成群中有限指数的子群。牛市。伦敦。数学。Soc.37（6），873-877（2005）·Zbl 1097.20028号 ·doi:10.1112/S0024609305004947 [36] Nikolov，N.，Segal，D.：超限群中的有限指数子群。C.R.数学。阿卡德。科学。巴黎337（5），303–308（2003）·Zbl 1033.20029号 ·doi:10.1016/S1631-073X（03）00349-2 [37] Nikolov，N.，Segal，D.：关于有限生成的profinite群，I：强完备性和一致界。安。数学。(2) 165(1), 171–238 (2007) ·Zbl 1126.20018号 ·doi:10.4007/annals.2007.165.171 [38] Nikolov，N.，Segal，D.：关于有限生成的profinite群，II：拟单群中的乘积。安。数学。(2) 165(1), 239–273 (2007) ·doi:10.4007/年度.2007.165.239 [39] Pride，S.J.，Wang，J.：具有有限完全重写系统的群中的有限索引子群。程序。爱丁堡。数学。Soc.（2）43（1），177-183（2000）·Zbl 0976.20025号 ·doi:10.1017/S0013091500020794 [40] Ruškuc，N.：关于大型子半群和半群的有限条件。程序。伦敦。数学。Soc.（3）76（2），383–405（1998）·doi:10.1112/S0024611598000124 [41] Ruškuc，N.：关于幺半群及其Schützenberger群的有限可表示性。派克靴。数学杂志。195(2), 487–509 (2000) ·Zbl 1009.20065号 ·doi:10.2140/pjm.2000.195.487 [42] Ruškuc，N.，Thomas，R.M.：亚半群的句法和Rees指数。《代数杂志》205（2），435-450（1998）·Zbl 0914.20053号 ·doi:10.1006/jabr.1997.7392 [43] Schützenberger，M.P.：半群代表。C.R.数学。阿卡德。科学。巴黎2441994-1996（1957）·Zbl 0081.25303号 [44] Schützenberger，M.P.：半群体的单一陈述。C.R.数学。阿卡德。科学。巴黎246865-867（1958）·Zbl 0081.25402号 [45] 斯佩纳，J.-C.：简单句和简单句。半群论坛14，295–329（1977）·Zbl 0477.20037号 ·doi:10.1007/BF02194675 [46] Spehner，J.-C.：自由幺半群的每个有限生成子幺半群都有一个有限的Malcev表示。J.纯应用。代数58，279–287（1989）·Zbl 0677.20046号 ·doi:10.1016/0022-4049（89）90043-1 [47] Wallace，A.D.：半群中的相对理想，I：福塞特定理。集体数学。9, 55–61 (1962) ·Zbl 0100.26002号 [48] 华莱士，A.D.：半群中的相对理想，II：格林关系。数学学报。阿卡德。科学。挂。14, 137–148 (1963) ·Zbl 0122.26802号 ·doi:10.1007/BF01901936 [49] Wang，X.，Pride，S.J.：群和拟群的二阶Dehn函数。国际代数计算杂志。10(4), 425–456 (2000) ·Zbl 1030.20035号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。