阿尔普,M。 cat\({}^1)-组的特殊情况。 (英语) Zbl 1006.18003号 代数群几何。 17,第4期,468-478(2000). 摘要:我们描述了一个函数包XMOD,用于计算交叉模、它们的态射和派生,以及用GAP群论编程语言编写的带(text{cat}^1)-群、它们的形态射和截面的函数。我们还枚举了\(\text{cat}^1)-群的同构类[M.阿尔卑斯山和C.D.温斯利,《国际代数计算》。10,第4期,407-424(2000年;Zbl 1006.18002号)]. 本文证明了关于(text{cat}^1)-群结构的一些数学结果。 引用于2评论 MSC公司: 18-04 与范畴理论有关的问题的软件、源代码等 20J15年 组的类别 16立方厘米 扭曲群环和斜群环,交叉积 关键词:\(\text{cat}^1\)-组;交叉模块;GAP群论程序设计语言 引文:Zbl 1006.18002号 软件:间隙;XMod公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Alp},代数群几何。17,第4号,468--478(2000;Zbl 1006.18003)