Lie group
단순 연결 콤팩트 리 군.