One minus a nilpotent element is a unit
ID: one-minus-a-nilpotent-element-is-a-unit
If is a nilpotent element of a ring, choose with . The finite geometric series identity givesand the factors commute, so is a unit. In a commutative ring, every multiple of a nilpotent element is again nilpotent. Consequently an equality with nilpotent forces : rewrite it as and multiply by the inverse of .
New to topics? Read the docs here!