Um
grupo topológico é um
grupo munido de uma
topologia de modo que a multiplicação e a inversão sejam ambas
contínuas. Alguns autores exigem que
seja espaço topológico de Hausdorff, ou que
seja uma variedade diferenciável. No entanto, a maioria dos textos contemporâneos adota a definição mais geral.