Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Possible Duplicate:
The set of all nilpotent element is an ideal of R

Given a commutative ring $R$ and two nilpotent elements $r$, $s$ there exists an $n \in \mathbb{N}$ such that

$$ (r+s)^n = 0.$$

I want to prove that in order to show that the nilpotent elements of a commutative ring are closed under addition (to show that the nilpotent elements form an ideal within a commutative ring). Is that a good way to do it? I'm a little stuck.

share|improve this question

marked as duplicate by Dylan Moreland, Matt N., Qiaochu Yuan Apr 16 '12 at 20:42

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

    
Yes, that will do it. Hint: binomial theorem. –  Robert Israel Apr 16 '12 at 20:33
add comment

1 Answer 1

up vote 2 down vote accepted

By the binomial theorem, $$(r+s)^n = \sum_{k=0}^n \binom{n}{k} r^k s^{n-k}.$$ If $r^a = s^b = 0$ choose $n = a+b$. Then for each $k=0,1,\ldots,n$ either $k \geq a$ or $n-k \geq b$ so $r^k = 0$ or $s^{n-k} = 0$.

share|improve this answer
add comment

Not the answer you're looking for? Browse other questions tagged or ask your own question.