Theory of Lie Groups