Lie group
원환면 formula_103의 경우, 반단순 리 군 formula_2에 대하여