In matematica un gruppo di Lie è un gruppo munito di una struttura di varietà differenziabile compatibile con le operazioni di gruppo. Il termine groupes de Lie venne utilizzato per la prima volta in Francia nel 1893 nella tesi di dottorato di Arthur Tresse in onore del matematico norvegese Sophus Lie, che di Tresse fu uno dei due relatori. [1]