리 대수 및 군 이론 대응 (리 군 및 리 대수 대응)