σ_ｍの作用に使っている実数の変わりに、a^6=1となる（ｋの）代数拡大の数を使ってやるといいのかも