In abstract algebra, specifically the theory of Lie algebras, Serre's theorem states: given a (finite reduced) root system formula_1, there exists a finite-dimensional semisimple Lie algebra whose root system is the given formula_1.