Decimos que un subgrupo H de G es normal, ssi, todos