Podríamos esperar queG−H (es decir, el conjunto de elementos de losG que no están enH) también sea un subgrupo deG, pero inmediatamente vemos que no puede ser así ya que el elemento de...Podríamos esperar queG−H (es decir, el conjunto de elementos de losG que no están enH) también sea un subgrupo deG, pero inmediatamente vemos que no puede ser así ya que el elemento de identidad deG debe estar enH, yH∩(G−H)=∅. En cambio, preguntemos ¿cómo podemos llegar a comprender alguna estructura completa usando un subgrupoH?G Resulta que usamos lo que se llama cosets deH; pero antes de llegar a esos, necesitamos cubrir algún material preliminar.