MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
What do you mean $K/T=K$? Do you mean $K/T$ is isomorphic to $K$? – Keenan Kidwell Mar 23 '10 at 20:31
Yes, sorry isomorphism. – Johannes Wachs Mar 23 '10 at 20:33
up vote 5 down vote accepted

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).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.