A bilinear form on a Lie algebra is invariant when
equivalently .
Choose a basis of and its -dual basis . The Casimir element is
where is the universal enveloping algebra. The tensor corresponds under to the identity endomorphism, so invariance of makes it fixed by the diagonal adjoint action. Applying multiplication gives
for every . Thus lies in the center of an associative algebra of .