리 군
리 지수 사상에 따라 formula_12가 되는 단일 연결 리 군 formula_13를 정의할 수 있다. 그렇다면, formula_7는 물론 리 군 formula_13의 표현