Skip to main content
3 of 8
edit clearly indicated

It seems to me the references in this Mathematics - Stack Exchange answer contain the requested information.

EDIT 1. Here is an excerpt from Hyman Bass's book Algebraic K-Theory, W. A. Benjamin (1968), p. 54:

Exercise.

(a) Show that a module $P$ is finitely generated if and only if the union of a totally ordered family of proper submodules of $P$ is a proper submodule.

(b) Show that $\text{Hom}_A(P,\bullet)$ preserves coproducts if and only if the union of every (countable) chain of proper submodules is a proper submodule.

(c) Show that the conditions in (a) and (b) are not equivalent. (Examples are not easy to find.)

EDIT 2. Here is a solution to Exercise (a) above. Let $R$ be an associative ring with $1$, and $A$ an $R$-module. If $A$ is finitely generated, then the union of a totally ordered set of proper submodules is clearly a proper submodule. Let's prove the converse:

Assume that $A$ is not finitely generated. Let $Z$ be the set of those submodules $B$ of $A$ such that $A/B$ is is not finitely generated. The poset $Z$ is nonempty and has no maximal element. By Zorn's Lemma, there is a nonempty totally ordered subset $T$ of $Z$ which has no upper bound. Letting $U$ be the union of $T$, we see that $A/U$ is finitely generated. There is thus a finitely generated submodule $F$ of $A$ which generates $A$ modulo $U$. Then the $B+F$, where $B$ runs over $T$, form a totally ordered set of proper submodules whose union is $A$. QED

I'd be most grateful to whoever would post a solution to the other exercises in Bass's list. (I haven't been able to do them.) The following references might help, but I haven't been able to find them online:

  • R. Rentschler, Sur les modules M tels que Hom(M,-) commute avec les sommes directes, C. R. Acad. Sci. Paris Sér. A-B 268 (1969), 930-933.

  • P.C. Eklof, K.R. Goodearl and J. Trlifaj, Dually slender modules and steady rings, Forum Math. 9 (1997), 61-74.

This paper is available online, but I don't understand it:

  • Jan Zemlicka, Classes of dually slender modules, Proc. Algebra Symposium Cluj 2005, 129-137.