群の準同型定理が難しいというよりも、
剰余類群の概念が分からない学生が多いですよ。
同値関係で割った商集合が分からないんですね。
ジェネ・トポでも、その辺りでつまずいてしまいます、学生さん。