>>802
2行目の「στσ^(-1) (σ(i[n])) = σ(i[n+1])」より、στσ^(-1)は、σ(i[n])をσ(i[n+1])に写す。つまり、
σ(i[1])をσ(i[2])に写し、σ(i[2])をσ(i[3])に写し、・・・σ(i[r+1])をσ(i[1])に写す。・・・(1)
3行目の左辺はστσ^(-1)。右辺は(1)を式で表現したものになっている。