>>86
結局W={u-1u|u∈V}とすればWがアーベル群Vの部分群になってて、商アーベル群V/W上にKが通常に作用する
って感じかな?