やっとこさ、ここまで読みました。 正規部分群や商群は例が考えやすくていいな・・・と感じます。
ここまで読んで、ここまで書いたJohさんをすごいなと思いました。
以上、商群の“単位元”がHだということに、ちょっと感動した黒子でした!