Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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!

share|cite|improve this question

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.