리 군
리 군 formula_4의 유한 차원 복소수 사영 유니터리 표현은 항상 그 범피복군 formula_32의 유니터리 표현으로 유도된다. 즉, 임의의 연결 리 군 formula_4의 사영 유니터리 표현