This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| radical (Lie algebra) | |
|---|---|
| Name | Radical (Lie algebra) |
| Type | Ideal in a Lie algebra |
| Field | Sophus Lie-theory |
| Introduced | 19th century |
radical (Lie algebra)
The radical of a Lie algebra is its largest solvable ideal, a central structural invariant linking the work of Sophus Lie, Élie Cartan, Hermann Weyl, Emmy Noether, Harish-Chandra, and Claude Chevalley to modern developments in Alexander Grothendieck-era algebraic structures. It organizes interactions among classical examples such as sl(n,C), gl(n,C), so(n), su(n), sp(2n), and connects to advanced topics studied by John von Neumann, Paul Erdős, Israel Gelfand, Jean-Pierre Serre, and Maxime Bôcher.
For a Lie algebra g over a field k, the radical is the unique maximal solvable ideal R(g), a concept formalized during the work of Élie Cartan and Hermann Weyl and used extensively in papers by Claude Chevalley and Nathan Jacobson. It is characterized as the sum of all solvable ideals, hence invariant under automorphisms studied by Emmy Noether and Richard Brauer. In the literature of Harish-Chandra and Israel Gelfand, the radical plays a role analogous to the Jacobian-type invariants in algebraic geometry developed by Alexander Grothendieck and Jean Dieudonné.
Classical matrix Lie algebras illustrate the radical: the algebra gl(n,C) has radical equal to its center, reflecting work by Élie Cartan and Hermann Weyl, whereas sl(n,C) is semisimple with trivial radical, a fact used by Claude Chevalley and Nathan Jacobson. Solvable non-nilpotent examples arise in the Borel subalgebra of sl(n,C), studied by Élie Cartan and Évariste Galois-inspired classification efforts. Parabolic subalgebras examined by Armand Borel and Jean-Pierre Serre contain large solvable radicals called nilradicals, linking to research by Harish-Chandra and Bertram Kostant. Over fields of positive characteristic, pathologies analyzed by Nathan Jacobson and Jean-Pierre Serre show the radical can behave differently than in the work of Chevalley over Henri Poincaré-style base fields. For real Lie algebras studied by Élie Cartan and Hermann Weyl, the radical interacts with maximal compact subalgebras central to André Weil and Harish-Chandra representation theory.
The Levi decomposition, proved through contributions by Eugenio Elia Levi, Élie Cartan, Claude Chevalley, and Nathan Jacobson, states that a finite-dimensional Lie algebra g over a field of characteristic zero splits as a semidirect sum of its radical R(g) and a semisimple subalgebra s, the Levi subalgebra. This decomposition underlies classification work by Weyl and the structural theory developed by Harish-Chandra; conjugacy of Levi subalgebras up to inner automorphism was established in the work of Mostow and refined by Levi. The semisimple quotient g/R(g) is a direct sum of simple Lie algebras in the Cartan–Killing classification of Élie Cartan and Wilhelm Killing, informing the Dynkin diagram program advanced by Élie Cartan and Hermann Weyl.
The radical R(g) contains the nilradical N(g), the largest nilpotent ideal, a notion appearing in studies by Armand Borel and Bertram Kostant. Results by Ado and Nathan Jacobson link representations where the radical acts by nilpotent operators to Engel-type theorems from Friedrich Engel and structural criteria developed by Élie Cartan. In the presence of derivations analyzed by Hermann Weyl and Claude Chevalley, the action of the semisimple Levi factor on the nilradical yields cohomological constraints related to results by Ilya Shafarevich and Jean-Pierre Serre. For algebras considered by Sophus Lie and Évariste Galois-inspired symmetry groups, ascending and descending series of solvable ideals illuminate links to nilpotent orbits studied by Bertram Kostant and Slodowy.
Computing R(g) in examples uses methods from matrix representations by Ado and algorithms exploiting the Killing form introduced by Wilhelm Killing and formalized by Élie Cartan. Computational approaches draw on techniques from linear algebra developed by Arthur Cayley and James Joseph Sylvester and on modern algorithmic algebra by Doron Zeilberger-era combinatorics and software inspired by work from Richard Fateman and Stephen Wolfram. Cohomological criteria from the work of Claude Chevalley, Samuel Eilenberg, and Norman Steenrod provide obstructions to splitting that can identify R(g) via extension classes studied by Gerald Hochschild and Hans Zassenhaus. Over number fields and local fields connected to David Hilbert and André Weil, arithmetic considerations influence radical computation in Lie algebras attached to algebraic groups studied by Armand Borel and Jean-Pierre Serre.
In representation theory developed by Harish-Chandra, Weyl, Armand Borel, and Bertram Kostant, the radical governs indecomposable modules and highest-weight classifications related to the theory of Verma modules and the BGG category O studied by I.N. Bernstein, I.M. Gelfand, and Semyon Gelfand. The behavior of the radical under induction and restriction is central to results by George Mackey and Hermann Weyl in harmonic analysis on groups such as SL(2,R), SU(n), and reductive groups classified by Armand Borel. In geometric representation theory influenced by Alexander Beilinson, Joseph Bernstein, David Kazhdan, and George Lusztig, radicals of Lie algebras appear in the study of equivariant sheaves, perverse sheaves, and the Springer correspondence developed by T.A. Springer and Robert Steinberg. The radical also impacts deformation theory investigated by Mikhail Gromov and Maxim Kontsevich and the representation-theoretic aspects of Langlands program research by Robert Langlands and Roger Godement.
Category:Lie algebras