Maybe the following is trivial or folklore, but I can't find any concrete proof of the theorem, that higher order derivatives of Lie groups don't give any new information above what is coded in its Lie algebra.
Can someone explain why this is true?
Maybe the following is trivial or folklore, but I can't find any concrete proof of the theorem, that higher order derivatives of Lie groups don't give any new information above what is coded in its Lie algebra. Can someone explain why this is true? 

closed as too localized by Steve Huntsman, Tom Goodwillie, Deane Yang, José FigueroaO'Farrill, Ryan Budney Aug 21 '11 at 19:55This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center. If this question can be reworded to fit the rules in the help center, please edit the question. 


The reason is the CampbellBakerHausdorff equation, which proves that all higher derivatives of the multiplication map are expressed in exponential coordinates explicitly in terms of iterated Lie brackets. Once you know the Lie bracket operation, you can calculate the Taylor series expansion of the multiplication operation explicitly, order by order. The Taylor series has positive radius of convergence, so the multiplication is given, near the identity element, by this series expansion. (I shouldn't be giving this answer, as it is in all basic introductions to Lie groups, not a research level question.) The explicit formula is in Serre's book Lie Algebras and Lie Groups, chapter 4, p. 28. 

