Lo que estoy tratando de mostrar:
Deje que$Y$ sea un campo vectorial en un grupo de Lie$G$. Si$G$ está conectado y$[X,Y]=0$ para todo el campo vectorial invariante izquierdo$X$, entonces$Y$ es invariante a la derecha.
Pensé que podía probarlo utilizando solo las relaciones entre los campos vectoriales invariantes izquierdo y derecho, pero fallé. Me di cuenta de que no estaba usando la conexión de$G$. Tengo dificultades para comprender qué papel desempeña la conexión de$G$.