# Orthogonal subspace to derivation-invariant subalgebra for Killing form is derivation-invariant

From Groupprops

## Statement

Suppose is a finite-dimensional Lie algebra over a field , is a derivation-invariant subalgebra of , and is the Killing form (?) on . Define:

.

Then, is also a derivation-invariant subalgebra of .