Cho (g,h) là một đại số Lie nửa đơn tách, và (Xα)α∈R là một họ các phần tử thỏa mãn các điều kiện của Bổ đề 2. Nếu α,β∈R và α+β∈R, định nghĩa Nαβ bởi công thức [Xα,Xβ]=NαβXα+β; nếu α+β∈/R, đặt Nαβ=0. Chứng minh các công thức sau:
a)Nαβ=−Nβα
b) Nếu α,β,γ∈R sao cho α+β+γ=0, thì
NαβNβγNγα
⟨γ,γ⟩=⟨α,α⟩=⟨β,β⟩
c) Nếu α,β,γ,δ∈R sao cho α+β+γ+δ=0, và nếu không cặp nào có tổng bằng không, ta có:
NαβNγδNβγNαδNγαNβδ
+ + =0.
⟨γ+δ,γ+δ⟩⟨α+δ,α+δ⟩⟨β+δ,β+δ⟩
Nothing.