Lie Groups are Groups that are additionally smooth manifolds such that the multiplication and the inverse maps are smooth.