Serre Relations

The Serre relations are a finite set of generator-relation equations that define any semisimple Lie algebra in terms of its Cartan matrix. Introduced by Jean-Pierre Serre in 1966, they show that a simple Lie algebra is completely determined by its simple roots and the angles between them — no additional data is needed. The relations take the form of commutator identities between the Chevalley generators, with coefficients derived from the Cartan matrix entries. This presentation transformed Lie theory from a subject of concrete matrix calculations into a branch of combinatorial algebra, and the same relations — with minor modifications — define the quantum groups and affine Kac-Moody algebras that now dominate representation theory. The Serre relations prove that simple Lie algebras are not merely classified by root systems; they are constructed by them, with no degrees of freedom remaining.