[论文解读] Computing 2-Dimensional Algebras: Crossed Modules and Cat1-Algebras

Z. Arvasi, Alper Odabaş|arXiv (Cornell University)|Nov 26, 2013

Algebraic structures and combinatorial models参考文献 8被引用 3

一句话总结

本论文实现了在GAP中计算二维代数结构的算法，具体为交换环上交换代数的交叉模与cat1-代数。论文建立了XModAlg与Cat1-Alg范畴之间的等价性，提供了计算同态、自同态及幂等自同态的算法与函数，并系统列出了在小有限域上的群代数的cat1-结构表。

ABSTRACT

In this paper, we described the GAP implementation of crossed modules of commutative algebras and cat$^{1}$-algebras and their equivalence.

研究动机与目标

• 为二维代数结构（特别是交叉模与cat1-代数）在GAP中开发计算工具。
• 建立XModAlg（代数的交叉模）与Cat1-Alg（cat1-代数）之间的范畴等价性。
• 在群代数的背景下，实现计算同态、自同态及幂等自同态的算法。
• 为阶数不超过12的群在阶为2、3和4的有限域上的群代数，系统性地列出cat1-结构表。
• 尽管GAP原生不支持半直积与乘子代数，仍将计算群论技术扩展至交换代数的设定。

提出的方法

• 将GAP4中的群论XMod包适配至交换代数设定，定义满足XModAlg1与XModAlg2公理的k-代数同态与作用。
• 将交叉模定义为满足∂(r·s) = r∂(s)与∂(s)·s′ = ss′对所有r ∈ R，s, s′ ∈ S成立的k-代数同态∂: S → R，其中R作用于S。
• 通过函子对应关系从交叉模构造cat1-代数：cat1-代数由一个k-代数A及两个自同态s, t: A → A构成，满足s∘t = s与t∘s = t。
• 在GAP中实现函数以计算：XModAlgByIdeal、Cat1AlgByXModAlg、XModAlgByCat1Alg与Cat1AlgByEndomorphisms。
• 分析阶数≤12的有限域F与群G的群代数FG的自同态与幂等自同态。
• 通过枚举所有幂等自同态对并统计有效的cat1-代数配置，生成了完整的cat1-结构表。

实验结果

研究问题

• RQ1 如何在计算代数系统中算法化实现交换代数的交叉模与cat1-代数之间的范畴等价性？
• RQ2 在有限群代数上，于GAP中实现交叉模与cat1-代数的计算可行性与性能如何？
• RQ3 在阶数≤12的有限域F与群G的群代数FG上，存在多少种不同的cat1-结构？
• RQ4 在GF(2)、GF(3)与GF(4)上的群代数中，自同态与幂等自同态的结构性质是什么？
• RQ5 GAP框架能否扩展以支持乘子代数与半直积等关键代数构造在交换代数背景下的实现？

主要发现

• 论文成功在GAP中实现了XModAlg与Cat1-Alg之间的等价性，Cat1Alg与XModAlg函数支持结构间的双向转换。
• 当G = C2且F = GF(4)时，cat1-结构的数量为2，拥有5个自同态与3个幂等自同态。
• 当G = C2 × C2且F = GF(4)时，群代数FG拥有81个cat1-结构，源于4097个自同态与83个幂等自同态。
• 所发现的最大cat1-结构数量为25，出现在G = C2 × C2且F = GF(3)的情形，拥有625个自同态与104个幂等自同态。
• 当G = C2 × C2 × C2且F = GF(2)时，群代数FG拥有87个不同的cat1-结构，自同态超过260万个，幂等自同态为723个。
• 实现正确验证了同构关系：将交叉模转换为cat1-代数后再转换回原结构，可恢复原始结构，经由GAP函数相等性检查确认。