リー群
リー代数と単連結リー群の同値性.