×

有限简单群(^3D_4(2))的谱不可识别性。 (英语。俄文原件) Zbl 1329.20015号

代数逻辑 52,第5期,400-403(2013); 摘自《代数逻辑》52,第5期,601-605(2013)。
本文的目的是纠正[V.D.Mazurov(马祖罗夫)《代数逻辑》41,第2期,166-198(2002);《代数逻辑翻译》41,第2期,第93-110页(2002;Zbl 1067.20016号)]其中命题5声明有限单群(^3D_4(2))是可识别的。事实上,以下是正确的:
定理。设\(G={^3D_4}(2)\)和\(V\)是2阶域上的24维\(G\)-模,它等价于在8阶域上的8维\(G\)-模的加性群上\(G\)作用下出现的模。
(1) 如果(H)与(G)同谱,则(H)是核是2群(N)的(G)的覆盖,并且(N)中的每个(G)主因子同构为8阶域上唯一(直至等价)不可约8维(G)模的(G模)。
(2) 模(V)和(G)的半直积(H)与(G)是等谱的。
特别是,\(G\)是不可识别的;此外,它的封面中的光谱无法识别。

MSC公司:

20D06年 简单群:交替群和Lie型群
20D60年 涉及抽象有限群的算术和组合问题
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] V.D.Mazurov,“通过元素顺序识别有限单群S4(<Emphasis Type=“Italic”>q)”,《代数逻辑学》,41,第2期,166-198(2002)·Zbl 1067.20016号
[2] A.V.Zavarnitsine,“定义特征中简单组的例外作用”,Sib。El.Mat.Izv.公司。,5, 68-74 (2008); http://semr.math.nsc.ru/v5/p68-74.pdf。 ·Zbl 1289.20059号
[3] J.H.Conway、R.T.Curtis、S.P.Norton、R.A.Parker和R.A.Wilson,《有限群地图集》,克拉伦登出版社,牛津(1985)·Zbl 0568.20001号
[4] R.Wilson、P.Walsh、J.Tripp、I.Suleiman、R.Parker、S.Norton、S.Nickerson、S.Linton、J.Bray和R.Abbott,有限群表示地图集,第。三;http://brauer.maths.qmul.ac.uk/Atlas/v3。
[5] GAP组,GAP-组,算法和编程,版本。4.6.5 (2013); http://www.gap-system.org。
[6] M.A.Grechkoseeva,“有限单群覆盖中的元素阶”,《代数逻辑学》,52,第5期,638-641(2013)·兹比尔1329.20033
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。