Si "G" y "H" son grupos de Lie (reales o complejos ambos), entonces un morfismo de grupos de Lie "f": "G" → "H" es un homomorfismo de grupos que es también una función diferenciable o analítica.