Differential Geometry of Lie Groups: A branch of mathematics that deals with the properties and relations of Lie groups, which are smooth manifolds that are also grouped under a smooth binary operation, and the manipulation of these properties and relations to solve geometric problems.