Quadratic Lie algebra
|Group theory → Lie groups
A quadratic Lie algebra is a Lie algebra together with a compatible symmetric bilinear form. Compatibility means that it is invariant under the adjoint representation. Examples of such are semisimple Lie algebras, such as su(n) and sl(n,R).
A quadratic Lie algebra is a Lie algebra (g,[.,.]) together with an inner product that is invariant under the adjoint action, i.e.
As a first example, consider Rn with zero-bracket and standard inner product
Since the bracket is trivial the invariance is trivially fulfilled.
As a more elaborate example consider so(3), i.e. R3 with base X,Y,Z, standard inner product, and Lie bracket
Straightforward computation shows that the inner product is indeed preserved. A generalization is the following.
Semisimple Lie algebras
A big group of examples fits into the category of semisimple Lie algebras, i.e. Lie algebras whose adjoint representation is faithful. Examples are sl(n,R) and su(n), as well as direct sums of them. Let thus g be a semi-simple Lie algebra with adjoint representation ad, i.e.
Define now the Killing form
Due to the Cartan criterion, the Killing form is non-degenerate if and only if the Lie algebra is semisimple.
If g is in addition a simple Lie algebra, then the Killing form is up to rescaling the only invariant symmetric bilinear form.