PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] unity plus nilpotent is unit (Theorem)
Theorem 1   If $x$ is a nilpotent element of a ring with unity 1 (which may be 0), then the sum $1\!+\!x$ is a unit of the ring.
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. $ \qedsymbol$

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)

View style:

See Also: divisibility in rings


This object's parent.
Log in to rate this entry.
(view current ratings)

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 MSC13A10 (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
None.
[ View all 6 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)