Talk:Theory of Lie groups