三个根,六种允许的移动

α = ∛2,ω = e2πi/3,E = ℚ(α, ω)

先连续做三次 r,再试一次 s。每按一次,新的映射就复合在已有映射的左边。

三个复根及当前自同构的映射箭头
当前自同构
1

r(α) = ωα,r(ω) = ω;
s(α) = α,s(ω) = ω²。

当前每个根都留在原处。

rs:从最右边的 s 开始

换一个起点再检查。两个映射相等,要在三个根上都相等;域由这些根生成,它们的像决定整个自同构。