topológico, debemos suponer que el grupo es un espacio T (o T o Hausdorff)..