亨里克·Bäärnhielm；德里克·霍尔特；利德汉·格林（C.R.Leedham-Green）。；E.A.奥布莱恩。 矩阵群计算的实用模型。 （英语） Zbl 1317.20002号 J.塞姆。计算。 68，第1部分，27-60（2015）. 在有限群的计算问题中，通常通过从一些更大的已知群中提供一组生成元来非常经济地描述群（G）；例如，生成器是来自对称群的置换，或来自有限域上一般线性群的矩阵。然后，目的是使用这种描述来确定（G）的各种群论性质，例如：序、Sylow子群、可解性、简单性等。20世纪60年代，查尔斯·西姆斯引入了基和强生成集的概念来处理（当时的）非常大的群。该技术基于（G）的子群链的存在性，在该链中，与组的大小相比，连续指数较小。当\（G\）是一个置换群时，这种子群链通过计算稳定器自然发生，Sims的思想在用这种群进行计算时一直是核心。然而，对于矩阵群，Sims的方法往往会失败，因为没有合适的子群链；例如，在一些矩阵群中，每个极大子群都有一个大指数。这导致了“矩阵群识别程序”[参见C.R.利德姆-格林，in：分组与计算III。美国俄亥俄州哥伦布市俄亥俄州立大学国际会议论文集，1999年。柏林：Walter de Gruyter。俄亥俄州立大学数学。Res.Inst.出版。8, 229-247 (2001;Zbl 1052.20034号)]其中，子群链被一个次正规子群链取代，识别因子群起着核心作用。在本文中，作者定义了一个复合树，使（G）是一个完全二叉树，其顶点由（G）的次正规部分标记。根被标记为\（G），一个非叶节点被标记为_（H），例如，有两个子节点\（H_0\）和\（H_1\），以及一个相关的精确序列\（H_0\hookrightarrow H\twoheadrightarrow-H_1\）。树是递归构造的，使用的数据结构可以在\（G\）的部分中进行重写。为（G）的特征序列构造合成树的过程使用了关于简单群及其自同构的详细知识。算法及其实现结合了许多作者的工作，并涉及技术细节。这些算法已经在MAGMA中实现，本文最后描述了该程序在解决一些挑战性问题方面的工作情况。审核人：约翰·迪克森（渥太华） 引用于19文件 MSC公司： 20-04 群论相关问题的软件、源代码等 20G40型 有限域上的线性代数群 20B40码 计算方法（排列组）（MSC2010） 68瓦30 符号计算和代数计算 关键词：有限矩阵群；结构计算；合成树；有限域上的线性群；高效算法；成分系列；演示文稿；推定承认 引文：Zbl 1052.20034号 软件：记录；ATLAS集团代表；MeatExe公司；岩浆；间隙 PDF格式BibTeX公司 XML格式引用 \textit{H.Bäärnhielm}等人，J.Symb。计算。68，第1部分，27--60（2015；Zbl 1317.20002） 全文： 内政部 参考文献： [1] Ambrose，S。；Murray，S。；Praeger，C.E。；Schneider，C.，《黑盒经典群中的构造性成员测试》，（《第三届国际数学软件大会论文集》，第三届数学软件国际大会论文集，Lect.Notes Compute.Sci.，vol.6327（2011）），54-57·Zbl 1198.20039号 [2] Aschbacher，M.，关于有限经典群的极大子群，Invent。数学。，76, 3, 469-514 (1984) ·Zbl 0537.20023号 [3] Bäärnhielm，Henrik，《认识铃木群的自然表示》，代数杂志，300，171-198（2006）·2012年12月11日 [4] Bäärnhielm，Henrik，Lie型扭曲群中的算法问题（2007），伦敦玛丽女王大学，博士论文·2012年12月11日 [5] Bäärnhielm，Henrik，《在自然表征中识别Ree群》，《代数杂志》，416139-166（2014）·Zbl 1303.20009号 [6] Babai，László，顶点传递图的局部展开和有限群中的随机生成，（STOC’91：第二十届ACM计算理论年会论文集（1991），ACM出版社：美国纽约州纽约市ACM出版社），164-174 [7] 拉兹洛·巴拜；Robert Beals，黑箱群多项式时间理论。I、 （圣安德鲁斯组，1997年，巴斯，I。圣安德鲁斯组，1997年，巴斯，I，伦敦。数学。社会。注释系列，第260卷（1999年），剑桥大学出版社：剑桥大学出版社，剑桥），30-64·Zbl 0942.20032号 [8] 拉兹洛·巴拜；Shalev，Aner，《认识黑盒群的简单性和仿射群中奇异元素的频率》，（《群与计算》，第三卷，群与计算，第三期，哥伦布，俄亥俄州，1999年。群组与计算，III.群组与计算（III），俄亥俄州哥伦布，1999年，俄亥俄州立大学数学系。Res.Inst.出版物。，第8卷（2001年），《德格鲁伊特：德格鲁伊特·柏林》，第39-62页·Zbl 1052.20031号 [9] 拉兹洛·巴拜；Szemerédi，Endre，《关于矩阵群问题的复杂性》，I（第25届IEEE Sympos.Foundations Comp.Sci.（1984）），229-240 [10] 巴拜，L。；古德曼，A.J。；Kantor，W.M。；Luks，E.M。；Pálfy，P.P.，有限群的简短表示，J.代数，194，79-112（1997）·Zbl 0896.20025号 [11] 拉兹洛·巴拜；威廉·坎特。；Pálfy，Péter P。；塞莱斯，阿尔科斯，通过元素阶的统计对Lie型有限单群的黑盒识别，群理论，5，4，383-401（2002）·Zbl 1015.20013号 [12] 拉兹洛·巴拜；罗伯特·比尔斯（Robert Beals）；Seress，Al kos，矩阵群的多项式时间理论，（第41届ACM计算理论年会论文集，STOC 2009，Bethesda，MD，USA（2009）），55-64·Zbl 1304.68065号 [13] 亚历山大·博罗维克；Yalçcon nkaya，S.，《黑色的五十种色调》（2013年） [14] 博斯玛（Bosma）、维布（Wieb）；约翰·坎农（John Cannon）；Catherine Playout，《岩浆代数系统》。用户语言、计算代数和数论。计算代数和数论，伦敦，1993年。计算代数和数论。计算代数与数论，伦敦，1993年，J.Symb。计算。，24, 3-4, 235-265 (1997) ·Zbl 0898.68039号 [15] 谢尔盖·布拉图斯；Pak，Igor，利用Goldbach猜想对同构于（S_n）或（a_n）的黑盒群的快速构造识别，J.Symb。计算。，29, 1, 33-57 (2000) ·Zbl 0952.20005号 [16] Bray，John N.，生成渐开线扶正器的改进方法，Arch。数学。（巴塞尔），74，4，241-245（2000）·Zbl 0956.20022号 [18] 约翰·布雷；康德，M.D.E。；Leedham-Green，C.R。；O'Brien，E.A.，交替群和对称群的简短表示，Trans。美国数学。Soc.，3633277-3285（2011年）·兹比尔1223.20023 [19] Brooksbank，Peter A.，《快速构造性承认黑盒幺正群》，LMS J.Compute。数学。，6162-197（2003），（电子版）·Zbl 1053.20044号 [20] Brooksbank，Peter A.，黑箱辛群的快速构造识别，J.代数，320，2885-909（2008）·Zbl 1158.20022号 [21] Peter A.Brooksbank。；Kantor，William M.，黑箱正交群的快速构造识别，J.代数，300，1，256-288（2006）·Zbl 1107.20013号 [22] 彼得·布鲁克斯班克（Peter Brooksbank）；艾丽斯·尼迈耶（Alice C.Niemeyer）。；塞莱斯，阿尔科斯，具有特殊正规子群的矩阵群的约简算法，（有限几何、群与计算（2006），沃尔特·德格鲁特：沃尔特·德格鲁特-柏林），1-16·兹比尔1096.20041 [23] 彼得·卡梅隆（Peter J.Cameron）。；罗恩·所罗门；Turull，Alexandre，对称群中的子群链，J.代数，127，340-352（1989）·Zbl 0683.20004号 [24] Cannon，John J.，为有限群定义关系子的构造，离散数学。，5, 105-129 (1973) ·Zbl 0272.20030号 [25] 乔恩·卡尔森（Jon F.Carlson）。；马克斯·诺伊霍弗（Max Neunhöffer）；Roney Dougal，Colva M.，一种用于半线性或子域类的群的多项式时间约简算法，代数，322613-637（2009）·Zbl 1219.20001号 [26] Frank Celler；Leedham-Green，C.R.，《计算可逆矩阵的阶》，（《群与计算》，第二卷，群与计算，第二期，新泽西州新不伦瑞克，1995年。群与计算，II。分组与计算，II，新泽西州新不伦瑞克，1995，DIMACS Ser。谨慎。数学。西奥。计算。科学。，第28卷（1997年），美国。数学。Soc.：美国。数学。Soc.Providence，RI），55-60·Zbl 0877.20034号 [27] Frank Celler；查尔斯·格林（Charles R.Leedham-Green）。；斯科特·默里（Scott H.Murray）。；艾丽斯·尼迈耶（Alice C.Niemeyer）。；O'Brien，E.A.，有限群的随机元生成，Commun。代数，23，13，4931-4948（1995）·Zbl 0836.20094 [28] 阿杰·科恩（Arjeh M.Cohen）。；斯科特·默里（Scott H.Murray）。；Taylor，D.E.，《李型群计算》，数学。计算。，73, 247, 1477-1498 (2004) ·Zbl 1062.20049号 [29] 康德，M.D.E。；Leedham-Green，C.R。；O'Brien，E.A.，《对（PSL（2，q））的构造性承认》，Trans。美国数学。Soc.，358，3，1203-1221（2006）·Zbl 1105.20013号 [30] 康威，J.H。；柯蒂斯，R.T。；诺顿，S.P。；帕克·R·A。；Wilson，R.A.，《有限群地图集》（1985），牛津大学出版社·Zbl 0568.20001号 [31] 库珀曼，基因；Finkelstein，Larry，计算群论的组合工具，（群与计算，群与计算），新泽西州新不伦瑞克，1991年。分组和计算。《群组与计算》，新泽西州新不伦瑞克，1991年，DIMACS Ser。谨慎。数学。西奥。计算。科学。，第11卷（1993年），美国。数学。Soc.：美国。数学。Soc.Providence，RI），53-86·Zbl 0830.20006 [32] Corr，Brian，《有限域上矩阵的估计与计算》（2013），西澳大利亚大学博士论文·Zbl 1310.20042号 [33] Costi，Elliot，经典群体中的建构性成员测试（2009），伦敦大学玛丽女王，博士论文 [34] Detinko，A.S。；Flannery，D.L。；O'Brien，E.A.，《山雀替代和相关问题的算法》，《J.代数》，344397-406（2011）·Zbl 1245.20062号 [35] 德廷科，美国。；Flannery，D.L。；O'Brien，E.A.，《识别无限域上的有限矩阵群》，J.Symb。计算。，50, 100-109 (2013) ·Zbl 1268.20055号 [36] Dietrich，Heiko；Leedham Green，C.R.（李德姆·格林，C.R.）。；吕贝克，弗兰克；O'Brien，E.A.，《偶数特征中经典群的构造性识别》，《J.代数》，391227-255（2013）·Zbl 1293.20048号 [39] Geddes，K.O。；捷克共和国。；Labahn，G.，《计算机代数算法》（1992），Kluwer学术出版社·兹比尔0805.68072 [40] Glasby，S.P。；Leedham-Green，C.R。；O'Brien，E.A.，《在子域上书写投影表示》，《代数杂志》，295，1，51-61（2006）·Zbl 1103.20009号 [41] Guralnick，R.M。；Kantor，W.M。；Kassabov，M。；Lubotzky，A.，《有限简单群的表示：定量方法》，《美国数学杂志》。Soc.，21，3，711-774（2008）·Zbl 1223.20024号 [42] 霍姆斯，体育。；Linton，S.A。；O'Brien，E.A。；Ryba，A.J.E.（美国）。；Wilson，R.A.，《黑盒群中的构造成员》，《群理论》，第11、6、747-763页（2008年）·兹比尔1173.20036 [43] 霍尔特（Derek F.Holt）。；Sarah Rees，《不可约性测试模块》，J.Aust。数学。社会学硕士，57，1，1-16（1994）·Zbl 0833.20021号 [44] 霍尔特（Derek F.Holt）。；Roney-Dougal，Colva M.，置换和矩阵群的最小和随机生成，J.代数，387195-214（2013）·Zbl 1293.20067号 [45] 霍尔特（Derek F.Holt）。；Stather，Mark J.，计算有限域上矩阵群的主级数和可解根，LMS J.计算。数学。，11, 223-251 (2008) ·Zbl 1225.20040号 [46] 霍尔特（Derek F.Holt）。；Leedham-Green，C.R。；O'Brien，E.A。；Sarah Rees，《计算关于正规子群的矩阵群分解》，J.Algebra，184,3818-838（1996）·2014年8月65日 [47] 霍尔特（Derek F.Holt）。；Leedham-Green，C.R。；O'Brien，E.A。；莎拉·里斯（Sarah Rees），《测试矩阵群的不纯正性》，《代数杂志》（J.Algebra），184795-817（1996）·Zbl 0865.20013年 [48] 霍尔特（Derek F.Holt）。；贝蒂娜·艾克；O'Brien，Eamonn A.，《计算群论、离散数学及其应用手册》（2005），查普曼和霍尔/CRC：查普曼&霍尔/CRC博卡拉顿，佛罗里达州·Zbl 1091.20001号 [49] Howlett，R.B。；Rylands，L.J。；Taylor，D.E.，《李型特殊群的矩阵生成器》，J.Symb。计算。，31, 4, 429-445 (2001) ·Zbl 0987.20003号 [50] Hulpke，A.，计算矩阵群中元素的共轭类，J.代数，387268-286（2013）·兹比尔1286.20066 [51] 伊万尼奥斯，加博尔；Lux，Klaus，《处理MeatExe的例外情况》，实验数学。，9, 3, 373-381 (2000) ·Zbl 0966.16028号 [52] 塞巴斯蒂安·占博；马丁·勒纳（Martin Leuner）；艾丽斯·尼迈耶（Alice C.Niemeyer）。；Plesken，Wilhelm，未知度交替群的快速识别，代数杂志，392315-335（2013）·Zbl 1293.20004号 [53] Johnson，D.L.，《团体演讲》，伦敦。数学。Soc.Stud.Texts，第15卷（1990），剑桥大学出版社：剑桥大学出版社·Zbl 0696.20027号 [54] Kantor，W.M。；Kassabov，M.，与PGL同构的黑盒群，J.代数（2014），出版 [55] Kantor，W.M。；Magaard，K.，李型黑盒例外群，Trans。美国数学。Soc.365,94895-4931（2013）·Zbl 1285.20012号 [56] 威廉·坎特。；塞莱斯，阿尔科斯，黑盒经典群，Mem。美国数学。Soc.，149708（2001），viii+168·Zbl 1053.20045号 [57] 威廉·坎特。；Seress，Al kos，《大元素阶与Lie-type单群的特征》，《代数杂志》，322802-832（2009）·邮编：1180.20009 [58] 彼得·克莱德曼（Peter Kleidman）；Liebeck，Martin，有限经典群的子群结构，Lond。数学。Soc.Lect（社会学）。注释序列。，第129卷（1990），剑桥大学出版社：剑桥大学出版社·兹伯利0697.20004 [59] Kovács，L.G。；Robinson，Geoffrey R.，生成有限完全可约线性群，Proc。美国数学。Soc.，112，357-364（1991）·Zbl 0725.20031号 [60] 马萨诸塞州法律；艾丽斯·尼迈耶（Alice C.Niemeyer）。；Cheryl E.Praeger。；塞莱斯，阿尔科斯，大基原置换群的一种约简算法，LMS J.Compute。数学。，9，159-173（2006），（电子版）·Zbl 1112.20005号 [61] Leedham-Green，Charles R.，《计算矩阵小组项目》（group and Computation，III.group and Computing，III，Columbus，OH，1999）。群组与计算，III.群组与计算（III），俄亥俄州哥伦布，1999年，俄亥俄州立大学数学系。Res.Inst.出版物。，第8卷（2001年），《德格鲁伊特：德格鲁伊特柏林》，229-247·Zbl 1052.20034号 [62] Leedham-Green，C.R。；O'Brien，E.A.，识别矩阵群的张量积，国际代数计算杂志。，7, 5, 541-559 (1997) ·Zbl 0907.20025号 [63] Leedham Green，C.R.（李德姆·格林，C.R.）。；O'Brien，E.A.，《识别张量诱导矩阵群》，《J.代数》，253，1，14-30（2002）·Zbl 1084.20032号 [64] Leedham-Green，C.R。；O'Brien，E.A.，《奇异特征下经典群的构造性识别》，《J.代数》，322833-881（2009）·Zbl 1181.20044号 [66] 马丁·利贝克。；O'Brien，E.A.，《寻找Lie型群的特征》，J.Lond。数学。Soc.（2），75，3，741-754（2007）·Zbl 1126.20008号 [67] Martin W.Liebeck。；O'Brien，E.A.，Lie型有限例外群的识别，Trans。美国数学。Soc（2014）·兹比尔1345.20065 [69] 吕贝克，F。；马加德，K。；O'Brien，E.A.，《构造性识别（SL_3（q）》，J.代数，316，2，619-633（2007）·Zbl 1155.20048号 [70] 亚历山大·卢博茨基（Alexander Lubotzky），生成有限群的随机元素的期望数量，《代数杂志》（J.Algebra），257452-459（2002）·Zbl 1042.20047号 [71] 凯·马加德；O'Brien，E.A。；塞莱斯，阿尔科斯，一般线性群的小维表示的识别，J.奥斯特。数学。《社会学杂志》，85，229-250（2008）·Zbl 1216.20005号 [72] 斯科特·默里（Scott H.Murray）。；Roney-Dougal，Colva M.，《经典群的构造同态》，J.Symb。计算。，46, 371-384 (2011) ·Zbl 1275.20055号 [74] 马克斯·诺伊霍弗（Max Neunhöffer）；Praeger，Cheryl E.，计算矩阵的最小多项式，LMS J.计算。数学。，11, 252-279 (2008) ·Zbl 1225.65047号 [75] 马克斯·诺伊霍弗（Max Neunhöffer）；Seress，Al kos，有限群统一计算方法的数据结构，（ISSAC 2006（2006），ACM:ACM纽约），254-261·Zbl 1356.68291号 [78] Niemeyer，Alice C.，小超谱矩阵群规范化子的构造性识别，国际代数计算杂志。，15, 2, 367-394 (2005) ·Zbl 1083.20042号 [79] 艾丽斯·尼迈耶（Alice C.Niemeyer）。；Praeger，Cheryl E.，有限域上经典群的识别算法，Proc。伦敦。数学。Soc.（3），77，1，117-169（1998）·Zbl 0893.20035号 [80] 艾丽斯·尼迈耶（Alice C.Niemeyer）。；Praeger，Cheryl E.，有限域上非泛型经典群的识别算法，J.Aust。数学。Soc.A，67，223-253（1999年）·Zbl 0943.20049号 [81] O'Brien，E.A.，《线性群的有效算法》，（有限几何、群和计算（2006），沃尔特·德格鲁伊特：沃尔特·德格鲁伊特-柏林），163-190·Zbl 1110.20015号 [82] O'Brien，E.A.，《矩阵群的算法》，（Quick，Martyn；Roney-Dougal，Colva，groups.groups，St.Andrews，2009）。分组。圣安德鲁斯集团。2009年，伦敦讲座笔记。数学。Soc.，第388卷（2011），剑桥大学出版社，297-323·Zbl 1237.20002号 [83] Pak，Igor，《产品替换算法是多项式》，（FOCS’00:第41届计算机科学基础年会论文集（2000），IEEE计算机学会：IEEE计算机协会，华盛顿特区，美国），476-485 [84] Parker，R.A.，模字符的计算机计算（肉斧），（计算群论。计算群论，达勒姆，1982（1984），学术出版社：伦敦学术出版社），267-274·Zbl 0555.20001号 [85] 塞莱斯，阿尔科斯，置换群算法，坎布。拖拉机数学。，第152卷（2003），剑桥大学出版社：剑桥大学出版社·Zbl 1028.20002号 [86] Shparlinski，Igor E.，《有限域：理论与计算》。数论、计算机科学、编码理论和密码学、数学的交汇点。申请。，第477卷（1999年），Kluwer学术出版社：Kluwer-学术出版社Dordrecht·Zbl 0967.11052号 [87] 罗恩·所罗门；Turull，Alexandre，Lie型群中的子群链。三、 J.隆德。数学。《社会学杂志》，44，437-444（1991）·Zbl 0776.20007号 [88] Stather，Mark James，有限矩阵群计算算法（2006年8月），华威大学博士论文 [89] Stather，Mark，经典群的构造Sylow定理，J.代数，316，536-559（2007）·Zbl 1135.20034号 [90] Wilson，Robert A.，《零星简单群的标准生成器》，《J.代数》，184，2，505-515（1996）·Zbl 0855.20034号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。