[論文レビュー] Block fusion systems of the alternating groups

Martin Jacobsen|arXiv (Cornell University)|Apr 12, 2012

Advanced Algebra and Geometry参考文献 1被引用数 3

ひとこと要約

本稿では、任意の交代群のブロックにおけるブロック融合系が、交代群の群融合系に同型であることを確立する。特異な特徴値と互いに素な位数の元に関する群論的条件を用いて、特徴値が素数である環上の群環における中心的イデアル元が消えることを証明し、その結果、デフレクト群およびセントリック部分群の構造的解析が可能になる。主な結果として、交代群の任意のブロック融合系は、元の集合の適切な部分集合上で定義された交代群の融合系として実現可能であることが示される。

ABSTRACT

We describe a purely group-theoretic condition on an element g of a finite group G which implies that g has coefficient zero in every central idempotent element of the group ring RG, provided that R is a ring of prime characteristic. We use this condition to prove that the fusion system associated to a block of an alternating group is always isomorphic to the group fusion system of an alternating group.

研究の動機と目的

• 交代群のブロック融合系が交代群の群融合系に同型であるかどうかを特定すること。
• 既知の対称群に関する結果を交代群へ拡張すること。
• 素数の特徴値をもつ環上での中心的イデアルにおいて、元の係数がゼロとなる群論的基準を確立すること。
• 交代群のブロックにおけるデフレクト群およびセントリック部分群の構造を分析すること。
• 交代群のブロック融合系が、インデックス集合の部分集合上で定義された交代群の融合系として常に実現可能であることを示すこと。

提案手法

• 有限群 G の元 g に対して、R が素数の特徴値をもつ環であるとき、g が RG のすべての中心的イデアルにおいて係数がゼロとなるような群論的条件を構築すること。
• この条件を対称群および交代群に適用し、可能なデフレクト群を制限すること。
• ブロック融合系の文脈において、デフレクト群のセントリック部分群およびその自己同型群を分析すること。
• Alperinの融合定理を用いて、問題をセントリック部分群における自己同型群の等価性の確認に還元すること。
• Brauer対およびBrauer同形写像を活用し、対称群と交代群の間での融合系を比較すること。
• {1,…,n} の部分集合 L を構成し、ブロック融合系が A_L の融合系として実現可能であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 交代群のブロック融合系は、常にインデックス集合の部分集合上で定義された交代群の融合系として実現可能か？
• RQ2 有限群の元が、素数の特徴値をもつ環上でのすべての中心的イデアルにおいて係数がゼロとなるために必要な群論的条件は何か？
• RQ3 交代群のブロックにおけるデフレクト群のセントリック部分群の自己同型群は、対称群および交代群におけるそれらとどのように比較できるか？
• RQ4 交代群のブロックにおける融合系が、対称群または交代群の融合系と一致する条件は何か？
• RQ5 交代群のブロック融合系は、元のインデックス集合の真部分集合上で定義された交代群の融合系として実現可能か？

主な発見

• 任意の交代群のブロックにおけるブロック融合系は、インデックス集合の適切な部分集合上で定義された交代群の融合系に同型である。
• A_n のブロックイデアル e およびそのデフレクト群 P に対して、{1,…,n} の部分集合 L ⊆ が存在し、P が A_L の Sylow p-部分群であり、P 上でのブロック融合系が F_P(A_L) に等しい。
• 融合系が F_P(S_M) に同型である場合、{1,…,n} における M の補集合には少なくとも2つの元が存在しなければならず、これにより同じ融合系を持つより大きな交代群 A_L を構成可能である。
• 融合系が F_P(S_M) に同型である場合、M に2つの元を加えて L を作ることで、F_P(A_L) = F_P(S_M) が成り立ち、したがって系が A_L の群融合系として実現可能である。
• すべての場合において、ある L に対して F_P(A_L) として融合系が実現可能であり、これにより交代群のブロック融合系が常に交代群の群融合系として実現可能であることが証明される。
• 証明は、対称群の元がデフレクト群の固定点に作用する様子を分析し、Brauer同形写像を用いてブロックに関連するBrauer対の数を制御することに依存する。