1 Exercício 5 - Página 214 (uma prova mais convincente)
Exercício 5. Seja G um grupo e H, K dois subgrupos de G. Suponha que (G : H) e
(G : K) são finitos. Mostre que (G : H ∩ K) é finito. Demonstração. (i) Sejam A = {aH; a ∈ G}, B = {bK; b ∈ G, K < G} e C = {z(H ∩ K); z ∈ G, H, K < G}. (ii) Pela hipóteses temos |A| = (G : H), |B| = (G : K) e |C| = (G : H ∩ K). (iii) Seja a função C ϕ: −→ A × B z(H ∩ K) 7−→ (zH, zK) a qual está bem definida pois z1 (H ∩ H) = z2 (H ∩ H) ⇔ z2−1 · z1 ∈ H ∩ K ⇔ z2−1 · z1 ∈ H, e z2−1 · 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 função ϕ é injetiva. De fato: dados z1 (H ∩ H), z2 (H ∩ H) ∈ C tais que ϕ(z1 (H ∩ H)) = ϕ(z2 (H ∩ H)) então (z1 H, z1 K) = (z2 H, z2 K) assim z1 H = z2 H, e z1 K = z2 K ⇒ z2−1 · z1 ∈ H e z2−1 z1 ∈ K ⇒ z2−1 · 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) é finito. ∗ Universidade Federal da Paraíba