×
德里克·霍尔特；Leedham Green，C.R。；E.A.奥布莱恩。

在多项式时间内构造线性群的合成因子。 （英语） Zbl 1485.20123号

J.代数 561, 215-236 (2020).
摘要：我们提出了一种拉斯维加斯多项式时间算法，该算法将\（mathrm{GL}（d，mathbb）的一个子群作为输入{F} （_q）)\)并且，根据某些神谕的存在，决定了它的构成因素，前提是这些因素中没有一个与任何（k）的\（{}^2B_2（2^{2k+1}）、{}^2 F_4（2^}{2k+1}），{}^3D_4（2 ^k）\）或\（{}^2G_2（3^{2K+1}，）同构。

MSC公司：

20G40型 有限域上的线性代数群
20-08 群论问题的计算方法
65年第68季度 算法和问题复杂性分析

关键词：

有限线性群；组成因子；算法；多项式时间

软件：

岩浆；MeatExe公司；ATLAS集团代表
PDF格式BibTeX公司 XML格式引用
\textit{D.Holt}等人，J.Algebra 561，215--236（2020；Zbl 1485.20123）
全文： 内政部 链接

参考文献：

[1] Aschbacher，M.，关于有限经典群的极大子群，Invent。数学。，76, 469-514 (1984) ·Zbl 0537.20023号
[2] Bäärnhielm，Henrik，Lie型扭群中的算法问题（2007），玛丽女王，伦敦大学，博士论文·2012年12月11日
[3] Bäärnhielm，Henrik，《识别自然表示中的小Ree群》，《代数》，416139-166（2014）·Zbl 1303.20009号
[4] Bäärnhielm，Henrik；霍尔特，德里克；Leedham-Green，C.R。；O'Brien，E.A.，矩阵群计算的实用模型，J.Symb。计算。，68, 27-60 (2015) ·Zbl 1317.20002号
[5] 拉兹洛·巴拜；Szemerédi，Endre，《关于矩阵群问题的复杂性》，I（第25届IEEE Sympos.Foundations Comp.Sci.（1984）），229-240
[6] Babai，László，顶点传递图的局部展开和有限群中的随机生成，（计算理论，计算理论，洛杉矶，1991（1991），计算机械协会：纽约计算机械协会），164-174
[7] 拉兹洛·巴拜；尤金·卢克斯（Eugene M.Luks）。；Seress，Al kos，置换群的快速管理。一、 SIAM J.计算。，26, 1310-1342 (1997) ·Zbl 0885.68090号
[8] 巴拜，L。；Beals，R.，黑箱群的多项式时间理论。一、 （《1997年巴斯的圣安德鲁斯团体》，《1997年巴思的圣安德鲁团体》，第一卷，伦敦数学学院讲稿，第260卷（1999年），剑桥大学出版社：剑桥大学出版社），30-64·Zbl 0942.20032号
[9] 巴拜，L。；Shalev，A.，《认识黑盒群的简单性和仿射群中p-奇异元素的频率》，（群与计算III.群与计算III，俄亥俄州，1999年）。群组与计算III.群组与计算III，俄亥俄州，1999年，俄亥俄州立大学数学系。Res.Inst.出版。（2000），德格鲁伊特：德格鲁伊特柏林），39-62·Zbl 1052.20031号
[10] 巴拜，L。；Kantor，W.M。；Pálfy，P.P。；阿拉巴马州塞雷斯。，通过元素阶的统计对Lie型有限单群的黑盒识别，J.群论，5383-401（2002）·Zbl 1015.20013号
[11] 巴拜，L。；Beals，R。；阿拉巴马州塞雷斯。，矩阵群的多项式时间理论，（第41届美国计算机学会计算理论年会论文集。第41届ACM计算理论年会刊论文集，STOC 2009，Bethesda，MD，USA（2009）），55-64·Zbl 1304.68065号
[12] 巴拜，L。；Pálfy，P.P。；Saxl，J.，关于有限简单群中p-正则元素的数量，LMS J.Comput。数学。，12, 82-119 (2009) ·Zbl 1225.20013号
[13] 亚历山大·博罗维克；Yalçcon nkaya，üükrü，黑盒群的伴随表示\（\operatorname｛PSL｝_2（\mathbb{F} （_q）)\)，J.代数，506，540-591（2018）·Zbl 1429.20031号
[14] 博斯马，W。；坎农，J。；Playout，C.，《岩浆代数系统I：用户语言》，J.Symb。计算。，24, 235-265 (1997) ·Zbl 0898.68039号
[15] 布雷，J.N。；康德尔医学博士。；Leedham-Green，C.R。；O'Brien，E.A.，交替群和对称群的简短表示，Trans。美国数学。Soc.，3633277-3285（2011年）·兹比尔1223.20023
[16] 约翰·布雷。；Bäärnhielm，Henrik，识别铃木群体的新方法，J.Algebra，493483-499（2018）·Zbl 1388.20023号
[17] John N.Bray，Henrik Bäärnhielm，铃木集团的标准发电机，预印本，2019年·Zbl 1388.20023号
[18] 约翰·布里尔哈特（John Brillhart）；Lehmer，D.H。；塞尔弗里奇，J.L。；布莱恩特·塔克曼；Wagstaff，S.S.，因子分解，当代数学，第22卷（1988），美国数学学会：美国数学学会普罗维登斯，RI·Zbl 0659.10001号
[19] 塞勒，F。；Leedham-Green，C.R。；Murray，S.H。；尼迈耶，A.C。；O'Brien，E.A.，有限群的随机元生成，Commun。代数，234931-4948（1995）·Zbl 0836.20094
[20] Frank Celler；Leedham-Green，C.R.，计算可逆矩阵的阶，（群与计算II（1997），美国数学学会：美国数学学会普罗维登斯，RI），55-60·Zbl 0877.20034号
[21] Clifford，A.H.，在不变子群中诱导的表征，Ann.Math。，38, 533-550 (1937) ·Zbl 0017.29705号
[22] 阿杰·科恩（Arjeh M.Cohen）。；斯科特·默里（Scott H.Murray）。；Taylor，D.E.，《李型群计算》，数学。计算。，73, 1477-1498 (2004) ·Zbl 1062.20049号
[23] Arjeh M.Cohen，D.E.Taylor，《Lie型扭曲群的行缩减》，预印本，2020年。
[24] 康德，M.D.E。；Leedham-Green，C.R。；O'Brien，E.A.，对\（\运算符名称｛PSL｝（2，q）\）的构造性承认，Trans。美国数学。Soc.，3581203-1221（2006）·Zbl 1105.20013号
[25] Costi，Elliot，经典群体中的建构性成员测试（2009），伦敦大学玛丽女王，博士论文
[26] 迪特里希，H。；Leedham-Green，C.R。；O'Brien，E.A.，《经典群的有效黑盒构造识别》，J.Algebra，421，460-492（2015）·Zbl 1316.20053号
[27] Glasby，S.P。；Leedham-Green，C.R。；O'Brien，E.A.，《在子域上书写投影表示》，《代数杂志》，295，51-61（2006）·Zbl 1103.20009号
[28] 霍姆斯，体育。；Linton，S.A。；O'Brien，E.A。；Ryba，A.J.E.（美国）。；Wilson，R.A.，《黑箱群体中的建构性成员身份》，《群论》，11747-763（2008）·兹比尔1173.20036
[29] 霍尔特，D.F。；Leedham-Green，C.R。；O'Brien，E.A。；Rees，S.，计算关于正规子群的矩阵群分解，J.代数，184818-838（1996）·2014年8月65日
[30] 霍尔特，D.F。；Rees，S.，《不可约性测试模块》，J.Aust。数学。Soc.序列号。A、 57、1-16（1994）·Zbl 0833.20021号
[31] 伊万尼奥斯，加博尔；Lux，Klaus，《处理MeatExe的例外情况》，实验数学。，9, 373-381 (2000) ·Zbl 0966.16028号
[32] Jambor，S。；勒纳，M。；尼迈耶，A.C。；Plesken，W.，未知度交替群的快速识别，J.代数，392315-335（2013）·Zbl 1293.20004号
[33] Kantor，William M.，Sylow多项式时间定理，J.Compute。系统。科学。，30, 359-394 (1985) ·Zbl 0573.20022号
[34] 威廉·坎特。；Kassabov，Martin，黑盒群同构于（operatorname{PGL}（2,2^{operatorname{e}}），J.Algebra，421，16-26（2015）·Zbl 1323.20044号
[35] Kantor，W.M。；Magaard，K.，李类型II的黑盒例外群，J.代数，421，524-540（2015）·Zbl 1304.20020号
[36] 文森特·兰达久里；Gary M.Seitz，关于有限Chevalley群的投影表示的最小度，J.代数，32，418-443（1974）·兹比尔0325.20008
[37] Leedham-Green，C.R。；O'Brien，E.A.，《识别张量诱导矩阵群》，《代数杂志》，253，14-30（2002）·Zbl 1084.20032号
[38] Leedham-Green，C.R。；O'Brien，E.A.，关于经典群的标准生成器的介绍，J.代数，545324-389（2020）·Zbl 1485.20077号
[39] Liebeck，M.W。；O'Brien，E.A.，《寻找Lie型群的特征》，J.Lond。数学。Soc.，75，741-754（2007）·Zbl 1126.20008号
[40] Liebeck，M.W。；O'Brien，E.A.，Lie型有限例外群的识别，Trans。美国数学。Soc.，368，6189-6226（2016年）·兹比尔1345.20065
[41] Luks，E.M.，在多项式时间内计算置换群的构成因子，组合数学，787-99（1987）·Zbl 0627.20002号
[42] Luks，Eugene M.，可解矩阵群中的计算，（Proc.33th IEEE Sympos.Foundations Comp.Sci（1992）），111-120·兹比尔0914.65042
[43] O'Brien，E.A.，矩阵群的算法。2009年伦敦巴斯二世圣安德鲁斯集团。数学。Soc.Lect（社会学）。注释序列。，388, 297-323 (2011) ·Zbl 1237.20002号
[44] Pak，Igor，《产品替换算法是多项式》，（第41届计算机科学基础年度研讨会。第41届计算科学基础年度会议，加利福尼亚州雷东多海滩，2000（2000），IEEE Compute。Soc.出版社：IEEE计算。加利福尼亚州洛斯阿拉米托斯Soc.Press，476-485
[45] 塞莱斯，阿尔科斯，置换群算法，剑桥数学丛书，第152卷（2003），剑桥大学出版社·Zbl 1028.20002号
[46] Shparlinski，Igor E.，《有限域：理论与计算》。《数论、计算机科学、编码理论和密码学、数学及其应用的汇合点》，第477卷（1999年），克鲁沃学术出版社：克鲁沃学术出版商多德雷赫特·Zbl 0967.11052号
[47] Wilson，R.A.，《有限简单群》（The Finite Simple Groups）（2009），Springer Verlag:Springer Verlag London·Zbl 1203.20012号
[48] R.A.Wilson等人，《有限群表示图集》，brauer.maths.qmul.ac.uk/Alas。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。