Deje $\mathfrak g$ ser un complejo de la Mentira de álgebra. La Matanza forma en $\mathfrak g$ está definido por $\kappa(x,y)=tr(ad(x) \circ ad(y))$.
Ahora, ¿cómo demostrar que
- $\kappa(x,y)$ es un bilineal simétrica forma?
- $\kappa([x,y],z)=\kappa(x,[y,z])$
De hecho, estoy entre el seguimiento y la mentira álgebra de los casos. Me han demostrado que $ad(X)Y=[X,Y]$. Así que, ¿tengo para calcular las matrices elementales?
No estoy recibiendo ninguna pista. Por favor, ayudar.
