Lie group
리 군 formula_1가 다음과 같이 행렬군의 부분군이라고 하자.