Semisimple Lie algebras: definition and equivalence characterization

Lie algebras are fundamental structures in mathematics, serving as the algebraic counterpart to Lie groups. They arise naturally in the study of differential geometry, representation theory, and mathematical physics. A Lie algebra over an algebraically closed field, such as the complex numbers, is a vector space equipped with a bilinear antisymmetric bracket operation satisfying the Jacobi identity. While many Lie algebras are non-semisimple, semisimple Lie algebras possess additional structure that makes them particularly well-behaved. This article explores the definition of semisimple Lie algebras, their key properties, and the equivalence characterization that links their structure to their decomposition into simple Lie algebras.

Definition and Properties of Semisimple Lie Algebras

A Lie algebra $\mathfrak{g}$ over an algebraically closed field is semisimple if it is reductive and its radical is trivial. The radical of a Lie algebra is the maximal solvable ideal, and a trivial radical implies that the Lie algebra has no nontrivial solvable subalgebras. In the case of semisimple Lie algebras, the radical is zero, meaning the algebra is nilpotent-free and solvable-free.

Semisimple Lie algebras are also characterized by their Jordan decomposition. For any finite-dimensional Lie algebra over an algebraically closed field, the Jordan decomposition theorem states that the Lie algebra can be written as the direct sum of a semisimple subalgebra and a solvable subalgebra. This decomposition allows for the classification of semisimple Lie algebras as direct sums of simple Lie algebras.

A key property of semisimple Lie algebras is their structure theorem. Over an algebraically closed field, a finite-dimensional Lie algebra is semisimple if and only if it is a direct sum of simple Lie algebras. This result is often referred to as the structure theorem for semisimple Lie algebras. For example, the Lie algebra of $n \times n$ complex matrices, $\mathfrak{gl}(n, \mathbb{C})$, is semisimple because it decomposes into a direct sum of simple Lie algebras. Similarly, the Lie algebra of $n \times n$ skew-symmetric matrices, $\mathfrak{so}(n, \mathbb{C})$, is semisimple for $n \geq 3$, as it is isomorphic to the Lie algebra of the special orthogonal group $SO(n, \mathbb{C})$.

Equivalence Characterization of Semisimple Lie Algebras

The equivalence characterization of semisimple Lie algebras is deeply tied to their Jordan decomposition and the structure theorem. For an algebraically closed field, a Lie algebra is semisimple if and only if it is a direct sum of simple Lie algebras. This result is often proven using the **