A Lie Group is a group that is also a Smooth Manifold. Because of this, we can use inherent properties of both Groups and Smooth Manifolds.
The benefit to this is that, because of the axioms of both Groups and Smooth Manifolds, we can logically deduce special properties that result in Lie Algebra and the maps that connect the two.
