In algebra, Weyl's theorem on complete reducibility is a fundamental result in the theory of Lie algebra representations. Let be a semisimple Lie algebra over a field of characteristic zero. The theorem states that every finite-dimensional module over is semisimple as a module