El conjunto G/H no es necesariamente un grupo, a menos que H sea normal en G (o sea que H contiene a todos sus conjugados.