(b) Veamos que H es un subgrupo de G. En efecto, (0, 0) ∈ H lo cual implica que H 6= ∅. Sean (x1, 0) y (x2, 0) elementos de H, entonces, (x1, 0) ∗ ...

(b) Veamos que H es un subgrupo de G. En efecto, (0, 0) ∈ H lo cual implica que H 6= ∅. Sean (x1, 0) y (x2, 0) elementos de H, entonces, (x1, 0) ∗ (x2, 0)−1 = (x1, 0) ∗ ((−1)1−0x2 , −0) = (x1, 0) ∗ (−x2, 0) = (x1 + (−1)0 · (−x2) , 0 + 0) = (x1 − x2, 0) ∈ H. Veamos que H es normal. Sean (g1, g2) ∈ G y (h, 0) ∈ H entonces (g1, g2) ∗ (h, 0) ∗ (g1, g2)−1 = (g1 + (−1)g2h , g2) ∗ ((−1)1−g2g1 , −g2).