if H is a subgroup of G. then (let phe be denoted by k) k[H] = {k(h) in H] is a subgroup of G'. That is isomorphism carries subgroups into subgroups.