三个根,六种允许的移动
α = ∛2,ω = e2πi/3,E = ℚ(α, ω)
先连续做三次 r,再试一次 s。每按一次,新的映射就复合在已有映射的左边。
当前自同构
1
1
r(α) = ωα,r(ω) = ω;
s(α) = α,s(ω) = ω²。
当前每个根都留在原处。
rs:从最右边的 s 开始
换一个起点再检查。两个映射相等,要在三个根上都相等;域由这些根生成,它们的像决定整个自同构。
行映射 ∘ 列映射
选一个格子,将它的结果放回上面的根图。先做列,再做行;例如 r 所在行、s 所在列就是 rs。
选择格子,查看这两个映射怎样复合。