Bui、Anh Tuan;格雷厄姆·埃利斯 小\(m\)与\(SL_2(\mathbb Z[1/m])的同源性。 (英语) Zbl 1311.20041号 J.代数 408, 102-108 (2014). 摘要:我们描述了一种算法,用于计算(mathrm)的有限指数子群的自由(mathbb ZG)-分辨率的有限项{SL}2(\mathbb Z[1/m])\)。该算法的一个实现用于确定积分同调群{SL}2(\mathbb Z[1/m]),\mathbbZ)\)用于所有整数\(m\leq 50\),\(m\neq 30,42 \)和\(n\geq 0\)。对于(m=30)或(m=42),实现仅适用于(n=1,2)。 引用于三文件 MSC公司: 20克10 线性代数群的上同调理论 20J06型 群的上同调 68瓦30 符号计算和代数计算 关键词:群上同调;算法;自由分辨率;积分同调群;同伦扰动引理;\(SL_2(\mathbb Z[1/m])\) 软件:HAP公司;间隙 PDF格式BibTeX公司 XML格式引用 \textit{A.T.Bui}和\textit{G.Ellis},J.代数408102-108(2014;Zbl 1311.20041) 全文: 内政部 参考文献: [1] 阿德姆,A。;Naffah,N.,《关于(SL_2(Z[1/p])的上同调》,(群论中的几何与上同调),群论中的几何学和上同调,达勒姆,1994年。群论中的几何与上同调。《群论中的几何与上同调》,达勒姆,1994年,伦敦数学。Soc.课堂讲稿Ser。,第252卷(1998)),1-9·Zbl 0913.20033号 [2] Condor,M.,三次树上的群作用,J.代数组合,1209-218(1992)·Zbl 0779.05023号 [3] 康拉德,K.,(SL_2(Z)),预印本,康涅狄格大学 [4] G.埃利斯。,hap(热塑性弹性体)-同源代数编程(2008),1.8版,一个官方软件包缺口计算代数系统 [5] Ellis,G。;哈里斯·J。;Sköldberg,E.,有限群的多面体分解,J.Reine Angew。数学。,598, 131-137 (2006) ·兹伯利1115.20041 [6] GAP-组、算法和编程(2006),4.4.9版 [7] Serre,J.-P.,Trees(1980年),Springer-Verlag·Zbl 0548.20018号 [8] Wall,C.T.C.,《群扩展的解析》,Proc。剑桥菲洛斯。Soc.,57251-255(1961年)·Zbl 0106.24903号 [9] 威廉姆斯,F。;Wisner,R.,模群某些同余子群的上同调,Proc。阿默尔。数学。Soc.,126,5,1331-1336(1998)·Zbl 0894.20034号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。