In mathematics, a Lie algebra is reductive if its adjoint representation is completely reducible, whence the name. More concretely, a Lie algebra is reductive if it is a direct sum of a semisimple Lie algebra and an abelian Lie algebra: g = s ⊕ a ; {displaystyle {mathfrak {g}}={mathfrak {s}}oplus {mathfrak {a}};} there are alternative characterizations, given below. In mathematics, a Lie algebra is reductive if its adjoint representation is completely reducible, whence the name. More concretely, a Lie algebra is reductive if it is a direct sum of a semisimple Lie algebra and an abelian Lie algebra: g = s ⊕ a ; {displaystyle {mathfrak {g}}={mathfrak {s}}oplus {mathfrak {a}};} there are alternative characterizations, given below. The most basic example is the Lie algebra g l n {displaystyle {mathfrak {gl}}_{n}} of n × n {displaystyle n imes n} matrices with the commutator as Lie bracket, or more abstractly as the endomorphism algebra of an n-dimensional vector space, g l ( V ) . {displaystyle {mathfrak {gl}}(V).} This is the Lie algebra of the general linear group GL(n), and is reductive as it decomposes as g l n = s l n ⊕ k , {displaystyle {mathfrak {gl}}_{n}={mathfrak {sl}}_{n}oplus {mathfrak {k}},} corresponding to traceless matrices and scalar matrices. Any semisimple Lie algebra or abelian Lie algebra is a fortiori reductive. Over the real numbers, compact Lie algebras are reductive. A Lie algebra g {displaystyle {mathfrak {g}}} over a field of characteristic 0 is called reductive if any of the following equivalent conditions are satisfied: Some of these equivalences are easily seen. For example, the center and radical of s ⊕ a {displaystyle {mathfrak {s}}oplus {mathfrak {a}}} is a , {displaystyle {mathfrak {a}},} while if the radical equals the center the Levi decomposition yields a decomposition g = s 0 ⊕ z ( g ) . {displaystyle {mathfrak {g}}={mathfrak {s}}_{0}oplus {mathfrak {z}}({mathfrak {g}}).} Further, simple Lie algebras and the trivial 1-dimensional Lie algebra k {displaystyle {mathfrak {k}}} are prime ideals. Reductive Lie algebras are a generalization of semisimple Lie algebras, and share many properties with them: many properties of semisimple Lie algebras depend only on the fact that they are reductive. Notably, the unitarian trick of Hermann Weyl works for reductive Lie algebras. The associated reductive Lie groups are of significant interest: the Langlands program is based on the premise that what is done for one reductive Lie group should be done for all.