b_j = a_τ(j) とおくと、b_σ(j) = a_τ(σ(j)) = a_{τσ(j)} だと思うんだけどなあ。