Re: Lie groups and Lie algebras