Lie group
초구 위의 리 군 구조.