と、正規部分群の定義も知らないオチコボレが申しております