Um grupo de Lie é uma variedade diferenciável que admite uma estrutura de grupo onde as operações multiplicação e inversão são deriváveis. Este conceito foi introduzido em 1870 por Sophus Lie ao estudar certas propriedades das equações diferenciais.

En matemática, un grupo de Lie (nombrado así por Sophus Lie) es una  variedad analítica real o compleja que es también un grupo tal que las operaciones de grupo: multiplicación e inversión son  funciones analíticas. Los grupos de Lie son importantes en análisis matemático, física y geometría porque sirven para describir la simetría de estructuras analíticas. Fueron introducidos por Sophus Lie en 1870 para estudiar simetrías de ecuaciones diferenciales.