Lie groups (MSC 22Exx)