Differentiating left-invariant matrix fields

ID: differentiating-left-invariant-matrix-fields

On a Matrix Lie group, the left-invariant vector field associated to a tangent vector at the identity is . Its ambient derivative is . Therefore the Lie bracket of vector fields is , and the induced Lie algebra bracket is the commutator. This fixes the sign for left invariance; right-invariant fields induce the opposite sign when evaluated with the same matrix identification.

New to topics? Read the docs here!