3
$\begingroup$

Let $R$ be a ring such that $R$ is a simple $R$-module. Show that $R$ is a division ring.

I have an idea for this but I would like to make sure it is correct. My idea is that $R$-submodules of $R$ are just the same as ideals in $R$. So if we take any non-zero element $r$ in $R$, then the ideal generated by $r$ must be the whole of $R$ (by simplicity) and so $r$ must be a unit and $R$ is a division ring.

Thanks!

  • 0
    @ArturoMagidin, I didn't write clearly what I meant, sorry. I meant I thought the question _assumed_ the ring had an identity, for how it was phrased. Thinking about it, $2(\mathbb Z/4)$ (the "universal" ring without identity and with only 2 elements, a ring to remember :) is an example of a ring (commutative so left and right) simple over itself which does not have an identity, so the question certainly assumed $R$ has an identity.2012-05-17

3 Answers 3

2

Well, it's been a month, so here is the argument I had in mind. By assumption $R$ is simple as a left module over itself, hence every nonzero element $r \in R$ has a left inverse $s$, thus $sr = 1$. But $s$ also has a left inverse $t$. Hence $s$ has a left and right inverse, which must agree, and hence $r$ does too.

1

Your approach is correct. An ideal is in particular a sub-module. So for a non-zero element $r$, the ideal generated by $r$ is all of $R$, so $r$ has an inverse. Now you do this for the left and from the right and then you a left and a right inverse. They are equal.

  • 0
    If $R$ is simple as a left $R$-module this doesn't immediately guarantee that $R$ is simple as a right $R$-module. (It does, but proving this seems to me about as hard as proving the desired proposition.)2012-05-16
0

Perhaps you can argue as follows: by Schur's lemma, $End_R(R)\,$ is a division ring as $R$ is a simple $R-$module.

Now, let us define $\,\phi:End_R(R)\to R\,$ by $\,\phi(f):=f(1)\,$ . Show now

1) $\phi\,$ is an $R-\,$module (left, right: as you wish) homomorphism

2) $\phi\,$ is bijective -- for the onto part you may want to check that $\,f_r: R\to R\,$ defined by $\,f_r(x):= xr\,$ is a (left; if you want right fix the definitions) $\,R\,$-endomorphism of $\,R\,$ . Injectivity is trivial -- .

  • 2
    Qiaochu: the "if you want right fix the definitions" part should take care of that, I think: instead of $\,f(1)\,$ we could write $\,(1)f\,$, with the function's action to the right, "as algebraists that do not surrender to analists ought to do", something I heard several times from my late Prof. Shimshon Amitzur. About your second remark: $\,(rf)s:= rf(s)\,\,,\,or\,\,(s)fr:= (sf)r\,$ makes, if I'm not wrong, $\,End_R(R)\,$ into a left (right) R-module.2012-05-16