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 gives
and 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!