Todos esos grupos son grupos topológicos.