>>916-917
>>899が言いたいのは
G=Z/nZとして証明を追ってみると、Gは1元生成だからG^=Z
するとKerf=nZ(Zと同型)
よってG^/Kerf=Z/nZとなり、なんの問題もない。
例3.13がなんだか知らないけどお前が何か勘違いしてるんだろう。
ってことでしょ