Lie group
리 군 formula_38와 formula_39 사이에 단사 몰입