Let R be a commutative ring with 1.


An R-module K has the 'S' property if K/T = K implies that the submodule T is trivial.


By Fitting's Lemma any Noetherian module has the 'S' property. There exist non-Noetherian modules with this property. For example the infinite product of Z\_{2}xZ\_{3}xZ\_{5}x... running over all of the primes has the 'S' property, but is not Noetherian.


I am curious if there is a characterization of these kinds of modules out there.



Characterization of a certain class of modules-broader than Noetherian
These are called **Hopfian modules**. I didn't see any particularly exciting general characterization, but there are several special case characterizations (that show up easily in a google or mathscinet search). There are also several papers devoted to giving "interesting" examples.


An exercise in Lam's Lectures on Modules and Rings asks one to prove that every finitely generated module over a commutative ring is Hopfian (so if the ring is not-noetherian, this is a generalization).


