[論文レビュー] Factorization of group determinant in some group algebras

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

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

ひとこと要約

この論文は、有限アーベル群、二面体群、一般化されたクaternion群に対して、Frobeniusの群行列式因数分解をその群代数へ拡張し、明示的な逆元公式を導き出し、交換関係を通じて一次表現同士の自然なペアリングを明らかにするより強い代数的定式化を提示する。

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.

研究の動機と目的

• 非アーベル群に対して、Frobeniusの群行列式因数分解定理を行列式のレベルから群代数のレベルへ一般化すること。
• 群代数の要素に直接作用する、群行列式因数分解のより強い代数的定式化を提供すること。
• 群行列式が非ゼロである場合、群代数の要素に対する明示的な逆元公式を導出すること。
• 二面体群および一般化されたクォータニオン群における一次表現に対応する既約因子の間の代数的構造（特に交換関係）を解明すること。
• Frobeniusの元の定理に類似した行列式表現を、拡張された場合に構成可能かどうかを検討すること。

提案手法

• 群行列式因数分解を、行列式の積の代わりに群代数要素の積として表す等式として定式化する。
• 群のキャラクターと部分群上で定義された同次多項式 $ A_h $ を用いて、行列式を巡回行列式として表現する。
• 複素数上の線形環準同型 $ F $ を適用し、より強い代数的恒等式からFrobeniusの元の定理を回復する。
• すべての自明でない表現因子の積を用いて、群代数における逆元要素を導出する。
• キャラクター和と群構造を用いて、一次表現に対応する既約因子間の交換関係を分析する。
• 二面体群 $ D_m $ および一般化クォータニオン群 $ Q_m $ における $ m $ の偶奇に基づく詳細なケース解析を実施し、交換関係計算における奇数・偶数の区別を行う。

実験結果

リサーチクエスチョン

• RQ1 Frobeniusの群行列式因数分解定理を、評価を通じてではなく、群代数上に直接成立させることが可能か？
• RQ2 二面体群および一般化クォータニオン群の群行列式は、同次多項式の巡回行列式としてどのように表現されるか？
• RQ3 一次表現に対応する既約因子どうしの代数的相互作用、特に交換関係はどのような性質を示すか？
• RQ4 $ D_m $ および $ Q_m $ の一次表現は自然にペアリングを形成するか？そのペアリングの背後にある代数的性質は何か？
• RQ5 Frobeniusの元の結果に類似した、群代数上での完全な行列式表現を、拡張された場合に構成可能か？

主な発見

• 本論文は、有限アーベル群、二面体群、一般化クォータニオン群に対して、Frobeniusの定理のより強いバージョンを確立し、群行列式因数分解を群代数 $ \mathbb{C}G $ 上の等式として直接表現した。
• 有限アーベル群に対して、群代数の要素 $ \sum_{g\in G} x_g g $ の逆元は、$ \Theta(G) \neq 0 $ ならば $ \frac{1}{\Theta(G)} \prod_{\chi \in \widehat{G} \setminus \{\chi_1\}} \left( \sum_{g\in G} \chi(g) x_g g \right) $ で与えられる。
• $ 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 $ では、一次表現が2つしか存在しないため、4つの交換関係の完全な集合は成立しない。構造は $ m $ の偶奇に依存する。
• 交換関係 $ [\alpha_1, \alpha_4] $ の明示的な係数計算が提供され、$ m $ の偶奇に応じて複素係数 $ \pm(1\pm i) $ または実係数を含むことが判明した。