[论文解读] On the isomorphism problem for unit groups of modular group algebras

Alexander Konovalov, A. G. Krivokhata|arXiv (Cornell University)|Jul 12, 2006

Finite Group Theory Research参考文献 3被引用 3

一句话总结

该论文通过计算验证其在二元域上的模群代数的归一化单位群彼此之间非同构，从而确认了所有阶不超过32的2-群的单位群同构问题（UMIP）。利用GAP与LAGUNA软件包，作者计算了弗拉蒂尼子群阶、对合数、自同构群结构和中心指数等不变量以区分单位群，最终证明每个阶≤32的2-群均由其归一化单位群唯一确定。

ABSTRACT

Using the computational algebra system GAP (http://www.gap-system.org) and the GAP package LAGUNA (http://www.cs.st-andrews.ac.uk/~alexk/laguna.htm), we checked that all 2-groups of order not greater than 32 are determined by normalized unit groups of their modular group algebras over the field of two elements.

研究动机与目标

• 研究阶不超过32的有限2-群是否由其在𝔽₂上的模群代数的归一化单位群同构类型唯一确定。
• 检验单位群同构问题（UMIP）作为模同构问题（MIP）更强变体的强度。
• 应用计算代数技术以区分模群代数的非同构归一化单位群。
• 为阶16和32的2-群提供UMIP的计算验证，扩展已知的阿贝尔群与极大类2-群的结果。

提出的方法

• 使用计算代数系统GAP与LAGUNA软件包，计算𝔽₂上模群代数KG的归一化单位群V(KG)的幂-交换表示。
• 使用'廉价'不变量（如弗拉蒂尼子群阶与V(KG)的中心阶）对群进行初步分类。
• 将V(KG)中的对合数作为区分非同构单位群的主要不变量。
• 应用AutPGrp软件包计算自同构群结构，利用阶与极小生成元数以解决剩余的模糊配对。
• 对于阶为32的群，由于GAP的限制，采用陪集枚举法，通过处理真子群的陪集来管理内存与计算时间。
• 通过与极大类2-群的理论结果对比，并与先前文献中的已知不变量交叉验证，以确认结果的正确性。

实验结果

研究问题

• RQ1 所有阶≤32的2-群是否均由其在𝔽₂上的模群代数中归一化单位群V(KG)的同构类型唯一确定？
• RQ2 计算不变量（如对合数与自同构群结构）是否能有效区分模群代数的非同构归一化单位群？
• RQ3 已知UMIP对阿贝尔群与极大类2-群成立，它是否对所有阶为16和32的2-群也成立？
• RQ4 使用GAP与LAGUNA的计算方法是否可系统性地应用于验证更大类p-群的UMIP？
• RQ5 在具有同构归一化单位群的最困难非同构2-群对中，哪些不变量最有效？

主要发现

• 所有阶为16的2-群均被确认由其归一化单位群V(KG)唯一确定，弗拉蒂尼子群阶与V(KG)中对合数足以区分所有非同构对。
• 对于阶为32的2-群，作者利用中心阶与弗拉蒂尼子群阶等不变量识别出12个家族，并通过高阶不变量解决了全部41个非阿贝尔、非极大类群。
• V(KG)中的对合数成功区分了12个家族中的10个，其中28个群仅凭此不变量即被解决。
• 对于最困难的一对（G₁₃与G₁₄），通过比较Aut(V(KG))的极小生成元数——G₁₃为15，G₁₄为16——确立了其非同构性。
• V(KG)的自同构群阶在多个案例中提供了决定性区分，例如家族1与2中，群43与44的|Aut(V(KG))|分别为2¹⁰²与2¹⁰¹。
• 单个阶为32的单位群计算耗时约24小时，运行于高性能计算集群，凸显了该方法的计算强度。