[论文解读] An extension and a generalization of Dedekind's theorem

Naoya Yamaguchi|arXiv (Cornell University)|Jan 13, 2016

graph theory and CDMA systems参考文献 6被引用 4

一句话总结

本文通过在任意子群的群代数中提供显式因式分解，扩展并推广了戴德金对有限阿贝尔群的群行列式因式分解定理。文中引入了次数为 $[G:H]$ 的齐次多项式 $ A_h $，使得群行列式 $ \Theta(G) $ 可因式分解为 $ \prod_{\chi \in \widehat{H}} \sum_{h \in H} \chi(h) A_h $，从而在 $ \Theta(G) \neq 0 $ 时给出群代数中逆元的新公式。该结果推广了戴德金原始的因式分解，并提供了一套系统化的逆元计算方法。

ABSTRACT

For any given finite abelian group, we give factorizations of the group determinant in the group algebra of any subgroup. The factorizations are an extension of Dedekind's theorem. The extension leads to a generalization of Dedekind's theorem and a simple expression for inverse elements in the group algebra.

研究动机与目标

• 将戴德金关于有限阿贝尔群群行列式因式分解的定理从全群推广至任意子群。
• 通过在 $ \mathbb{C}[x_g] $ 上引入次数为 $[G:H]$ 的齐次多项式 $ A_h $，推广戴德金原始的因式分解。
• 在群行列式非零时，推导出 $ \mathbb{C}G $ 中元素逆元的简洁显式表达式。
• 利用表示论工具和群代数中的代数结构，统一并推广现有群行列式相关结果。

提出的方法

• 将群行列式定义为 $ \Theta(G) = \det(x_{gh^{-1}})_{g,h \in G} $，其为交换变量 $ x_g $ 上的齐次多项式。
• 利用子群 $ H \leq G $ 的特征标，在群代数 $ \mathbb{C}[x_g]H $ 中构造 $ \Theta(G) $ 的因式分解。
• 引入 $ \mathbb{C}[x_g] $ 中次数为 $[G:H]$ 的齐次多项式 $ A_h $，使得在 $ \mathbb{C}[x_g]H $ 中有 $ \Theta(G)e = \prod_{\chi \in \widehat{H}} \sum_{h \in H} \chi(h) A_h h $。
• 应用基本的 $ \mathbb{C}[x_g]G $-函数 $ F $，其将群元素映射为 1，以从 $ \mathbb{C}[x_g]G $ 中的乘积提取标量 $ \Theta(G) $。
• 利用表示论，特别是通过 $ T_\chi $ 作用于群代数元素的特征标作用，推导出因式分解结构。
• 利用 $ \widehat{G} $ 关于 $ \widehat{G}_H $ 的陪集分解，重写完整乘积并分离出基于子群的因式分解。

实验结果

研究问题

• RQ1 戴德金关于群行列式因式分解的定理如何从全群推广至有限阿贝尔群的任意子群？
• RQ2 允许此类因式分解的齐次多项式 $ A_h $ 在 $ \mathbb{C}[x_g] $ 上的群代数中具有何种结构？
• RQ3 能否利用此因式分解，以简化且显式的形式表达群代数 $ \mathbb{C}G $ 中元素的逆元？
• RQ4 当 $ H = G $ 时，该因式分解如何推广戴德金原始定理？
• RQ5 子群特征标和基本 $ \mathbb{C}[x_g]G $-函数在推导新因式分解中起到何种作用？

主要发现

• 群行列式 $ \Theta(G) $ 在 $ \mathbb{C}[x_g] $ 中可因式分解为 $ \prod_{\chi \in \widehat{H}} \sum_{h \in H} \chi(h) A_h $，其中每个 $ A_h $ 均为次数为 $[G:H]$ 的齐次多项式。
• 当 $ H = G $ 时，多项式退化为 $ A_h = x_h $，从而恢复戴德金原始因式分解。
• 在群代数 $ \mathbb{C}[x_g]H $ 中，恒等式 $ \Theta(G)e = \prod_{\chi \in \widehat{H}} \sum_{h \in H} \chi(h) A_h h $ 成立，将戴德金结果推广至子群。
• 当 $ \Theta(G) \neq 0 $ 时，$ \sum_{g \in G} x_g g \in \mathbb{C}G $ 的逆元为 $ \left( \sum_{g \in G} x_g g \right)^{-1} = \frac{1}{\Theta(G)} \prod_{\chi \in \widehat{G} \setminus \{\chi_1\}} \left( \sum_{g \in G} \chi(g) x_g g \right) $。
• 该构造依赖于 $ \widehat{G} $ 关于 $ \widehat{G}_H $ 的陪集分解，以及 $ T_\chi $-作用和基本 $ \mathbb{C}[x_g]G $-函数的使用，以分离出基于子群的因式分解。