Completeness of left-invariant vector fields

ID: completeness-of-left-invariant-vector-fields

Every smooth left-invariant vector field on a Lie group is a complete vector field. Translate a local integral curve of a vector field through the identity to every other point. The same positive local existence interval works at every initial point, so no maximal integral curve of a vector field can have a finite endpoint. Uniqueness then makes the curve through the identity a one-parameter subgroup.

New to topics? Read the docs here!