1
$\begingroup$

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.

$\endgroup$
2
  • 1
    $\begingroup$ What do you mean $K/T=K$? Do you mean $K/T$ is isomorphic to $K$? $\endgroup$ Mar 23, 2010 at 20:31
  • $\begingroup$ Yes, sorry isomorphism. $\endgroup$ Mar 23, 2010 at 20:33

1 Answer 1

5
$\begingroup$

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

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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