# Left invariant forms on lie groups?

Let $G$ be a Lie group. A vector field $X\in\mathfrak{X}(G)$ is left-invariant if the diagram below is commutative:

for every $g\in G$ where $L_g$ stands for the left translation by $g$. Now a differential $1$-form $\omega\in \Omega^1(G)$ is left invariant if $$L^*_g(\omega)=\omega,$$ for every $g\in G$ where $L_g^*(\omega)$ is the pullback form. Is there a way to define a left-invariant form using a commutative diagram as above (maybe using $T^*G$)?

• What is the problem with drawing the same diagram, replacing $X$, $TG$ and $dL_g$ by $\omega$, $T^*G$ and $L_g^*$ respectively? – Silvia Ghinassi Dec 5 '15 at 19:43
• The problem is because $L_g^*$ is defined on $\Gamma(T^*G)=\Omega^1(G)$ and not on $T^*G$. – PtF Dec 5 '15 at 19:50