>>713
全射でなければどうなるのか?といいたいのかな

その場合Gと、fの像f(G)との間に準同型という関係が成り立つということ
単射ならGとf(G)が同型だということ