GroupStabilizerChain

GroupStabilizerChain[group]
group の基底内の点の group 内の連続する固定群のリストを返す.

詳細とオプション詳細とオプション

  • 群の基底は,点すべてを固定する群内の唯一の元が恒等元であるような作用領域の点のリストである.
  • GroupStabilizerChainは自動的に適切な基底を選んで群の強生成元を与える.
  • GroupActionBaseオプションを設定して明示的な基底を指定することができる.
  • 基底について,固定群鎖は{b1,,bi}->GroupStabilizer[group,{b1,,bi}]の形式の元のリストとして与えられる.ただし, である.最初の元はの固定群で,これは完全な group である.最後の元はその基底の固定群で,自明群である.
  • 各固定群の生成元のリストはリスト中の前の固定群の生成元のリストの部分リストである.このため,生成元はそれぞれの群の強生成元である.
2010年に導入
(8.0)