Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$N(R) \subset \operatorname{ann}_R (M)$ if M is simple left module

How do I prove this?

Know that if $a$ is in $N(R)$, then $a^n=0$ for some element. However, don't see how to go from this.

$N(R)=\sum \{ I\}$ where I is nilpotent ideal of R.

share|cite|improve this question
It would not hurt if you edited the question to add an explanation of what $N(R)$ is... – Mariano Suárez-Alvarez Nov 24 '11 at 3:55
Could you say what $N(R)$ is? It's my understanding that the nilpotent elements might not form an ideal in the non-commutative setting. – Dylan Moreland Nov 24 '11 at 3:56
@Dylan, in the quotient $A$ of the free algebra $k\langle x,y\rangle$ by the bilateral ideal $(x^2,y^2)$, the (classes of) $x$ and $y$ are nilpotent, but their sum isn't. – Mariano Suárez-Alvarez Nov 24 '11 at 3:59
@Mariano Ah, thanks! Good to have an example. – Dylan Moreland Nov 26 '11 at 18:30

From your definition of $N(R)$ it is enough to show that $I \subset \text{ann}_R(M)$ for every nilpotent ideal $I$. So let $I$ be nilpotent and suppose $IM \neq \{0\}$. As $IM$ is a submodule of $M$ and $M$ is simple you get $IM = M$. By induction you get $I^nM = M$ for all $n$ but with $I$ being nilpotent you get $M = \{0\}$ a contradiction to $IM \neq{0}$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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