表記はメチャメチャでも事の本質は
>>966 の
不変元は一般に g・x=x
だから(1)と(3)から σ(ψ(ρ^(-1)(V)) )=ψ(V)
にありました。納得です。こころから感謝www