리 군

이 글은 리 군(Lie group)에 관한 것입니다. 리 군(Ree group)에 대해서는 리 군 (동음이의) 글을 참조하십시오.

어떤 집합이 다음 세 가지 조건을 만족할 때 리 군(Lie group)이라고 정의된다.

제1조건, 집합 X는 군일 것.

제2조건, X는 패러콤팩트 실해석적 다양체(實解析的多樣體)일 것.

제3조건, X×X에서 X로의 사상 (x,y) → $x y - 1$ 은 실해석적일 것.

이 글은 대수학에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.