>>628さん
ありがとうございます

∀ｇ∈Ｇ
φ：Ｇ→Ｇ　（ｘ→ｇｘ）
これがまず全単射ですよね

ｆ：Ｇ→Ｓｎ
この写像ｆが準同型であることはどういえばいいんでしょうか？