GroupSetwiseStabilizer

GroupSetwiseStabilizer[group,{p1,,pn}]
の像がまだリスト中にあるような group の部分群を返す

GroupSetwiseStabilizer[group,{p1,,pn},f]
関数 f で与えられる作用の下での不変部分群を返す.

詳細詳細

  • 不変群の元は必ずしも点 を固定する訳ではない.
  • GroupStabilizerで計算された,点のリストについての安定化部分群は,同じ点のリストの不変部分群である.
  • 出力は生成元で定義された group の部分群であるが,生成元が異なる可能性もある.
  • 指定された group の作用関数 f,点 p,置換 g についての評価 は,別の点 p'を返すと考えられる.
  • 置換群については,デフォルトの群作用はPermutationReplaceであると考えられる.

例題例題すべて開くすべて閉じる

  (1)  (1)

4点についての不変群:

In[1]:=
Click for copyable input
Out[1]=

固定群の元を取る:

In[2]:=
Click for copyable input
Out[2]=

これは,リストの中で点を動かす:

In[3]:=
Click for copyable input
Out[3]=
2010年に導入
(8.0)
| 2012年に修正
(9.0)