右作用じゃないとひっくり返るんじゃないのかとおもったが、
(σf)(x1,x2,x3,x4)=f(σ^(-1)(x1,x2,x3,x4)) で
σ(x1,x2,x3,x4) は (xσ^(-1)(1),xσ^(-1)(2),xσ^(-1)(3),xσ^(-1)(4))
で作用してると思えば自然な表現なんだな。