群作用

群作用は、群の抽象的な要素を集合の変換として実現し、対称性を具体化するとともに、軌道-安定化群の関係を通じて計数ツールを提供します。

Definition

群Gの集合Xへの作用とは、GからXの置換群への準同型写像であり、同等に、各群の要素と点に対し、群演算と単位元に適合するように新しい点を割り当てる写像です。

Scope

このトピックでは、作用の定義、軌道と安定化群、軌道-安定化群定理、類等式、バーンサイドの補題、および共役作用や剰余類への作用を用いて群に関する構造的結果を導出する方法を扱います。

Core questions

• 抽象的な群は、どのようにして集合の具体的な対称性として作用するのでしょうか？
• 軌道のサイズは安定化部分群とどのように関連していますか？
• 類等式は有限群の構造をどのように制約しますか？
• 群作用は対称性のもとで対象を数えるためにどのように使用できますか？

Key theories

軌道-安定化群定理

群が集合に作用する場合、ある点の軌道のサイズは、その点の安定化部分群の指数に等しく、軌道のサイズと部分群の指数を結びつけます。

類等式

共役作用に軌道-安定化群定理を適用すると、有限群は共役類に分割され、そのサイズは群の位数を割り切ります。これはp-群や中心を研究するための重要なツールです。

バーンサイドの補題

有限群作用の軌道の数は、群の要素によって固定される点の平均数に等しく、対称性のもとでの配置を数える体系的な方法を提供します。

Clinical relevance

群作用は対称性の形式的な表現であり、対称性のもとでの計数（組み合わせ論におけるバーンサイドの補題とポーヤの計数）、幾何学的および物理的対称群の解析、そしてケイリーの定理やシローの定理のような核心的な定理を証明するために用いられる準同型写像の構成の基礎となります。

History

作用の視点は、ガロア、コーシー、ジョルダンによる19世紀の置換群の研究から発展し、抽象的な群の概念が成熟するにつれて、群が集合に作用するという形で形式化されました。バーンサイドの計数技法は、対称性のもとでの列挙を体系化しました。

Key figures

• Arthur Cayley
• William Burnside
• Camille Jordan

Seminal works

• dummit2004
• artin2011
• rotman1995

Frequently asked questions

群がすでに抽象的である場合、群作用はなぜ有用なのですか？

作用は抽象的な群の要素を集合の具体的な置換に変えるため、構造的な問題が組み合わせ論的な問題になります。ケイリーの定理は、すべての群がそれ自身に忠実に作用し、対称群に埋め込まれることを示しています。

軌道-安定化群定理は何をもたらしますか？

軌道のサイズを部分群の指数に変換し、それは群の位数を割り切ります。これは、類等式、シローの定理、および有限群論における多くの計数論証の原動力となります。