The simplest way to prove that any left-invariant vector field on a Lie group is complete

It's all in the question: I look for the most intuitive proof that the integral curves of any left-invaraint vector field on a Lie group can be extended for all values of "time". I realize that the argument is always based on the existence of group multiplication; what I look for is the most straightforward proof available. Thanks in advance!

-

1 Answer

I do think this statement is true if $G$ is not connected. If $G$ is connected and compact, then you can prove this via Hopf-Rinow theorem using the exponential map. See Terence Tao's article on this in his blog.

But one still needs to prove the integral curves of a left invariant vector field is the one produced by the exponential map. While this seems standard in the wikipedia definition, it is not entirely clear to me why this is true unless one verify the exponential map of the Lie group coincide with the exponential map of the Riemannian geometry. But then it takes quite a bit of work to prove this "trivial" fact.

-