리 군
리 군 formula_1가 주어졌다고 하자. 그렇다면, 다음을 정의할 수 있다.