Está en la página 1de 1

41.

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.

También podría gustarte