Lie group
이 완전열은 리 군 formula_23의 분류 공간의 주다발