리 군
리 군 formula_1 및 formula_1의 충실한 유한 차원 실수 표현