子群越大，固定域越小
令 α = ∛2，ω = e2πi/3，E = ℚ(α,ω)。选一个节点，比较两边的上下位置。这里 E/ℚ 的次数是 6，G = Gal(E/ℚ) ≅ S₃。
r 把三根循环移位，s 是复共轭：r(α)=ωα，r(ω)=ω；s(α)=α，s(ω)=ω²。rs 表示先做 s，再做 r。
子群上方是较大的群
固定域上方是较大的域
选中二阶子群后，用 r 共轭，看看它的固定根怎样移动。
H 中的全部自同构：
逐个检查三根是否被 H 的每个元素固定：
把两层次数分清
连线表示直接包含，中间没有其他节点。未连线的两个中间节点互不包含；两图的位置反转，正是 Galois 对应的反序性。