[論文レビュー] On the isomorphism problem for unit groups of modular group algebras

Alexander Konovalov, A. G. Krivokhata|arXiv (Cornell University)|Jul 12, 2006

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

ひとこと要約

この論文は、2元体 𝔽₂ 上のモジュラー群代数の正規化単位群が互いに同型でないことを計算的に検証することで、32以下のすべての2群に対して単位群同型問題（UMIP）を確認した。GAPとLAGUNAパッケージを用いて、フレッティーニ部分群の位数、インボリューション数、自己同型群構造、中心指数といった不変量を計算し、単位群を区別した。最終的に、32以下のすべての2群がその正規化単位群によって一意に決定されることを証明した。

ABSTRACT

Using the computational algebra system GAP (http://www.gap-system.org) and the GAP package LAGUNA (http://www.cs.st-andrews.ac.uk/~alexk/laguna.htm), we checked that all 2-groups of order not greater than 32 are determined by normalized unit groups of their modular group algebras over the field of two elements.

研究の動機と目的

• 32以下の有限2群が、𝔽₂ 上のモジュラー群代数の正規化単位群の同型型によって一意に決定されるかどうかを調査すること。
• 単位群同型問題（UMIP）が、モジュラー同型問題（MIP）のより強いバリエーションとしての強さを検証すること。
• 計算代数的手法を用いて、モジュラー群代数の非同型な正規化単位群を区別すること。
• アーベル群および最大クラス2群で既知の結果を拡張し、位数16および32の2群に対してUMIPの計算的検証を提供すること。

提案手法

• GAPとLAGUNAパッケージを用いて、𝔽₂ 上のモジュラー群代数 KG の正規化単位群 V(KG) のべき・交換関係提示を計算した。
• 「安価な」不変量（例えば、フレッティーニ部分群の位数や V(KG) の中心の位数）を用いて、最初に群を家族に分割した。
• 非同型な単位群を区別する主な不変量として、V(KG) 内のインボリューション数を計算した。
• AutPGrpパッケージを用いて自己同型群構造を計算し、位数と最小生成元数を用いて残りの曖昧なペアを解消した。
• 位数32の群に対しては、GAPの制限を考慮し、適切な部分群の陪集合を用いて、メモリと計算時間を管理するための陪集合列挙を実施した。
• 最大クラスの2群に関する理論的結果と、先行文献からの既知の不変量と照合することで、結果の妥当性を検証した。

実験結果

リサーチクエスチョン

• RQ1 32以下のすべての2群が、𝔽₂ 上のモジュラー群代数における正規化単位群 V(KG) の同型型によって一意に決定されるか？
• RQ2 インボリューション数や自己同型群構造といった計算的不変量は、モジュラー群代数の非同型な正規化単位群を効果的に区別できるか？
• RQ3 アーベル群および最大クラス2群で既知のUMIPの成立を踏まえ、位数16および32のすべての2群に対してUMIPが成り立つか？
• RQ4 GAPとLAGUNAを用いた計算的手法は、より大きなp群のクラスに対して体系的にUMIPの検証に応用可能か？
• RQ5 同型な正規化単位群を持つ非同型2群の最も困難なペアを解消するために、どの不変量が最も効果的か？

主な発見

• 位数16のすべての2群が、正規化単位群 V(KG) によって一意に決定されていることが確認された。フレッティーニ部分群の位数と V(KG) 内のインボリューション数が、すべての非同型ペアを区別するのに十分であった。
• 位数32の2群に対しては、中心やフレッティーニ部分群の位数といった不変量を用いて12の家族に分類し、残りの41個の非アーベルで最大クラスでない群を高次不変量で解消した。
• V(KG) 内のインボリューション数が10の家族を正しく区別し、28個の群がこの不変量のみで解消された。
• 最も困難なペア（G₁₃ と G₁₄）に対しては、Aut(V(KG)) の最小生成元数（G₁₃ では15、G₁₄ では16）を用いて非同型性を確立した。
• V(KG) の自己同型群の位数が、いくつかのケースで決定的区分をもたらした。例えば、家族1と2では、群43と44に対してそれぞれ |Aut(V(KG))| = 2¹⁰² と 2¹⁰¹ であった。
• 1つの位数32の単位群の計算には、高性能クラスタ上で約24時間を要した。これは、この手法の計算的高負荷性を示している。