×
约翰·坎农。；钢铁，Allan K。；威廉·昂格（William R.Unger）。

有限群的不可约模表示的构造。 （英语） Zbl 1485.20026号

J.代数 545, 64-87 (2020).
摘要：描述了构造不可约模及其Brauer特征的一个完整过程，其中，K是特征的有限域，G是有限置换或矩阵群。其核心思想是构造一个由（KG）模组成的序列（S_1，ldots，S_n），每个模的维数都相对较小，这样每个（S_i）都有一个或多个不可约的成分，这些成分不是（S_1、ldots、S_{i-1}）的成分。Meataxe与缩合一起使用，用于从每个（S_i）中提取新的不可还原物。该算法已在中实现岩浆并且能够构造维数超过20万的不可约数。

引用于1文件

MSC公司：

20C20米 模块化表示和字符

关键词：

表象理论；Brauer字符；不可约模；有限群

软件：

ATLAS集团代表；算法898；M4英里/小时；岩浆
PDF格式BibTeX公司 XML格式引用
\textit{J.J.Cannon}等人，J.Algebra 545，64-87（2020；Zbl 1485.20026）
全文： DOI程序

参考文献：

[1] 阿尔布雷希特，马丁；格雷戈里·巴德（Gregory Bard）；Hart，William，《898算法：GF（2）上稠密矩阵的高效乘法》，ACM Trans。数学。软件，37，1（2010）·Zbl 1364.65092号
[2] 博斯玛（Bosma）、维布（Wieb）；约翰·坎农（John Cannon）；Catherine Playout，《岩浆代数系统》。用户语言、计算代数和数论。计算代数和数论，伦敦，1993年。计算代数和数论。计算代数与数论，伦敦，1993，J.符号计算。，24, 3-4, 235-265 (1997) ·Zbl 0898.68039号
[3] 理查德·布劳尔（Richard Brauer），《关于伯恩赛德（Burnside）和布利赫费尔德（Blichfeldt）定理的注释》，Proc。阿默尔。数学。Soc.，15，31-34（1964年）·Zbl 0122.27503号
[4] Brückner，Herbert，Algorithmen für endliche auflösbare Gruppen und Anwendungen（1998），博士论文，RWTH-Achen·兹比尔0994.2017
[5] John J.Cannon。；考克斯（Bruce C.Cox）。；霍尔特，德里克·F。，计算置换群的子群，计算代数和数论。计算代数与数论，威斯康星州密尔沃基，1996年。计算代数和数论。计算代数与数论，密尔沃基，威斯康星州，1996，J.符号计算。，31, 1-2, 149-161 (2001) ·Zbl 0984.20002号
[6] John J.Cannon。；霍尔特，德里克·F。，《计算主级数、合成级数和大置换群中的苏格拉底》，计算代数和数论。计算代数和数论，伦敦，1993年。计算代数和数论。计算代数与数论，伦敦，1993，J.符号计算。，24, 3-4, 285-301 (1997) ·Zbl 0890.20006号
[7] John J.Cannon。；Holt，Derek F.，计算有限群的极大子群，J.符号计算。，37, 5, 589-609 (2004) ·Zbl 1125.20306号
[8] John J.Cannon。；Holt，Derek F.，置换群中的计算共轭类代表，J.代数，300，1，213-222（2006）·邮编1096.20005
[9] John J.Cannon。；霍尔特（Derek F.Holt）。；Michael Slattery；Steel，Allan K.，有限群中有界指数的计算子群，J.符号计算。，40, 2, 1013-1022 (2005) ·Zbl 1124.20014号
[10] 达巴基安，V。；Dixon，J.D.，《计算矩阵表示》，数学。公司。，79, 271, 1801-1810 (2010) ·Zbl 1196.20018号
[11] Dixon，J.D.，群字符的高速计算，数值。数学。，10, 446-450 (1967) ·Zbl 0166.29001号
[12] 安妮·亨克；希斯，格哈德；Müller，Jürgen，偶发O'Nan群的7模分解矩阵，J.Lond。数学。Soc.（2），60，1，58-70（1999）·Zbl 0940.20020
[13] 希斯，G。；Jansen，C。；勒克斯，K。；Parker，R.A.，计算模块特征理论
[14] 希斯，格哈德；缪勒、于尔根；费利克斯·诺伊斯克；Thackray，Jon，特征2和3中零星简单Harada-Norton群及其自同构群的Brauer特征，LMS J.Compute。数学。，15, 257-280 (2012) ·兹比尔1296.20007
[15] 霍尔特（Derek F.Holt）。；贝蒂娜·艾克；O'Brien，Eamonn A.，《计算群论、离散数学及其应用手册》（Boca Raton）（2005年），查普曼和霍尔/CRC:Chapman和霍尔/CRC博卡拉顿，佛罗里达州·Zbl 1091.20001号
[16] 霍尔特（Derek F.Holt）。；Sarah Rees，《不可约性测试模块》，J.Aust。数学。Soc.A，57，1，1-16（1994年）·Zbl 0833.20021号
[17] Isaacs，I.Martin，《有限群的特征理论》（1994），多佛出版公司：纽约多佛出版有限公司，1976年原版的修正重印，纽约学术出版社·Zbl 0849.20004号
[18] 克里斯托夫·扬森（Christoph Jansen）；卢克斯，克劳斯；理查德·帕克；罗伯特·威尔逊，《布劳尔人物地图集》，伦敦数学学会专著。《新丛书》，第11卷（1995），牛津大学出版社：克拉伦登出版社，纽约牛津大学出版社，附录2，T.Breuer和S.Norton，牛津科学出版社·Zbl 0831.20001
[19] Walter，Keller-Gehrig，特征多项式的快速算法，Theoret。计算。科学。，36、2-3、309-317（1985年6月）·Zbl 0565.68041号
[20] Leon，Jeffrey S.，《计算纠错码的自同构群》，IEEE Trans。通知。理论，28,3496-511（1982）·Zbl 0479.94016号
[21] 卢克斯，克劳斯；Pahlings，Herbert，《群的表示：计算方法》，《剑桥高等数学研究》，第124卷（2010年），剑桥大学出版社：剑桥大学出版社·Zbl 1208.2001年11月
[22] 卢克斯，克劳斯；Wiegelmann，Markus，Condensing张量积模，（有限群地图集：十年之后。有限群地图：十年以后，伯明翰，1995。《有限群地图集：十年》。《有限群图集：10年》，伯明翰，1995年，伦敦数学。Soc.课堂讲稿Ser。，第249卷（1998），剑桥大学出版社：剑桥大学出版社，174-190·Zbl 2003年5月9日
[23] 缪勒、于尔根；马克斯·诺伊霍弗（Max Neunhöffer）；Röhr，Frank；Robert Wilson，为零星的简单Lyons组完成Brauer树，LMS J.Compute。数学。，5，18-33（2002），（电子版）·Zbl 1053.20012号
[24] 缪勒、于尔根；Rosenboom，Jens，诱导表示的凝聚与应用：（Co_2）的2-模分解数，（群与代数表示的计算方法。群与代数的表示计算方法，Essen，1997。群和代数表示的计算方法。群和代数表示的计算方法，Essen，1997，Progr。数学。，第173卷（1999年），Birkhäuser:Birkháuser Basel），309-321·Zbl 0945.20008号
[25] Navarro，Gabriel，《有限群的字符和块》，伦敦数学学会讲义系列，第250卷（1998年），剑桥大学出版社：剑桥大学出版社·Zbl 0903.20004号
[26] Noeske，Felix，《解决凝聚中的生成问题》，J.Algebra，309，2711-722（2007）·2009年11月12日
[27] Parker，R.A.，《模块化字符的计算机计算（肉斧）》，（计算群论。计算群论，达勒姆，1982（1984），学术出版社：伦敦学术出版社），267-274·Zbl 0555.20001号
[28] 帕克·R·A。；Wilson，R.A.，有限域上有限群矩阵表示的计算机构造，J.符号计算。，9, 583-590 (1990) ·Zbl 0742.20018号
[29] Ryba，A.J.E.，模块表示的计算机压缩，J.符号计算。，9，5-6，591-600（1990），计算群论，第1部分·Zbl 2011年5月7日
[30] Rylands，L.J。；Taylor，D.E.，正交群的矩阵生成器，J.符号计算。，25, 351-360 (1998) ·Zbl 0910.20030号
[31] Schneider，Gerhard J.A.，Dixon的字符表算法重访，J.符号计算。，9，5-6，601-606（1990），计算群论，第1部分·Zbl 0701.20002号
[32] Sims，Charles C.，置换群研究中的计算方法，（抽象代数中的计算问题，抽象代数中计算问题，Proc.Conf.，牛津1967（1970），佩加蒙：佩加蒙牛津），169-183·Zbl 0215.0002号
[33] 查尔斯·西姆斯（Charles C.Sims），置换群计算（SYMSAC’71第二届ACM符号和代数操作研讨会论文集（1971），ACM），23-28·Zbl 0449.20002号
[34] 查尔斯·西姆斯（Charles C.Sims），《确定置换群的共轭类》（Computers in Algebra and Number Theory），《代数和数论中的计算机》，《SIAM-AMS Sympos.应用数学》，纽约，1970年。代数和数论计算机。代数和数论计算机。SIAM-AMS交响乐团。申请。数学。，纽约，1970年，SIAM-AMS Proc。，第四卷（1971年），美国。数学。Soc.：美国。数学。罗德岛州普罗维登斯），191-195年·Zbl 0253.20001号
[35] Steel，A.K.，《有限群的普通不可约表示的构造》（2012），悉尼大学，博士论文
[36] Volker、Strassen、Gaussian消元不是最优的，Numer。数学。，13, 354-356 (1969) ·Zbl 0185.40101号
[37] 易卜拉欣·A.I.苏莱曼。；Wilson，Robert A.，康威群co2的2-模特征，数学。程序。剑桥菲洛斯。Soc.，116，2，275-283（1994）·Zbl 0846.20018号
[38] 易卜拉欣·苏莱曼。；Wilson，Robert A.，《康威第三组（Co_3）的2模特征》，J.符号计算。，24, 3-4, 493-506 (1997) ·兹伯利0882.20008
[39] Thackray，J.G.，一些有限群的模表示（1981），剑桥大学，博士论文
[40] William R.Unger，计算有限群的字符表，J.符号计算。，41, 8, 847-862 (2006) ·邮编1125.20006
[41] Wilson，Robert A.，《有限矩阵群的构造》（群和代数表示的计算方法），群和代数的表示计算方法，埃森出版社，1997年。群和代数表示的计算方法。群和代数表示的计算方法，埃森，1997，Progr。数学。，第173卷（1999年），Birkhäuser:Birkháuser Basel），61-83·Zbl 0939.20011号
[42] Wilson，Robert A.，有限群表示地图集-版本3
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。