>>45
普通にGの正規部分群なんじゃないの?