“School of Mathematics”
Back to Papers HomeBack to Papers of School of Mathematics
Paper IPM / M / 17341  


Abstract:  
Recall that an Rmodule M is puresemisimple every module in the category Ï[M] is a direct sum of finitely generated (and indecomposable) modules. A theorem from commutative algebra due to KÃ¶the, CohenKaplansky and Griï¬ith states that, âa commutative ring R is puresemisimple (i.e., every Rmodule is a direct sum of finitely generated modules) if and only if every Rmodule is a direct sum of cyclic modules, if and only if, R is an Artinian principal ideal ringâ. Consequently, every (finitely generated, cyclic) ideal of R is puresemisimple if and only if R is an Artinian principal ideal ring. Therefore, a natural question of this sort is âwhether the same is true if one only assumes that every proper ideal of R is pure semisimple?â The goal of this paper is to answer this question. The structure of such rings is completely described as Artinian principal ideal rings or local rings R with the maximal ideals M= RxâT, which Rx is Artinian uniserial and T is semisimple. Also, we give several characterizations for commutative rings whose proper principal (finitely generated) ideals are puresemisimple.
Download TeX format 

back to top 