[論文レビュー] An extension and a generalization of Dedekind's theorem

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

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

ひとこと要約

この論文は、有限アーベル群の群行列式の分解に関するデデキンドの定理を拡張し、任意の部分群における明示的な分解を提供することで一般化している。群代数における同次多項式 $ A_h $ を次数 $[G: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 $ を導入することで、デデキンドの元々の分解を一般化すること。
• $ \Theta(G) \neq 0 $ のとき、群代数 $ \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) $ の分解を構成する。
• 次数 $[G:H]$ の群代数 $ \mathbb{C}[x_g] $ 内の同次多項式 $ A_h \in \mathbb{C}[x_g] $ を導入し、$ \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 $ を適用し、$ \mathbb{C}[x_g]G $ 内の積からスカラー $ \Theta(G) $ を抽出する。
• 特にキャラクターによる群代数元への作用 $ T_\chi $ を用いた表現論的手法により、分解構造を導出する。
• $ \widehat{G} $ を $ \widehat{G}_H $ の陪集合に分解することで、全積を再構成し、部分群に基づく分解を明確に分離する。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群の任意の部分群へと、デデキンドの群行列式の分解をどのように拡張できるか。
• RQ2 群代数 $ \mathbb{C}[x_g] $ 上でこのような分解を可能にする同次多項式 $ A_h $ の構造は何か。
• 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 $ が成り立つ。これはデデキンドの結果を部分群へと拡張する。
• $ \sum_{g \in G} x_g g \in \mathbb{C}G $ の逆元は、$ \Theta(G) \neq 0 $ のとき $ \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 $-関数を用いることで成り立つ。