リー群
カルタンの定理 (リー群)