リー群
The general linear group formula_75 is a (real) Lie group and any Lie group homomorphism