Exercise Sean H y K Subgrupos de un grupo G

a) Muestre con un ejemplo que H  K no necesita ser un subgrupo de G

b) Pruebe que H  K es un subgrupo de G si y solo si H ⊂ K o K ⊂ H

Solution
a) en U 8 digamos que sea un H  1, 3 y K  1, 5 Entonces
H  K  1, 3, 5 y no es cerrado
b) Si H ⊂ K implica que H  K  K y si K ⊂ H implica que
H  K  H.
Ahora supongamos lo contrario, digamos que H  K ⊄ H o
H  K ⊄ K .
Digamos que hay un a, b tal que a, b ∈ H  K pero con a ∉ H y b ∉ K.
Bueno teniendo en cuenta la definición de Unión de elementos
podemos intuir que si a ∉ H y b ∉ K entonces a ∈ K y b ∈ H.
Afirmemos que ab ∉ H  K Entonces si ab ∈ H entonces
a ∈ Hb ⊂ H y si ab ∈ K entonces vemos que b ∈ a −1 K ⊂ K Por lo tanto concluimos
−1

que H  K no es cerrado.