GroupStabilizer

GroupStabilizer[group,{p1,,pn}]
, , のどれも動かさない group の元の部分群を返す

GroupStabilizer[group,{p1,,pn},f]
関数 f によって与えられた作用の下での固定部分群を返す.

詳細詳細

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