リー群
Lie group homomorphism