Lie group
는 리 군 formula_36의 분류 공간