Además, si G′ es Hausdorff, entonces ker(f) es un subgrupo topológico.