>>641
f:G→G' が準同型ならf(G)はG'の部分群
fの終集合をf(G)にしたf:G→f(G)は全射

おk?