おっちゃんも正規部分群が分からない