×
维克托·阿尔瓦雷斯；何塞·安德烈斯·阿马里奥；玛丽亚·多洛雷斯夫人；雷亚尔，佩德罗

有限生成阿贝尔群半直积的同调模型。 （英语） Zbl 1271.20063号

申请。代数工程通讯。计算。 23，编号1-2，101-127（2012）.
作者小结：设G是有限生成阿贝尔群的半直积。我们提供了一种从（G），（上划线B（mathbb Z[G]））的群环的约化条构造到更小的DGA模（hG）的显式收缩（特殊同伦等价）的方法。这种收缩被称为（G）的同调模型，并在下面描述的方法中用作输入数据V.阿尔瓦雷斯等人，[J.Symb.Compute.44，No.5，558-570（2009；Zbl 1163.05004号)]用于分别计算代表2-循环和\（G\）-循环的发电机组。这些计算导致了新的共循环Hadamard矩阵的发现[V.阿尔瓦雷斯等，在Lect。票据计算。科学。4151, 47-57 (2006;Zbl 1230.20050)同上，419-422（2006年；Zbl 1229.05053号)].
审核人：奥林匹亚·塔莱利（雅典）

引用于2文件

MSC公司：

20J05型 群论中的同调方法
20J06型 群的上同调
05B20号 矩阵的组合方面（关联、阿达玛等）

关键词：

群的半直积；降低条形图分辨率；同源模型；收缩；同调微扰理论；有限生成阿贝尔群

引文：

Zbl 1163.05004号；兹比尔1230.20050；Zbl 1229.05053号

软件：

HAP公司；间隙；数学软件；肯佐；Hadamard搜索
PDF格式BibTeX公司 XML格式引用
\textit{V.álvarez}等人，应用。代数工程通讯。计算。23、编号1--2、101-127（2012；Zbl 1271.20063）
全文： 内政部 链接

参考文献：

