リー代数と群論の対応(リー群とリー代数の対応)