리 군
Lie group homomorphism