En matemáticas, si φ: "G"→"H" es un homomorfismo de grupos de Lie, y "g" y "h" son las álgebras de Lie de "G" y "H" respectivamente, entonces la función inducida φ* en los espacios tangente son un ' homomorfismo de álgebras de Lie es decir satisfacen