Любая алгебра Ли

В математике анионная — алгебра Ли это U (1) -градуированное векторное пространство . $L$ над $\mathbb {C}$ оснащен билинейным оператором $[\cdot ,\cdot ]\colon L\times L\rightarrow L$ и линейные карты $\varepsilon \colon L\to \mathbb {C}$ (некоторые авторы используют $|\cdot |\colon L\to \mathbb {C}$) и $\Delta \colon L\to L\otimes L$ такой, что $\Delta X=X_{i}\otimes X^{i}$, удовлетворяющий следующим аксиомам:

• $$\varepsilon ([X,Y])=\varepsilon (X)\varepsilon (Y)$$
• $$[X,Y]_{i}\otimes [X,Y]^{i}=[X_{i},Y_{j}]\otimes [X^{i},Y^{j}]e^{{\frac {2\pi i}{n}}\varepsilon (X^{i})\varepsilon (Y_{j})}$$
• $$X_{i}\otimes [X^{i},Y]=X^{i}\otimes [X_{i},Y]e^{{\frac {2\pi i}{n}}\varepsilon (X_{i})(2\varepsilon (Y)+\varepsilon (X^{i}))}$$
• $$[X,[Y,Z]]=[[X_{i},Y],[X^{i},Z]]e^{{\frac {2\pi i}{n}}\varepsilon (Y)\varepsilon (X^{i})}$$

для чистых градуированных X , Y и Z. элементов