Lie group
즉, 연결 콤팩트 리 군 formula_1의 경우 바일 군이 유일하게 정의된다.