In
algebra
Algebra () is one of the areas of mathematics, broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathem ...
, the nilradical of a
commutative ring is the
ideal consisting of the
nilpotent element
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0.
The term was introduced by Benjamin Peirce in the context of his work on the cla ...
s:
:
In the
non-commutative ring case the same definition does not always work. This has resulted in several
radicals
Radical may refer to:
Politics and ideology Politics
*Radical politics, the political intent of fundamental societal change
*Radicalism (historical), the Radical Movement that began in late 18th century Britain and spread to continental Europe and ...
generalizing the commutative case in distinct ways; see the article
Radical of a ring for more on this.
The
nilradical of a Lie algebra In algebra, the nilradical of a Lie algebra is a nilpotent ideal, which is as large as possible.
The nilradical \mathfrak(\mathfrak g) of a finite-dimensional Lie algebra \mathfrak is its maximal nilpotent ideal, which exists because the sum of ...
is similarly defined for
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi iden ...
s.
Commutative rings
The nilradical of a commutative ring is the set of all
nilpotent element
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0.
The term was introduced by Benjamin Peirce in the context of his work on the cla ...
s in the
ring, or equivalently the
radical of the
zero ideal. This is an ideal because the sum of any two nilpotent elements is nilpotent (by the
binomial formula), and the product of any element with a nilpotent element is nilpotent (by commutativity). It can also be characterized as the
intersection
In mathematics, the intersection of two or more objects is another object consisting of everything that is contained in all of the objects simultaneously. For example, in Euclidean geometry, when two lines in a plane are not parallel, thei ...
of all the
prime ideals of the ring (in fact, it is the intersection of all
minimal prime ideals).
A ring is called
reduced if it has no nonzero nilpotent. Thus, a ring is reduced
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bi ...
its nilradical is zero. If ''R'' is an arbitrary commutative ring, then the
quotient
In arithmetic, a quotient (from lat, quotiens 'how many times', pronounced ) is a quantity produced by the division of two numbers. The quotient has widespread use throughout mathematics, and is commonly referred to as the integer part of a ...
of it by the nilradical is a reduced ring and is denoted by
.
Since every
maximal ideal
In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals ...
is a prime ideal, the
Jacobson radical In mathematics, more specifically ring theory, the Jacobson radical of a ring R is the ideal consisting of those elements in R that annihilate all simple right R- modules. It happens that substituting "left" in place of "right" in the definitio ...
— which is the intersection of maximal ideals — must contain the nilradical. A ring ''R'' is called a
Jacobson ring if the nilradical and Jacobson radical of ''R''/''P'' coincide for all prime ideals ''P'' of ''R''. An
Artinian ring In mathematics, specifically abstract algebra, an Artinian ring (sometimes Artin ring) is a ring that satisfies the descending chain condition on (one-sided) ideals; that is, there is no infinite descending sequence of ideals. Artinian rings are n ...
is Jacobson, and its nilradical is the maximal
nilpotent ideal of the ring. In general, if the nilradical is finitely generated (e.g., the ring is
Noetherian), then it is
nilpotent
In mathematics, an element x of a ring R is called nilpotent if there exists some positive integer n, called the index (or sometimes the degree), such that x^n=0.
The term was introduced by Benjamin Peirce in the context of his work on the cl ...
.
Noncommutative rings
For noncommutative rings, there are several analogues of the nilradical. The lower nilradical (or
Baer–McCoy radical, or prime radical) is the analogue of the radical of the zero ideal and is defined as the intersection of the prime ideals of the ring. The analogue of the set of all nilpotent elements is the upper nilradical and is defined as the ideal generated by all nil ideals of the ring, which is itself a nil ideal. The set of all nilpotent elements itself need not be an ideal (or even a
subgroup
In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgrou ...
), so the upper nilradical can be much smaller than this set. The Levitzki radical is in between and is defined as the largest locally nilpotent ideal. As in the commutative case, when the ring is Artinian, the Levitzki radical is nilpotent and so is the unique largest nilpotent ideal. Indeed, if the ring is merely Noetherian, then the lower, upper, and Levitzki radical are nilpotent and coincide, allowing the nilradical of any Noetherian ring to be defined as the unique largest (left, right, or two-sided) nilpotent ideal of the ring.
References
*
Eisenbud, David, "Commutative Algebra with a View Toward Algebraic Geometry", Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, .
*
Commutative algebra
Ideals (ring theory)
Notes
{{reflist, group=Note