Bourbaki

Exercise 3, § 1

Lie Groups and Lie Algebras, I, 73

Let MM be a not necessarily associative algebra over a field KK, (ei)i∈I(e_i)_{i \in I} a basis of the vector space MM and cijkc_{ijk} the constants of structure of MM relative to the basis (ei)(e_i). For MM to be a Lie algebra, it is necessary and sufficient that the cijkc_{ijk} satisfy the following conditions: (a) cilk=0c_{ilk} = 0; (b) cijl=−cjikc_{ijl} = -c_{jik}; (c)

∑r∈I(cijrcrkl+cjkrcrlk+cktrcrjl)=0 for all i,j,k,l in I. \sum_{r \in I} (c_{ijr}c_{rkl} + c_{jkr}c_{rlk} + c_{ktr}c_{rjl}) = 0 \text{ for all } i, j, k, l \text{ in } I.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.