This theorem states that k be an infinite field, let L be a finite-dimensional Lie algebra over k, and for each a in L define the Fitting null component L 0(a) := (( a) k L : L L ).. It is used in the structure and classification of finite-dimensional Lie algebras, especially in arguments involving Cartan data, root systems, Weyl groups, and Dynkin diagrams.