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