En un grupo de Lie, los campos vectoriales invariantes por la izquierda forman una subálgebra, el álgebra de Lie asociada a "G", denotado generalmente por una g gótica (formula_1).