>>94
それ以前に {aN | a∈G} に適当な群構造が入らない。