Estruturas Algbricas

Moiss Toledo 12 de maio de 2012

Exerccio 5 - Pgina 214 (uma prova mais convincente)

Exerccio 5. Seja G um grupo e H, K dois subgrupos de G. Suponha que (G : H) e (G : K) so nitos. Mostre que (G : H K) nito. Demonstrao. (i) Sejam A = {aH; a G}, B = {bK; b G, K < G} e C = {z(H K); z G, H, K < G}. (ii) Pela hipteses temos |A| = (G : H), |B| = (G : K) e |C| = (G : H K). (iii) Seja a funo C A B z(H K) (zH, zK) a qual est bem denida pois :
1 z1 (H H) = z2 (H H) z2 z1 H K 1 1 z2 z1 H, e z2 z1 K z1 H = z2 H, e z1 K = z2 K (z1 H, z1 K) = (z2 H, z2 K) (z1 (H H)) = (z2 (H H))

(iv) A funo injetiva. De fato: dados z1 (H H), z2 (H H) C tais que (z1 (H H)) = (z2 (H H)) ento (z1 H, z1 K) = (z2 H, z2 K) assim
1 1 z1 H = z2 H, e z1 K = z2 K z2 z1 H e z2 z1 K 1 z2 z1 H K z1 (H K) = z2 (H K)

(v) Assim |C| |A B| = |A| |B| isto (G : H K) (G : H) (G : K). Por tanto (G : H K) nito.
Universidade

Federal da Paraba