[1] 阿尔瓦雷斯，V.，阿马里奥，J.A.，弗劳，M.D.，Real，P.：计算群迭代积同源性的Mathematica笔记本。收录于：Iglesias，A.，Takayama N.（编辑）ICMS-2会议记录，LNCS，第4151卷，第47-57页。柏林施普林格出版社（2006）·Zbl 1230.20050
[2] 阿尔瓦雷斯，V.，阿马里奥，J.A.，弗劳，M.D.，Real，P.：计算Mathematica中的共循环哈达玛矩阵：穷举和启发式搜索。参见：Iglesias，A.，Takayama N.（编辑）ICMS-2会议记录。LNCS，第4151卷，第419–422页。柏林施普林格出版社（2006）·Zbl 1229.05053号
[3] 阿尔瓦雷斯，V.，阿马里奥，J.A.，弗劳，医学博士，雷亚尔，P.：http://library.wolfram.com/infocenter/MathSource/6516/
[4] 阿尔瓦雷斯V.，阿马里奥J.A.，弗劳M.D.，Real P.：计算共循环矩阵的同调约简方法。J.塞姆。计算。44, 558–570 (2009) ·Zbl 1163.05004号 ·doi:10.1016/j.jsc.2007.06.009
[5] 阿尔瓦雷斯，V.，阿马里奥，J.A.，弗劳，M.D.，Real，P.：计算n维余环哈达玛矩阵的上同调约简方法。预印本，第15页（2012年）。arXiv:1201.4026vl·Zbl 1163.05004号
[6] Brady T.：半直接产品的免费解决方案。东北数学。J.45535-537（1993年）·Zbl 0790.18007号 ·doi:10.2748/tmj/1178225847
[7] Brown，K.S.：群的上同调。数学研究生教材，第8卷。纽约施普林格出版社（1982年）·Zbl 0584.20036号
[8] Brown，R.：扭曲的Eilenberg-Zilber定理。收录于：Oderisi，G.（编辑）Celebrazioni Achimedee del secolo XX，Simposio di topologia，第33-37页。（墨西拿，1964）（1965）
[9] Cohen D.C.，Suciu A.I.：自由群的迭代半直积的同调。J.纯应用。代数126，87–120（1998）·Zbl 0908.20033号 ·doi:10.1016/S0022-4049（96）00153-3
[10] Dousson，X.，Rubio，J.，Sergeraert，F.，Siret，Y.：《Kenzo计划》，傅立叶研究所，格勒诺布尔，1999年。http://www-fourier.ujf-grenoble.fr/\（\sim\）中士/健佐
[11] de Launey W.，Horadam K.J.：高维设计的弱差集构造。设计。密码。3, 75–87 (1993) ·Zbl 0838.05019号 ·doi:10.1007/BF01389357
[12] de Launey，W.，Horadam，K.J.：设计的共循环发展。《代数组合》2（3），267–290（1993）。勘误表：J.代数组合129（1），（1994）·Zbl 0785.05019号
[13] de Launey，W.，Horadam，K.J.：共循环Hadamard矩阵的生成。收录于：《计算代数与数论学报》（悉尼，1992年），第325卷，数学。申请。，第279-290页。多德雷赫特·克鲁沃（1995）·Zbl 0838.05018号
[14] 艾伦伯格S.，麦克·莱恩S.：关于群H（{\（\pi\）}，n）I.安.数学。58, 55–106 (1953) ·Zbl 0050.39304号 ·doi:10.2307/1969820
[15] Eilenberg S.，Mac Lane S.：关于群H（{\（\pi\）}，n）II。安。数学。66, 49–139 (1954) ·Zbl 0055.41704号 ·数字对象标识代码：10.2307/1969702
[16] Eilenberg S.，Zilber J.A.：关于配合物的产物。美国数学杂志。75, 200–204 (1953) ·兹比尔0050.17301 ·doi:10.2307/2372629
[17] Flannery D.L.：共循环矩阵的计算。J.纯应用。《代数》112、181–190（1996）·Zbl 0867.20043号 ·doi:10.1016/0022-4049（95）00135-2
[18] Grabmeier，J.，Lambe，L.A.：有限p-群上的计算分辨率。收录人：Betten，A.、Kohnert，A.、Lave，R.、Wassermann，A.（编辑）《美国铝业委员会’99年会议记录》，LNCSE，第157-195页。施普林格，海德堡（2001）·Zbl 1008.20046号
[19] 古根海姆V.K.A.M.：关于纤维链复合体。伊利诺伊州J.数学。3, 398–414 (1972) ·Zbl 0238.55015号
[20] Gugenheim V.K.A.M.，Lambe L.A.：微分同调代数中的微扰理论I.伊利诺伊州数学杂志。33556–582（1989年）·Zbl 0661.55018号
[21] Gugenheim V.K.A.M.，Lambe L.A.，Stasheff J.D.：微分同调代数中的微扰理论II。伊利诺伊州J.数学。35(3), 357–373 (1991) ·Zbl 0727.55012
[22] Horadam K.J.：哈达玛矩阵及其应用。普林斯顿大学出版社，普林斯顿（2007）·兹比尔1145.05014
[23] 同源代数编程。GAP计算代数系统的包。http://www.gap-system.org/Packages/hap.html
[24] Huebschmann J.：第2类幂零群的上同调。《代数杂志》126、400–450（1989）·兹伯利0696.55025 ·doi:10.1016/0021-8693（89）90311-6
[25] Huebschmann J.：亚循环群的上同调。事务处理。美国数学。Soc.328（1），1-72（1991）·Zbl 0758.20013号 ·doi:10.1090/S0002-9947-1991-1031239-1
[26] Huebschmann J.，Kadeishvili T.：链代数的小模型。数学。Z.207、245–280（1991）·Zbl 0723.57030号 ·doi:10.1007/BF02571387
[27] Hurewicz W.：Beitrge zur Topologie der Deformationen IV.Asphrische Rume。内德尔。阿卡德。韦滕施。程序。39, 215–224 (1936) ·兹伯利0013.28303
[28] Lambe L.A.：拆分酒吧建设的决议。J.纯应用。《代数》84，311-329（1993）·Zbl 0766.55015号 ·doi:10.1016/0022-4049（93）90004-D
[29] Lambe L.A.，Stasheff J.D.：摄动理论在迭代纤维中的应用。手稿数学。58, 367–376 (1987) ·Zbl 0632.55011号
[30] Mac Lane S.：上同调群的起源。Enseign公司。数学。24(2), 1–29 (1978) ·Zbl 0379.18012号
[31] Mac Lane，S.：同源。数学经典。施普林格，柏林（1995）。1975年版再版·Zbl 0818.18001号
[32] May，J.P.：代数拓扑中的单纯形对象。芝加哥数学讲座。芝加哥大学出版社，芝加哥（1992年）。重印1967年版·Zbl 0769.55001号
[33] 真实P：同调摄动理论和结合性。同源同伦应用。2, 51–88 (2000) ·Zbl 0949.18005号
[34] Romero，A.，Ellis，G.，Rubio，J.：计算机代数系统之间的相互作用：计算Kenzo和GAP群的同源性。摘自：ISSAC 2099，第303–310页，ACM，纽约（2009）·兹比尔1237.68260
[35] Romero，A.，Rubio，J.：计算群的同源性：几何方法，第23页（2011）预印本。arXiv:1107.3396vl·Zbl 1251.20048号
[36] Sergeraert F.：代数拓扑中的可计算性问题。高级数学。1104, 1–29 (1994) ·Zbl 0823.55011 ·doi:10.1006/aima.1994.1018
[37] Shih W.：同音词des espaces fibrés。Inst.Hautes练习曲科学。13, 293–312 (1962)
[38] GAP组。GAP–组、算法和编程。http://www.gap-system.org ·Zbl 06408515号
[39] O.Veblen：《分析现场》。阿默尔。数学。Soc.学院。出版物。二、 第5卷，纽约（1931）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。