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.