|
|
|
|
unity plus nilpotent is unit
|
(Theorem)
|
|
Proof. If $x=0$ then $1\!+\!x=1$ which is a unit. Thus, we may assume that $x \neq 0$
Since $x$ is nilpotent, there is a positive integer $n$ such that $x^n=0$ We multiply $1\!+\!x$ by another ring element: \begin{eqnarray*} (1\!+\!x)\cdot\sum_{j=0}^{n-1}(-1)^jx^j &=& \sum_{j=0}^{n-1}(-1)^jx^j\!+\!\sum_{k=0}^{n-1}(-1)^kx^{k+1}\\ &=& \sum_{j=0}^{n-1}(-1)^jx^j\!-\!\sum_{k=1}^n(-1)^kx^k\\ &=& 1\!+\!\sum_{j=1}^{n-1}(-1)^jx^j\!-\!\sum_{k=1}^{n-1}(-1)^kx^k\!-\!(-1)^nx^n\\ &=& 1\!+\!0\!+\!0\\ &=& 1 \end{eqnarray*} (Note that the summations include the term $(-1)^0x^0$ which is why $x=0$ is excluded from this case.)
The reversed multiplication gives the same result. Therefore, $1\!+\!x$ has a multiplicative inverse and thus is a unit. 
Note that there is a similarity between this proof and geometric series: The goal was to produce a multiplicative inverse of $1\!+\!x$ and geometric series yields that
$$\displaystyle \frac{1}{1\!+\!x}=\sum_{n=0}^{\infty} (-1)^nx^n,$$
provided that the summation converges. Since $x$ is nilpotent, the summation has a finite number of nonzero terms and thus converges.
|
"unity plus nilpotent is unit" is owned by Wkbj79. [ full author list (2) | owner history (1) ]
|
|
(view preamble | get metadata)
Cross-references: number, finite, geometric series, proof, multiplicative inverse, multiplication, term, integer, positive, nilpotent, ring, unit, sum, ring with unity, nilpotent element
This is version 18 of unity plus nilpotent is unit, born on 2005-04-19, modified 2007-05-30.
Object id is 6956, canonical name is UnityPlusNilpotentIsUnit.
Accessed 2429 times total.
Classification:
| AMS MSC: | 13A10 (Commutative rings and algebras :: General commutative ring theory :: Radical theory) | | | 16U60 (Associative rings and algebras :: Conditions on elements :: Units, groups of units) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|