리 군
연결 콤팩트 리 군 formula_65는 항상 다음과 같은 꼴로 표현된다.