G, GL(n,R)bir grup olsun. Elemanları g, girdileri gij olan n×n matrisleri olmak üzere, grup manifoldu üzerinde koordinatları olarak kabul ediyoruz; özellikle girdileri δij olan birim matrisi ile e∈G birim elemanı olarak tanımlıyoruz. ˜V bazı sabit n×n matrisi olmak üzere, V, V|e=˜Vij∂∂xij|xij=δij olarak tanımlanan sol değişmez vektör alanı olsun.
a) V|g=(g˜V)ij∂∂yij|yij=gij gösteriniz. (ipucu: V|g 'nin, bazı f(yij) fonksiyonu ile yij=∑nk=1gikxkj üzerinde etkili olmasını ve V'nin left-invariance 'nı kullan.)
b) ˜U=˜V˜W−˜W˜V olmak üzere, [V,W]|g=U|g gösteriniz. a)'yı kullanarak