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

Let $N$ be a submodule of the module $M$. Suppose $M/N$ and $N$ are semi-simple. Does it follow that $M$ is semi-simple?

I think the answer is yes but I am not sure how to prove it. Any help would be appreciated.

share|cite|improve this question

closed as off-topic by user26857, R_D, 91500, M. Vinay, C. Falcon Jul 10 at 14:22

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user26857, R_D, 91500, M. Vinay, C. Falcon
If this question can be reworded to fit the rules in the help center, please edit the question.

No. In fact this is false even if you assume that $M/N$ and $N$ are simple, and even for a ring as well-behaved as $\mathbb{Z}$. – Qiaochu Yuan May 15 '12 at 22:21

No. Consider the ring $R=\mathbb C[t]/(t^2)$. The regular module $M=R$ contains the submodule $N=(t)$ which is simple, and $M/N$ is also simple, yet $M$ is not semisimple.

In fact, under sensible hypotheses if a ring is such that your statement does hold, then the ring must be semisimple. For example, if the ring is a finite dimensional algebra over a ring (or even an artin algebra)

share|cite|improve this answer

Adding on Qiaochu's comment and trying to come up with an easier, perhaps, counter-example than that given by Mariano: the only simple $\mathbb{Z}-\,$modules (which are the same as abelian groups) are the cyclic groups of prime order, thus: take Klein's viergrup $$\,M:=C_2\times C_2\,\,,\,\,N:= \{1\}\times C_2\,\,,\,\,M/N\cong C_2$$ Both $M\,,\,M/N\,$ are even simple, as mentioned by Qiaochu

share|cite|improve this answer
But the big module in your example is semisimple :) – Mariano Suárez-Alvarez May 16 '12 at 2:12
If you replace $M$ with $C_4$ and $N$ with the cyclic group of order $2$, though, then you'll be cooking with gas. – Arturo Magidin May 16 '12 at 2:29

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