厳密には>>95であってるが

>あと、群の準同型定理の証明でWell-defined性が出てきたのですが、
>なぜ正規部分群Nに非常にこだわるのでしょうか?
>部分群だと何か行けないことが起きるのですか?

と聞かれれば

>φ:a→aN
>はNが正規でないと準同型にならない

が答え
教科書嫁