An algebra is said to be compact if its group of internal automorphisms is compact in the topological sense. A classic theorem states that a semi-simple algebra is compact if and only if its Killing form is negative definite.