Title: Basics of lie groups