Sé que el plano complejo es un grupo de Lie con +, pero ¿es también un grupo de Lie con la multiplicación compleja habitual?
Esto nos daría una bonita interpretación geométrica de la famosa fórmula de Euler:
Tenemos $exp:T_1\mathbb{C} \to \mathbb{C}$ y $T_1\mathbb{C} \cong \mathbb{C}$ porque este último es un espacio lineal.
Además la multiplicación compleja es lineal, por lo que su diferencial es ella misma. Por lo tanto, cualquier campo vectorial invariante a la izquierda $X$ en $\mathbb{C}$ se puede obtener eligiendo un vector $X_0$ en $T_1\mathbb{C} \cong \mathbb{C}$ y utilizando la fórmula
$$ X(z) = z X_0 $$
Ahora mirando la curva
$$ t \mapsto exp(tX_0) $$
en el caso $X_0 = i$ ¡nos dan la bonita interpretación geométrica de la Fórmula de Euler!