Formalmente, un grupo de Lie formula_12 es una variedad diferenciable real o compleja provista de una estructura de grupo, debiendo ser las operaciones sobre tal grupo igualmente diferenciables u holomorfas.