Lie 代数の括弧積 Lie 代数の元の括弧積で出来た項があるとして、それを展開する方向には [X, Y]=XY-YX の定義に従って機械的にできます。しかし、展開したものを逆向きに括弧積に戻すのは、一般的には相互に打ち消しあう適当な項を付け足してやって考えねば…