En matemática, un grupo de Lie (nombrado así en honor de Sophus Lie) es una variedad diferenciable real o compleja que es también un grupo tal que las operaciones de grupo (multiplicación e inversión) son funciones diferenciables o analíticas, según el caso.