리 군
유클리드 군() formula_1은 다음과 같은 리 군 반직접곱이다.