MATHEMATICA 内置符号

GroupStabilizerChain

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

对于一个基稳定子群链以形式为 {b₁, ..., b_i}->GroupStabilizer[group, {b₁, ..., b_i}] 的元素构成的列表给出，其中 . 第一个元素为的稳定子群，它是整群 group. 最后一个元素是基的稳定子群，它是一个平凡群.

一个群的稳定子群链：

这些是群的强生成元：

这是群的一个基：

一个群的稳定子群链：

Out[1]=

这些是群的强生成元：

Out[2]=

这是群的一个基：

Out[3]=

稳定子群链中的群的阶数. 第一行对应于原群，而最后一行则对应于单位群：

默认时，GroupStabilizerChain 选择一个适当的基：

我们可以指定一个基的初始点：

GroupStabilizerChain 是一个得以访问强生成元和它们的基的函数. 因此它是对置换群计算工具进一步编程的出发点.

基的长度远小于置换的次数的群可以通过应用强生成元来有效地操作.

这是作用于 276 个点的散在单群 ConwayGroupCo3

的一个置换表示，可这里用到的是只有 6 个点的基：

基并不能保证是最小的，因而它们可能会有多于的点：

在这个例子中点 4 是多余的，因为

地稳定子群等于f

的稳定子群：

版本 8 的新功能