Lie groups, Lie algebras, and some of their applications