0
$\begingroup$

How can I prove the following statement:

Every right ideal of $R$ is injective iff $R$ is semisimple.

It's a strange statement. If true, only from the condition satisfied by the ideals we can conclude a property valid for all modules over the ring.

  • 0
    Further, why are you considering ideals and modules to be different things? Ideals are just submodules of the regular module (ie the ring regarded as a module in the natural way).2012-06-20

1 Answers 1

2

Recall that one of several equivalent definitions of a module $E$ being injective is that every short exact sequence starting with $E$ splits (exercise: prove this is equivalent to all other definitions you know).

Recall further the definition of a semisimple ring- a ring is semisimple iff all of its modules are a BLANK of BLANKS. In particular, every short exact sequence behaves like BLANK.

Combining these two statements, you should be able to prove what you want.

NOTE: Blanks have been used to help you find the answer on your own!