Let be the identity. For a left-invariant differential form and a left-invariant vector field , one has
The value is therefore independent of , even if the Lie group is disconnected. The same calculation applies to another left-invariant field .
The standard exterior derivative of a one-form evaluated on vector fields is
Both differentiated functions are constant in the present situation. Thus
This identity is a direct consequence of left invariance and the stated general formula for the exterior derivative.

Articles by others on the same topic (0)

There are currently no matching articles.