Question #16362

Show that a principal right ideal aR in a ring R is projective as a right R-module iff annr(a) is of the form eR where e is an idempotent of R

Expert's answer

Consider the exact sequence of right R-modules 0annr(a)RfaR00 \to \operatorname{ann}_r(a) \to R \xrightarrow{f} aR \to 0 where ff is defined by left multiplication by aa . If aRaR is projective, this sequence splits. Then annr(a)\operatorname{ann}_r(a) is a direct summand of RRR_R , so annr(a)=eR\operatorname{ann}_r(a) = eR for some e2=eRe^2 = e \in R . Conversely, if annr(a)=eR\operatorname{ann}_r(a) = eR where e2=eRe^2 = e \in R , then the direct sum decomposition R=eR(1e)RR = eR \oplus (1 - e)R implies that aRR/eR(1e)RaR \cong R / eR \cong (1 - e)R , which is a projective right R-module.

Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

LATEST TUTORIALS
APPROVED BY CLIENTS