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.
| nilradical | |
|---|---|
| Name | nilradical |
| Type | algebraic concept |
| Field | Ring theory; Lie theory |
| Introduced | (unspecified) |
nilradical
The nilradical is an algebraic notion denoting the set of nilpotent elements or the largest nilpotent ideal occurring in algebraic structures; it appears in contexts such as commutative algebra, Lie theory, and algebraic geometry. In many classical sources this concept is tied to structural decompositions studied by figures like Emil Artin, Emmy Noether, David Hilbert, and Jean-Pierre Serre. It interacts with major constructs such as Prime ideal, Jacobson radical, Levi decomposition, Hilbert's Nullstellensatz, and the representation theory of Lie algebras.
In algebraic contexts the term denotes either the set of nilpotent elements or the largest nilpotent ideal. In a ring R the nilradical is the set of x in R with x^n=0 for some n; in a Lie algebra g the nilradical is the maximal nilpotent ideal of g. Standard properties relate it to objects studied by Emmy Noether, Oscar Zariski, Hermann Weyl, Nathan Jacobson, and constructions like the universal enveloping algebra and the spectrum functor. The nilradical is always a radical ideal in the sense used by Jacobson, stable under homomorphism kernels considered by Emil Artin and compatible with primary decomposition techniques found in Noetherian ring theory.
For a commutative ring R (with unity) the nilradical equals the intersection of all prime ideals of R, a fact closely tied to Hilbert's Nullstellensatz in the coordinate ring setting. In affine algebraic geometry, coordinate rings studied by Alexander Grothendieck and Jean-Pierre Serre have nilradical corresponding to the nilpotent scheme structure; removing the nilradical yields the reduced scheme used in scheme theory. The nilradical is a radical ideal in the sense of Jacobson, and in Noetherian rings examined by Emmy Noether and Wolfgang Krull it participates in primary decomposition alongside associated primes and the Krull dimension.
In the theory of Lie algebras the nilradical of a finite-dimensional Lie algebra g over a field (often studied by Élie Cartan, Bertram Kostant, Nicolas Bourbaki) is the largest nilpotent ideal N(g). It appears in the Levi decomposition alongside a semisimple subalgebra, a result with roots in the work of Élie Cartan and formalized through contributions by Jean-Louis Koszul and Nathan Jacobson. The nilradical controls solvable and radical series, interacts with Cartan subalgebra theory, and is central to classification efforts like those of Sergio Lie and modern treatments in texts by Vinberg and Humphreys.
Algebraic relationships connect the nilradical to various radicals: it coincides with the prime radical (or lower nilradical) and sits inside the Jacobson radical introduced by Nathan Jacobson. In commutative settings celebrated results such as Hilbert's Nullstellensatz identify the nilradical of a coordinate ring with the ideal of functions vanishing on a variety studied by geometers like André Weil and Oscar Zariski. Noncommutative generalizations relate the nilradical to the Levitzki radical and upper nilradical investigated in work by Jacob Levitzki and later authors in ring theory.
Examples appear across classical objects: matrix rings over fields by Carl Friedrich Gauss-era linear algebra yield nilpotent matrices whose span gives nilpotent ideals in upper triangular matrix algebras studied by Arthur Cayley; polynomial rings over fields have nilradical zero unless base rings contain nilpotents, as in rings constructed in Emmy Noether-style examples. In coordinate rings of affine varieties from Alexander Grothendieck's scheme theory, the nilradical reflects embedded components and nonreduced schemes encountered in moduli problems studied by David Mumford.
The nilradical is functorial with respect to surjective homomorphisms encountered in constructions of quotients by ideals as used by Emil Artin and Oscar Zariski; it behaves predictably under localization appearing in the work of Jean-Pierre Serre and Grothendieck on sheafification. Under extension of scalars and base change, issues treated in texts by Serre and Grothendieck examine how nilpotence can be created or destroyed, and how nilradicals transform under completion operations central to Krull-style dimension theory. Operations such as sum, intersection, and product of ideals interact with nilradicals in ways addressed by classical theorems from the schools of Noether and Krull.
The nilradical plays a decisive role in structural decomposition theorems used by Élie Cartan, in algebraic geometry via reduced schemes central to Grothendieck and Zariski, and in representation theory where radicals influence module categories studied by Nathan Jacobson and Paul Erdős-era combinatorial approaches. It is instrumental in detecting pathological behaviors, formulating criteria in deformation theory used by Deligne and Mumford, and in algorithmic algebra where computations with radicals draw on techniques from David Hilbert's foundational results and computational algebra systems developed with influence from John von Neumann-era computation.