Let be the identity. For a left-invariant differential form and a left-invariant vector field , one hasThe 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 isBoth differentiated functions are constant in the present situation. ThusThis identity is a direct consequence of left invariance and the stated general formula for the exterior derivative.
Articles by others on the same topic
There are currently no matching articles.