KillingForm
P161938
predicate
Indicates a bilinear form on a Lie algebra that measures how its elements interact via the adjoint representation, often used to assess properties like semisimplicity.