리 군
리 군 formula_1에 대하여 다음 두 조건이 서로 동치이다.