In mathematics, an element, x, of a ring, R, is called nilpotent if there exists some positive integer, n, such that xn = 0.
Contents
- Examples
- Properties
- Commutative rings
- Nilpotent elements in Lie algebra
- Nilpotency in physics
- Algebraic nilpotents
- References
The term was introduced by Benjamin Peirce in the context of his work on the classification of algebras.
Examples
Properties
No nilpotent element can be a unit (except in the trivial ring {0}, which has only a single element 0 = 1). All non-zero nilpotent elements are zero divisors.
An n-by-n matrix A with entries from a field is nilpotent if and only if its characteristic polynomial is tn.
If x is nilpotent, then 1 − x is a unit, because xn = 0 entails
More generally, the sum of a unit element and a nilpotent element is a unit when they commute.
Commutative rings
The nilpotent elements from a commutative ring
If
A characteristic similar to that of Jacobson radical and annihilation of simple modules is available for nilradical: nilpotent elements of ring R are precisely those that annihilate all integral domains internal to the ring R (that is, of the form R/I for prime ideals I). This follows from the fact that nilradical is the intersection of all prime ideals.
Nilpotent elements in Lie algebra
Let
Nilpotency in physics
An operand Q that satisfies Q2 = 0 is nilpotent. Grassmann numbers which allow a path integral representation for Fermionic fields are nilpotents since their squares vanish. The BRST charge is an important example in physics.
As linear operators form an associative algebra and thus a ring, this is a special case of the initial definition. More generally, in view of the above definitions, an operator Q is nilpotent if there is n∈N such that Qn = 0 (the zero function). Thus, a linear map is nilpotent iff it has a nilpotent matrix in some basis. Another example for this is the exterior derivative (again with n = 2). Both are linked, also through supersymmetry and Morse theory, as shown by Edward Witten in a celebrated article.
The electromagnetic field of a plane wave without sources is nilpotent when it is expressed in terms of the algebra of physical space.
Algebraic nilpotents
The two-dimensional dual numbers contain a nilpotent space. Other algebras and numbers that contain nilpotent spaces include split-quaternions (coquaternions), split-octonions, biquaternions