[論文レビュー] 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$ の単位群の明示的表現を提示する。主な貢献は、${\rm\bf F}_5C_4$ と ${\rm\bf 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$ に対して $|KG| < 1024$ である $U(KG)$ の単位群の体系的決定。
• 群代数の同型問題に対する最小の反例の同定、ここで $KG \not\cong KH$ だが $KG \not\neq KH$ としての環としての同型でない。
• 単位群構造のデータを収集し、群代数理論における予想の立案と仮説の検証を支援する。
• 有限体上の小さな群代数の単位群の完全な代数的分類を、構造的分解と増分理論を用いて行う。
• ${\rm\bf F}_5C_4 \not\neq {\rm\bf F}_5C_2 \times C_2$ としての群だが、$KG \not\neq KH$ としての環としての同型でないことを確立し、反例の最小性を解消する。

提案手法

• 補題 1.1 を用いて、増分および指数解析に基づき、$U({\rm\bf F}_{p^k}C_p^n)$ の構造を $C_p^{kp^n - k} \times C_{p^k - 1}$ として計算する。
• ヒグマンの結果と命題 1.2 を適用し、原始的単位根の存在に応じて、半単純群代数 $KG$ を体または行列環の直和に分解する。
• マシュケの定理と特定の次数（例：3, 4, 5）の元の存在を用いて、非半単純の場合の分解型を特定する。
• 増分写像 $aug(\theta)$ を用いて、増分が 1 である要素に単位群を制限し、特に特徴が 2 の場合に有効である。
• 既知の巡回群および初等アーベル群の直積分解を用いて、単位群の表現を構成する。
• 群と環の同型不変量を用いて、$K$ を有限体 ${\rm\bf F}_{p^n}$ として、$G$ を $1024 / p^n$ の位数を割り切る有限群として分類し、$|KG| < 1024$ であるすべての群代数 $KG$ を体系的に分析する。

実験結果

リサーチクエスチョン

• RQ1 環として $KG \not\cong KH$ だが代数として $KG \not\cong KH$ で、$G \not\cong H$ であるような群代数 $KG$ のうち、サイズ（位数）が最小のものは何か？
• RQ2 計算群論に依存せずに、代数的構造定理を用いて単位群 $U(KG)$ を完全に記述できるか？
• RQ3 どの有限体 $K$ と群 $G$ に対して $KG$ が体の直和に分解され、これは $U(KG)$ にどのように影響するか？
• RQ4 $U(KG)$ に位数 $m$ の単位元が存在することは、$K$ が原始 $m$ 乗根を含むことを示唆するか？
• RQ5 有限体 $K$ に対して、同型でない群 $G$ と $H$ の最小のペアが存在し、$KG \not\cong KH$ としての環として同型でないか？

主な発見

• 群代数の同型問題に対する最小の反例は、${\rm\bf F}_5C_4$ と ${\rm\bf F}_5C_2 \times C_2$ であり、両者とも位数 625 である。
• 単位群 $U({\rm\bf F}_5C_4)$ は $C_4^4$ に同型であり、$U({\rm\bf F}_5C_2 \times C_2)$ は同様に $C_4^4$ に同型である。これは代数的同型を確認する。
• ${\rm\bf F}_2C_4$ に対して、単位群は $C_2 \times C_4$ であり、位数 8、指数 4 である。これは $aug(\theta) = 1$ の条件から導かれる。
• ${\rm\bf F}_2C_3$ では、代数が ${\rm\bf F}_2 \times {\rm\bf F}_4$ に分解されるため、$U({\rm\bf F}_2C_3) \not\cong C_3$ であり、単位群は $C_3$ に同型である。
• ${\rm\bf F}_3C_4$ では、分解が ${\rm\bf F}_3^2 \times {\rm\bf F}_9$ であるため、$U({\rm\bf F}_3C_4) \not\cong C_2^2 \times C_8$ であり、単位群の位数は 32 である。
• 本稿では、$|KG| < 1024$ であるすべての $KG$ に対して $U(KG)$ の完全な表現を提供しており、$U({\rm\bf F}_2D_8)$ や $U({\rm\bf F}_2Q_8)$ のような非可換ケースも含む。これらは位数 128 の非アーベル単位群である。