리 군
formula_1의 등거리 변환들은 (유한 차원) 리 군