>>634さん
GとSnの部分群が同型
⇔Gとφ(g)が同型

↑これはなぜですか?

また
φが単射ならばGとφ(g)が同型といえるんですか?