In mathematics, an element x {\displaystyle x} of a ring R {\displaystyle R} is called nilpotent if there exists some positive integer n {\displaystyle n} such that x n = 0 {\displaystyle x^{n}=0} . The smallest such n {\displaystyle n} is called the index of nilpotency or the degree of nilpotency of x {\displaystyle x} . The term, along with its sister idempotent, was introduced by Benjamin Peirce in the context of his work on the classification of algebras.
Examples This definition can be applied in particular to square matrices. The matrix
A = ( 0 1 0 0 0 1 0 0 0 ) {\displaystyle A={\begin{pmatrix}0&1&0\\0&0&1\\0&0&0\end{pmatrix}}}
is nilpotent because A 3 = 0 {\displaystyle A^{3}=0} . See nilpotent matrix for more. In the factor ring Z / 9 Z {\displaystyle \mathbb {Z} /9\mathbb {Z} } , the equivalence class of 3 is nilpotent because 32 is congruent to 0 modulo 9. Assume that two elements a {\displaystyle a} and b {\displaystyle b} in a ring R {\displaystyle R} satisfy a b = 0 {\displaystyle ab=0} . Then the element c = b a {\displaystyle c=ba} is nilpotent as c 2 = ( b a ) 2 = b ( a b ) a = 0. {\displaystyle {\begin{aligned}c^{2}&=(ba)^{2}\\&=b(ab)a\\&=0.\\\end{aligned}}} An example with matrices (for a, b): A = ( 0 1 0 1 ) , B = ( 0 1 0 0 ) . {\displaystyle A={\begin{pmatrix}0&1\\0&1\end{pmatrix}},\;\;B={\begin{pmatrix}0&1\\0&0\end{pmatrix}}.} Here A B = 0 {\displaystyle AB=0} and B A = B {\displaystyle BA=B} . By definition, any element of a nilsemigroup is nilpotent.
Properties No nilpotent element can be a unit (except in the trivial ring, which has only a single element 0 = 1). All nilpotent elements are zero divisors. An n × n {\displaystyle n\times n} matrix A {\displaystyle A} with entries from a field is nilpotent if and only if its characteristic polynomial is t n {\displaystyle t^{n}} . If x {\displaystyle x} is nilpotent, then 1 − x {\displaystyle 1-x} is a unit, because x n = 0 {\displaystyle x^{n}=0} entails ( 1 − x ) ( 1 + x + x 2 + ⋯ + x n − 1 ) = 1 − x n = 1. {\displaystyle (1-x)(1+x+x^{2}+\cdots +x^{n-1})=1-x^{n}=1.}
More generally, the sum of a unit element and a nilpotent element is a unit when they commute.
… excerpt ends here. Continue reading the full article.
