Sea G un grupo y H un subgrupo de G.