A.德廷科。;弗兰纳里，D.L。;A.赫尔普克。 算术组中的Zarisk密度和计算。 （英语） Zbl 1432.20035号 数学。计算。 87，第310号，967-986（2018）. 摘要：对于\（n>2），让\（\Gamma_n\）表示\（\mathrm{SL}（n，\mathbb{Z}）\）或\（\mathrm{Sp}（n，\mathbb{Z{）\。给出了计算算术群（H\leq\Gamma_n）中最大主同余子群的水平的一个实用算法。这构成了我们使用此类算术组（H）进行计算的方法的主要组成部分。更一般地说，我们提供了在\（\Gamma_n\）中使用Zarisk稠密群进行计算的算法。我们使用算法的GAP实现来解决最近出现的重要线性组类的问题。 引用于10文件 数学溢出问题： 算术组的有限表示是可计算的吗？ MSC公司： 05年20月 单模群，同余子群（群理论方面） 20-08 群论问题的计算方法 68瓦40 算法分析 软件：马格普;记录;间隙 PDF格式BibTeX公司 XML格式引用 \textit{A.Detinko}等人，《数学》。计算。87，编号310，967--986（2018；Zbl 1432.20035） 全文： 内政部 arXiv公司 参考文献： [1] Aschbacher，M.，关于有限经典群的极大子群，Invent。数学。，76, 3, 469-514 (1984) ·Zbl 0537.20023号 ·doi:10.1007/BF01388470 [2] Bass，H。；Milnor，J。；Serre，J.-P.，（{rm SL}_n，（n\geq 3））和（{rm-Sp}_{2n}，（n \geq 2））同余子群问题的解，Inst.Hautes Sci。出版物。数学。，33, 59-137 (1967) ·兹标0174.05203 [3] Beisiegel，Bert，Die Automorphismenguppen homozyklischer \（p\）-Gruppen，Arch。数学。（巴塞尔），29，4，363-366（1977）·Zbl 0366.20010号 [4] Beukers，F。；Heckman，G.，超几何函数的单调性\（_nF_｛n-1｝\），发明。数学。，95, 2, 325-354 (1989) ·Zbl 0663.30044号 ·doi:10.1007/BF01393900 [5] 克里斯托弗·布拉夫；Thomas，Hugh，《Sp（4）中的单峰瘦》，作曲。数学。，150, 3, 333-343 (2014) ·Zbl 1311.14010号 ·doi:10.1112/S0010437X13007550 [6] 约翰·布雷（John N.Bray）。；霍尔特（Derek F.Holt）。；Roney-Dougal，Colva M.，《低维有限经典群的极大子群》，伦敦数学学会讲座笔记系列407，xiv+438 pp.（2013），剑桥大学出版社，剑桥·Zbl 1303.20053号 ·doi:10.1017/CBO9781139192576 [7] Breuillard，Emmanuel，近似子群和超强近似。圣安德鲁斯集团，2013年，伦敦数学。Soc.课堂讲稿Ser。4221-50（2015），剑桥大学出版社，剑桥·Zbl 1365.11010号 [8] Frank Celler；查尔斯·格林（Charles R.Leedham-Green）。；斯科特·默里（Scott H.Murray）。；艾丽斯·尼迈耶（Alice C.Niemeyer）。；O'Brien，E.A.，有限群的随机元生成，《通信代数》，23，13，4931-4948（1995）·Zbl 0836.20094 ·doi:10.1080/00927879508825509 [9] 陈耀涵；杨一凡；Yui，Noriko，《Calabi-Yau三重Picard-Fuchs微分方程的单值性》，J.Reine Angew。数学。，616, 167-203 (2008) ·Zbl 1153.34055号 ·doi:10.1515/CRELLE.2008.021 [10] 德克森，哈姆；伊曼纽尔·让德尔；Koiran，Pascal，量子自动机和代数群，J.符号计算。，39, 3-4, 357-371 (2005) ·Zbl 1124.81004号 ·doi:10.1016/j.jsc.2004.11.008 [11] 德廷科，美国。；Flannery，D.L。；Hulpke，A.，《具有同余子群性质的算术群的算法》，J.Algebra，421234-259（2015）·Zbl 1319.20040号 ·doi:10.1016/j.jalgebra.2014.08.027 [12] DensityFurther A.S.Detinko、D.L.Flannery和A.Hulpke，《强近似和线性群实验》，预印本（2016）。 [13] 德廷科，美国。；Flannery，D.L。；O'Brien，E.A.，识别无限域上的有限矩阵群，J.符号计算。，50, 100-109 (2013) ·Zbl 1268.20055号 ·doi:10.1016/j.jsc.2012.04.002 [14] 德廷科，美国。；Flannery，D.L。；O'Brien，E.A.，《山雀替代和相关问题的算法》，《J.代数》，344397-406（2011）·Zbl 1245.20062号 ·doi:10.1016/j.jalgebra.2011.06.036 [15] 差距差距小组、差距——小组、算法和编程，http://www.gap-system.org [16] Fritz Grunewald；丹尼尔·西格尔，《一些通用算法》。算术组，数学年鉴。(2), 112, 3, 531-583 (1980) ·Zbl 0457.20047号 ·doi:10.2307/1971091 [17] 亚历山大·哈恩（Alexander J.Hahn）。；O'Meara，O.Timothy，《经典群和（K）理论》，Grundlehren der Mathematischen Wissenschaften[数学科学的基本原理]291，xvi+576 pp.（1989），Springer-Verlag，柏林·Zbl 0683.20033号 ·doi:10.1007/978-3-662-13152-7 [18] Hofmann，J{“o}rg；van Straten，Duco，（Sp_4（mathbb{Z}）中有限指数的一些单值群，J.Aust.Math.Soc.，99，1，48-62（2015）·Zbl 1320.14014号 ·文件编号：10.1017/S144678871500014 [19] Hulpke，Alexander，剩余类环上保持双线性形式的群的计算生成器，J.符号计算。，50298-307（2013）·Zbl 1264.20050号 ·doi:10.1016/j.jsc.2012.08.002 [20] gapmatgrp A.Hulpke，GAP包matgrp，http://www.math.colotate.edu/hulpke/matgrp/。 [21] 詹姆斯·汉弗莱斯（James E.Humphreys），《算术小组》，数学课堂讲稿789，vii+158 pp.（1980），柏林斯普林格·Zbl 0426.20029 [22] Humphries，Stephen P.，（{\rm SL}（n，{\bf Z}）的自由子群；n> 2，\）由横截生成，J.代数，116，1，155-162（1988）·Zbl 0648.20050 ·doi:10.1016/0021-8693（88）90198-6 [23] kassabovcommunication M.Kassabov，私人通信。 [24] 彼得·克莱德曼（Peter Kleidman）；Liebeck，Martin，《有限经典群的子群结构》，伦敦数学学会讲座笔记系列129，x+303 pp.（1990），剑桥大学出版社，剑桥·Zbl 0697.20004号 ·doi:10.1017/CBO9780511629235 [25] 文森特·兰达久里；Gary M.Seitz，关于有限Chevalley群的投影表示的最小度，J.代数，32，418-443（1974）·Zbl 0325.20008号 [26] Long，D.D。；Reid，A.W.，（{\rm SL}（3，\mathbb{Z}）的小子群，实验数学。，20, 4, 412-425 (2011) ·Zbl 1269.57002号 ·doi:10.1080/10586458.2011.565258 [27] 亚历山大·卢博茨基（Alexander Lubotzky），《几乎所有人都有一个：通过（{rm SL}（n，{bf Z}））的子集生成（{rm-SL}（n，p）》。《代数》，《（K）-理论、群与教育》，纽约，1997年，康泰姆出版社。数学。243125-128（1999），美国。数学。佛罗里达州普罗维登斯Soc·Zbl 0979.20043号 ·doi:10.1090/conm/243/03689 [28] Lubotzky，Alexander，离散群的维数函数。集团会议记录-St。安德鲁斯1985，伦敦数学。Soc.课堂讲稿Ser。121，254-262（1986），剑桥大学出版社，剑桥·Zbl 0605.20029 [29] 亚历山大·卢博茨基（Alexander Lubotzky）；Meiri，Chen，《群论中的筛法I：线性群的幂》，J.Amer。数学。Soc.，25，4，1119-1148（2012）·Zbl 1283.20075号 ·doi:10.1090/S894-0347-2012-00736-X [30] 亚历山大·卢博茨基（Alexander Lubotzky）；Segal，Dan，分组增长，数学进展212，xxii+453页（2003），Birkh“auser Verlag，巴塞尔·Zbl 1071.20033号 ·doi:10.1007/978-3-0348-8965-0 [31] 马修斯，C.R。；Vaserstein，L.N。；Weisfeiler，B.，Zarisk-dense子群的同余性质。一、 程序。伦敦数学。Soc.（3），48，3，514-532（1984）·Zbl 0551.20029号 ·doi:10.1112/plms/s3-48.3.514 [32] Meiri，Chen，（SL（n，mathbb{Z}）有限指数子群的生成对，J.Algebra，470420-424（2017）·Zbl 1368.20066号 ·doi:10.1016/j.jalgebra.2016.09.026 [33] gapreco M.Neunh“报价”A。Seress等人，The GAP package recog，一组组识别方法，http://gap-packages.github.io/recog/。 [34] Rivin1 I.Rivin，应用于Zarisk密度的大型Galois群，http://arxiv.org/abs/1312.3009v4。 [35] Rivin，Igor，Zarisk密度和一般性，国际数学。Res.否。IMRN，19，3649-3657（2010）·Zbl 1207.2004年25月 ·doi:10.1093/imrn/rnq043 [36] Sarnak，Peter，《关于薄矩阵群的注释》。薄群和超强近似，数学。科学。Res.Inst.出版。61，343-362（2014），剑桥大学出版社，剑桥·Zbl 1365.11039号 [37] Singh，Sandip，与Calabi-Yau三倍相关的四个超几何单值群的算术性，国际数学。Res.否。IMRN，18，8874-8889（2015）·Zbl 1326.22011年 ·doi:10.1093/imrn/rnu217 [38] 桑迪普·辛格（Sandip Singh）；Venkataramana，T.N.，某些辛超几何群的算术性，杜克数学。J.，163，3591-617（2014）·Zbl 1287.22005年 ·doi:10.1215/00127094-2410655 [39] Soifer，G.A。；Venkataramana，T.N.，在高阶半简单群中有限生成的密集自由群，变换。组，5，1，93-100（2000）·Zbl 0940.22009号 ·doi:10.1007/BF01237181 [40] Venkataramana，T.N.，《算术群的Zarisk稠密子群》，《代数》，108，2，325-339（1987）·Zbl 0679.20040 ·doi:10.1016/0021-8693（87）90106-2 [41] Weigel，Thomas，关于有限Chevalley群的一类Frattini扩张。《李型群及其几何》，科莫，1993年，伦敦数学。Soc.课堂讲稿Ser。207，281-288（1995），剑桥大学出版社，剑桥·Zbl 0866.20041号 ·doi:10.1017/CBO9780511565823.019 [42] Thomas Weigel，《关于分裂型算术群的有限完成》。Lois d’alg“ebres et vari”et’es alg’ebriques，科尔马，1991年，特拉沃·恩库斯50，79-101（1996），赫尔曼，巴黎·Zbl 0948.20024号 [43] 扎尔斯基{u\i}，A.E。；序列{\v{z}}kin，v.N.，横截生成的线性群，Izv。阿卡德。Nauk SSSR序列。材料，40，1，26-49，221（1976）·Zbl 0333.20038号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。