Si H es un subgrupo de G, entonces [H] = f (h) j h 2 Hg es un
subgrupo de G0 : es decir, un isomor…smo lleva subgrupos a subgrupos.
Sea a; b 2 H, así (a) ; (b) 2 [H] : Ahora (a b) 2 H porque H G: Ya
que es un isomor…smo, (a) 0 (b) = (a b) 2 [H] ; por tanto H es cerrado bajo 0 : Ahora tenemos que (e) es un elemento identidad para la operación 0 en H ; por tanto e0 = (e) 2 [H] 0
Sea a 2 H así que (a) 2 [H] ; entonces a 1 2 H porque H es un
subgrupo de G: Ahora tenemos que Tenemos que e0 = (e) = a a 1 = 0 1 1 1 (a) a ; por lo tanto a = (a) 2 [H] :
43. Muestre si H y K son subgrupos de un grupo abeliano G; entonces
fhk j h 2 H y k 2 Kg entonces es un subgrupo de G:
Sea T = fhk j h 2 H y k 2 Kg y sea a; b 2 T: Entonces a = hk y b = h0 k 0
para algún h; h0 2 H y k; k 0 2 K esto porque G es un grupo abeliano, entonces vemos que ab = hkh0 k 0 =(hk) (h0 k 0 ) : Porque H y K son subgrupos, tenemos que h; h0 2 H y k; k 0 2 K; así ab 2 T y T es cerrado. Como H y K son subgrupos de un grupo e 2 H y e 2 K así e = ee 2 T y vemos que existe el elemento identidad. Para probar la existencia del inverso recordemos que a = hk entonces h 1 k 1 2 T y como G es un grupo abeliano tenemos que h 1 k 1 = k 1 h 1 = (hk) 1 = a 1 ; así a 1 2 T: En conclusión T es un subgrupo.