lie groups notes