K-加群として議論すればいいだけなんだったら>>610のいう難しいっていう意味が今度は分からん。