×

cat\({}^1)-组的特殊情况。 (英语) Zbl 1006.18003号

摘要:我们描述了一个函数包XMOD,用于计算交叉模、它们的态射和派生,以及用GAP群论编程语言编写的带(text{cat}^1)-群、它们的形态射和截面的函数。我们还枚举了\(\text{cat}^1)-群的同构类[M.阿尔卑斯山C.D.温斯利,《国际代数计算》。10,第4期,407-424(2000年;Zbl 1006.18002号)]. 本文证明了关于(text{cat}^1)-群结构的一些数学结果。

MSC公司:

18-04 与范畴理论有关的问题的软件、源代码等
20J15年 组的类别
16立方厘米 扭曲群环和斜群环,交叉积

软件:

间隙;XMod公司
PDF格式BibTeX公司 XML格式引用