すなわち、ωeを⋀nTe∗G{\displaystyle\bigwedge^{n}T_{e}^{*}G}の元とすると、左不変形式がωg=Lg−1∗ωe{\displaystyle\omega_{g}=L_{g^{-1}}^{*}\omega_{e}}により定義される。
这就是说，如果ωe是⋀nTe∗G{\displaystyle\bigwedge^{n}T_{e}^{*}G}中一个元素，那么一个左不变形式可以定义为ωg=Lg∗ωe{\displaystyle\omega_{g}=L_{g}^{*}\omega_{e}}，这里Lg为左平移。