Lie group
리 군 이론을 통한 정의.