关于判定一个自由群是否是另一个自由因子的算法
RAIRO——理论信息学与应用——信息技术与应用,Tome 42(2008)第2期,第395-414页。

我们重新讨论了确定有限生成子群H(H)是给定自由群的自由因子F类已知算法以时间多项式的形式解决了这个问题H(H)和指数级F类.我们证明了后一个相关性可以在秩差秩中指数化(F类)-等级(H(H))这通常会带来重大变化。

内政部:10.1051/ita:2007040
分类:20E05、05C25
主题类别:组合群论,自由群,自由因子,逆自动机,算法
@第{ITA_2008__42_2_395_0条,author={Silva,Pedro V.和Weil,Pascal},title={在决定自由群是否是另一个}的自由因子的算法上,journal={RAIRO-理论信息学与应用-信息技术与应用},页数={395--414},publisher={EDP-Sciences},体积={42},数字={2},年份={2008},doi={10.1051/ita:2007040},mrnumber={2401269},zbl={1146.20021},语言={en},url={http://archive.numdam.org/articles/10.1051/ita:2007040/}}
TY-JOUR公司AU-席尔瓦,佩德罗五世。AU-韦尔,帕斯卡TI-关于判定一个自由群是否是另一个自由因子的算法JO-RAIRO-理论信息学与应用-信息学与应用2008年上半年SP-395EP-414型VL-42IS-2PB-EDP-科学UR-(欧元)http://archive.numdam.org/articles/10.1051/ita:2007040/DO-10.1051/ita:2007040LA-英语ID-ITA_2008__42_2_395_0急诊室-
%0期刊文章%佩德罗·席尔瓦。%A Weil,帕斯卡%关于判定一个自由群是否是另一个自由因子的算法%J RAIRO-理论信息学与应用-信息技术与应用%D 2008年%电话395-414%第42页%2号机组%I EDP-科学%U型http://archive.numdam.org/articles/10.1051/ita:2007040/%R10.1051/ita:2007040%G en公司%对于ITA_2008__42_2_395_0
佩德罗·席尔瓦(Pedro V.Silva)。;帕斯卡·韦尔。在一个算法上决定一个自由群是否是另一个自由因子。RAIRO——理论信息学与应用——信息技术与应用,Tome 42(2008)第2期,第395-414页。doi:10.1051/ita:200740。http://archive.numdam.org/articles/10.1051/ita:2007040/

[1]J.阿尔梅达,有限半群与泛代数《世界科学出版社》,新加坡(1994年)。|先生|Zbl公司

[2]I.安塞尔,M.安塞尔,B.费希尔D.戈德菲尔德,编织群密码中的新密钥协商协议,在CT-RSA 2001中。莱克特。注释计算。科学。2020(2001) 1-15.|Zbl公司

[3]S.克利里J.塔巴克,点灯器组作为自动机组的度量属性.内容。数学。372,AMS(2005)|先生|Zbl公司

[4]P.Dehornoy公司,基于辫子的加密.内容。数学。360(2004) 5-33.|先生|Zbl公司

[5]S.Gersten公司,关于Whitehead算法.牛市。阿默尔。数学。Soc公司。10(1984)281-284。|先生|Zbl公司

[6]K·亨克尔,S.W.马戈利斯,J.-E.销J.罗兹,Ash的II型定理、有限拓扑和Malcev积《国际代数杂志》。计算。1(1991) 411-436.|先生|Zbl公司

[7]M.坎比特,P.V.席尔瓦B.斯坦伯格,点灯器群和凯利机器的光谱.几何。Dedicata公司120(2006) 193-227.|先生

[8]I.卡波维奇A.G.米亚斯尼科夫,停滞折叠和自由群的子群.J.代数248(2002) 608-668.|先生|Zbl公司

[9]I.卡波维奇,P.舒普V.夏皮林,Whitehead算法的一般性质与随机单相关群的同构刚性太平洋数学杂志。223(2006) 113-140.|先生|Zbl公司

[10]B.可汗,二阶自由群的自守共轭结构,在程序中。关于逻辑、群论和计算机科学之间相互作用的特别会议。康斯坦普。数学。349(2004).|先生|Zbl公司

[11]D.李,自守轨道中最小长度单词数的紧界.J.代数305(2006) 1093-1101.|先生|Zbl公司

[12]R.林登P.舒普,组合群论施普林格(1977年,2001年重印)。|先生|Zbl公司

[13]S.马戈利斯J.米金,自由逆幺半群与图浸入《国际代数杂志》。计算。(1993) 79-100.|先生|Zbl公司

[14]S.马戈利斯,M.萨皮尔P.威尔,前V拓扑中的闭子群与逆自动机的扩张问题《国际代数杂志》。计算。11(2001) 405-445.|先生|Zbl公司

[15]A.G.米亚斯尼科夫V.夏皮林,自由群中的自守轨道.J.代数269(2003) 18-27.|先生|Zbl公司

[16]A.G.米亚斯尼科夫,E.文丘拉P.韦尔,自由群中的代数扩张《几何群理论》,日内瓦和巴塞罗那会议,G.N.Arzhantseva、L.Bartholdi、J.Burillo和E.Ventura主编,《趋势数学》。(2007) 225-253.|先生|Zbl公司

[17]D.佩林,自动化,《理论计算机科学手册》B卷,J.Leeuwen主编Elsevier,1990年。|先生|Zbl公司

[18]J.-E.销,各种语言形式马森,巴黎(1984);英语翻译:各种正式语言。纽约Plenum(1986)。|先生|Zbl公司

[19]J.罗特曼,群论导论第4版,Springer(1995)。|先生|Zbl公司

[20]J.-P.塞雷,乔木、汞合金、,S公司 2 Astérisque 46,社会数学。法国(1977年)。英文翻译:Trees,Springer Monographs in Mathematics,Spring er(2003)。|Numdam编号|先生|Zbl公司

[21]V.M.塞德尔尼科夫,M.A.切列普涅夫V.Y.亚申科,基于非交换半群的开放密钥分配系统罗斯。Acd.公司。诺克·多克。332-5 (1993). 英文翻译:俄文学院。科学。多克。数学。48-2 (1994) 383-386.|Zbl公司

[22]P.V.席尔瓦B.斯坦伯格,关于一类推广点灯器群的自动机群。实习生。J.代数计算。15(2005) 1213-1234.|先生|Zbl公司

[23]J.失速,有限图的拓扑.发明。数学。71(1983) 551-565.|欧洲DML|先生|Zbl公司

[24]J.史蒂芬,自动机理论在幺半群和逆幺半群表示中的应用内布拉斯加州大学博士学位论文(1987年)。

[25]N.图伊坎.一种失速的快速算法? 折叠过程。J.代数计算。16(2006) 1031-1046.|先生|兹布尔

[26]E.文丘拉,关于最大秩的固定子群.通信代数25(1997) 3361-3375.|先生|Zbl公司

Citépar公司资料来源: