[论文解读] Factorization of group determinant in some group algebras

Naoya Yamaguchi|arXiv (Cornell University)|May 8, 2014

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

一句话总结

本文将弗罗贝尼乌斯的群行列式分解推广至有限阿贝尔群、二面体群与广义四元数群的群代数中，提出更强的代数表述形式，导出显式的逆公式，并通过换位子关系揭示了其中一维表示之间的自然配对。

ABSTRACT

We give an analog of Frobenius' theorem about the factorization of the group determinant on the group algebra of finite abelian groups and we extend it into dihedral groups and generalized quaternion groups. Furthermore, we describe the group determinant of dihedral groups and generalized quaternion groups as a circulant determinant of homogeneous polynomials. This analog on the group algebra is stronger than Frobenius's theorem and as a corollary, we obtain a simple expression formula for inverse elements in the group algebra. Furthermore, the commutators of irreducible factors of the factorization of the group determinant on the group algebra corresponding to degree one representations have interesting algebraic properties. From this result, we know that degree one representations form natural pairing. At the current stage, the extension of Frobeinus' theorem is not represent as a determinant. We expect to find a determinant expression similar to Frobenius' theorem.

研究动机与目标

• 将弗罗贝尼乌斯的群行列式分解定理由行列式层面推广至非阿贝尔群的群代数层面。
• 为群行列式分解提供更强的代数表述形式，使其直接作用于群代数元素。
• 在群行列式非零时，推导群代数中元素的显式逆公式。
• 揭示二面体群与广义四元群中对应一维表示的不可约因子之间的代数结构，特别是换位子关系。
• 探讨是否能为这些推广情形构造出类似于弗罗贝尼乌斯原始定理的行列式表达式。

提出的方法

• 将群行列式分解表述为群代数中的等式，以群代数元素的乘积替代行列式的乘积。
• 利用群的特征函数与在子群上定义的齐次多项式 $ A_h $，将行列式表达为循环行列式。
• 应用 $ \mathbb{C} $-线性环同态 $ F $，从更强的代数恒等式中恢复弗罗贝尼乌斯的原始定理。
• 通过所有非平凡表示因子的乘积，推导群代数中的逆元素。
• 利用特征和与群结构分析对应一维表示的不可约因子之间的换位子关系。
• 基于 $ D_m $ 与 $ Q_m $ 中 $ m $ 的奇偶性进行详细情形分析，区分奇偶情形下的换位子计算。

实验结果

研究问题

• RQ1 弗罗贝尼乌斯的群行列式分解定理能否被强化为在群代数中直接成立，而非通过求值获得？
• RQ2 当以齐次多项式构成的循环行列式表达时，二面体群与广义四元群的群行列式结构如何？
• RQ3 对应于一维表示的不可约因子之间在代数上如何相互作用，特别是换位子关系如何？
• RQ4 $ D_m $ 与 $ Q_m $ 的一维表示是否自然形成配对？其背后的代数性质是什么？
• RQ5 是否能够将群行列式分解扩展为群代数中类似于弗罗贝尼乌斯原始结果的完整行列式表达式？

主要发现

• 本文通过在群代数 $ \mathbb{C}G $ 中直接表述等式，建立了弗罗贝尼乌斯定理的更强版本，该结果对有限阿贝尔群、二面体群与广义四元群均成立。
• 对于有限阿贝尔群，群代数中元素 $ \sum_{g\in G} x_g g $ 的逆为 $ \frac{1}{\Theta(G)} \prod_{\chi \in \widehat{G} \setminus \{\chi_1\}} \left( \sum_{g\in G} \chi(g) x_g g \right) $，前提是 $ \Theta(G) \neq 0 $。
• 三阶二面体群 $ D_3 $ 的群行列式被表达为齐次多项式 $ A_h $ 的循环行列式，其分解形式为 $ \Theta(D_3)e = \prod_{\chi \in \widehat{\langle a\rangle}} \sum_{g\in \langle a\rangle} \chi(g) A_g g $。
• 在 $ D_m $ 与 $ Q_m $ 中，对应于一维表示的不可约因子满足非平凡的换位子关系：$ [\alpha_1, \alpha_2] = 0 $，$ [\alpha_3, \alpha_4] = 0 $，且混合和也对易，表明存在自然的配对结构。
• 当 $ m $ 为奇数时，$ D_m $ 仅有两个一维表示，因此完整的四组换位子关系不成立；其结构依赖于 $ m $ 的奇偶性。
• 本文提供了如 $ [\alpha_1, \alpha_4] $ 等换位子的显式系数计算，表明其依赖于 $ m $ 的奇偶性，且涉及复系数 $ \pm(1\pm i) $ 或实系数，具体取决于情形。