GroupStabilizer

GroupStabilizer[group,{p1,…,pn}]

点 p1, …, pnのどれも動かさない group の元の部分群を返す

GroupStabilizer[group,{p1,…,pn},f]

関数 f によって与えられた作用の下での固定部分群を返す．

詳細

  • 出力は生成元によって定義される group の部分群であるが，異なる生成元が使われた可能性もある．
  • 固定群は小群あるいは等方群としても知られる．
  • 点のリストの固定群は同じ点のリストの不変部分群である．
  • 指定された group の作用関数 f，点 p，置換 g についての評価 f[p,g]は，別の点 p'を返すと考えられる．
  • 置換群の場合，デフォルトの群作用はPermutationReplaceであると考えられる．

例題

すべて開くすべて閉じる

例  (1)

交代群の固定部分群：

どの置換によっても点{1,5}のどれも動かない：

スコープ  (4)

生成元によって定義された置換群の固定群を計算する：

名前付き置換群の固定群を計算する：

群の固定群は自明であり得る：

Permute作用の下でオブジェクトのリストを不変のまま残す置換の部分群：

Permute作用の下での対応する軌道がそのリストだけを含むことを確認する：

アプリケーション  (1)

対称群 は 推移であり交代群 は 推移である．他の任意の群は最高で5推移であることが知られている．マシュー群 は5推移である：

軌道は1つのみである．ゆえにこれは推移的である：

1の固定群は残りの23点に推移的に作用するので は2推移である：

これはまた3推移，4推移，5推移である：

しかし2つの自明ではない軌道があるのでこれは6推移ではない：

特性と関係  (3)

軌道・固定群定理には group の点 p の軌道サイズは group の p の固定群の剰余類の数に等しいとある：

3×3×3のルービック群を取り，点20の固定群を計算する：

ラグランジュの定理を使った全群中の固定群の剰余類の数：

点20の軌道の長さは24である：

GroupStabilizerで計算された固定部分群は，もとの群より多くの生成元を使って説明されることがある：

共役作用の下での置換の固定群は，その置換の中心化群と一致する：

Wolfram Research (2010), GroupStabilizer, Wolfram言語関数， https://reference.wolfram.com/language/ref/GroupStabilizer.html （2012年に更新）.

テキスト

Wolfram Research (2010), GroupStabilizer, Wolfram言語関数， https://reference.wolfram.com/language/ref/GroupStabilizer.html （2012年に更新）.

CMS

Wolfram Language. 2010. "GroupStabilizer." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2012. https://reference.wolfram.com/language/ref/GroupStabilizer.html.

APA

Wolfram Language. (2010). GroupStabilizer. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/GroupStabilizer.html

BibTeX

@misc{reference.wolfram_2024_groupstabilizer, author="Wolfram Research", title="{GroupStabilizer}", year="2012", howpublished="\url{https://reference.wolfram.com/language/ref/GroupStabilizer.html}", note=[Accessed: 18-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_groupstabilizer, organization={Wolfram Research}, title={GroupStabilizer}, year={2012}, url={https://reference.wolfram.com/language/ref/GroupStabilizer.html}, note=[Accessed: 18-November-2024 ]}