리 군
는 리 군 formula_36의 분류 공간