A commutative ring R with 1
over which the singular submodule is a direct summand for every module, is a
semihereditary ring with finitely many large ideals. A commutative semi-simple (with
d.c.c.) ring is characterized by the property that every semi-simple module is
injective.