[论文解读] The Unit Group of Small Group Algebras and the Minimum Counterexample to the Isomorphism Problem

Leo Creedon|ArXiv.org|May 26, 2009

Finite Group Theory Research参考文献 5被引用 8

一句话总结

本文使用代数技术，无需计算辅助，给出了所有满足 $|KG| < 1024$ 的群代数 $KG$ 的单位群的显式表示。关键贡献在于识别出 ${ mf F}_5C_4$ 和 ${ mf F}_5C_2 \times C_2$ 为具有同构群代数但非同构群的最小一对，提供了群代数同构问题的最小反例。

ABSTRACT

Let $KG$ denote the group algebra of the group $G$ over the field $K$ and let $U(KG)$ denote its group of units. Here without the use of a computer we give presentations for the unit groups of all group algebras $KG$, where the size of $KG$ is less than 1024. As a consequence we find the minimum counterexample to the Isomorphism Problem for group algebras.

研究动机与目标

• 系统地确定所有满足 $|KG| < 1024$ 的群代数 $KG$ 的单位群 $U(KG)$ 的表示。
• 识别出群代数同构问题的最小可能反例，其中 $KG \not\cong KH$ 但 $KG \not\equiv KH$ 作为环，且 $G \not\cong H$。
• 整理单位群结构的数据，以支持群代数理论中猜想的提出与假设的检验。
• 使用结构分解与增广理论，对有限域上小群代数的单位群进行完整的代数分类。
• 证明 ${ mf F}_5C_4 \not\cong { mf F}_5C_2 \times C_2$ 作为群，但 $KG \not\cong KH$ 作为环，从而确认该反例的最小性。

提出的方法

• 利用引理 1.1，基于增广与指数分析，计算 $U({\rmf F}_{p^k}C_p^n)$ 的结构，结果为 $C_p^{kp^n - k} \times C_{p^k - 1}$。
• 应用 Higman 的结果与命题 1.2，将半单群代数 $KG$ 分解为域或矩阵环的直和，具体取决于单位根的存在性。
• 使用 Maschke 定理及特定阶元素（如阶为 3、4、5 的元素）的存在性，确定非半单情形下的分解类型。
• 利用增广映射 $aug(\theta)$ 将单位群限制在增广为 1 的元素上，尤其在特征为 2 时适用。
• 通过已知循环群与初等阿贝尔群的直积分解，构建单位群的表示。
• 通过将 $K$ 分类为有限域 ${\rmf F}_{p^n}$，$G$ 分类为阶整除 $1024 / p^n$ 的有限群，系统分析所有满足 $|KG| < 1024$ 的群代数 $KG$，并利用群与环的同构不变量。

实验结果

研究问题

• RQ1 在大小上，最小的群代数 $KG$ 是什么（以 $|KG|$ 计），使得 $KG \not\cong KH$ 作为环，但 $KG \not\cong KH$ 作为代数，且 $G \not\cong H$？
• RQ2 是否能完全通过代数结构定理描述单位群 $U(KG)$，而无需依赖计算群论？
• RQ3 对于哪些有限域 $K$ 和群 $G$，$KG$ 可分解为域的直和，这又如何影响 $U(KG)$？
• RQ4 若 $U(KG)$ 中存在阶为 $m$ 的单位，是否意味着 $K$ 包含一个本原 $m$-次单位根？
• RQ5 是否存在一对非同构群 $G$ 与 $H$，使得对某个有限域 $K$，有 $KG \not\cong KH$ 作为环，且该对为最小？

主要发现

• 群代数同构问题的最小反例为 ${\rmf F}_5C_4$ 与 ${\rmf F}_5C_2 \times C_2$，两者阶均为 625。
• 单位群 $U({\rmf F}_5C_4)$ 同构于 $C_4^4$，且 $U({\rmf F}_5C_2 \times C_2)$ 也同构于 $C_4^4$，确认了代数同构性。
• 对于 ${\rmf F}_2C_4$，单位群为 $C_2 \times C_4$，阶为 8，指数为 4，由条件 $aug(\theta) = 1$ 导出。
• 在 ${\rmf F}_2C_3$ 中，代数分解为 ${\rmf F}_2 \times {\rmf F}_4$，因此 $U({\rmf F}_2C_3) \not\cong C_3$，但单位群实际为 $C_3$。
• 对于 ${\rmf F}_3C_4$，其分解为 ${\rmf F}_3^2 \times {\rmf F}_9$，因此 $U({\rmf F}_3C_4) \not\cong C_2^2 \times C_8$，单位群阶为 32。
• 本文为所有满足 $|KG| < 1024$ 的 $KG$ 提供了 $U(KG)$ 的完整表示，包括非交换情形如 $U({\rmf F}_2D_8)$ 与 $U({\rmf F}_2Q_8)$，其均为阶为 128 的非交换群。