群作用 · 把操作按终点归组

八个操作,几个终点?

操作来自 D₄,被移动的却可以是一个顶点,也可以是一整条对角线。观察对象改变以后,同一批操作会按新的终点重新分组。

r=(1 2 3 4),s=(1 2)(3 4)。
r 逆时针转 90°,s 关于竖直轴反射;乘积仍按右边先作用。

默认从顶点 1 出发,先观察 r 的作用;八个操作尚未归组。

这一次怎样到达终点

    大图里的顶点编号表示固定位置。青色标出起点对象,琥珀色标出它的终点;对角线按两个端点作为一个集合移动。

    固定对象 x,寻找把它留在原处的操作。

    固定操作 g,寻找被它留在原处的对象。

    固定全部对象,才进入作用核

    让八个操作各自走一次

    选中一个操作后,把它放进对应终点组;也可以按下方顺序逐项归组。每次都从当前固定起点 x 出发,不把前一次移动继续累加。

    把终点换成新起点,稳定子怎样变

    对原稳定子中的每个操作做共轭
    h ∈ Gₓg h g⁻¹是否固定终点 y