GroupStabilizerChain

GroupStabilizerChain[group]
返回 group 的基中的点在 group 内的逐个稳定子群的一个列表.

更多信息和选项更多信息和选项

  • 一个群的一个基是其作用域内的一系列点,使得能够保持所有这些点不动的群元只有恒等元.
  • GroupStabilizerChain 给出了一个群的强生成元,自动选择一个适当的基.
  • 一个显式的基可以通过设置 GroupActionBase 选项来指定.
  • 对于一个基 稳定子群链以形式为 {b1,,bi}->GroupStabilizer[group,{b1,,bi}] 的元素构成的列表给出,其中 . 第一个元素为 的稳定子群,它是整群 group. 最后一个元素是基的稳定子群,它是一个平凡群.
  • 每个稳定子群的生成元系列是列表中前一个稳定子群生成元系列的子集. 因此它们是相应群的强生成元.
2010年引入
(8.0)