It seems to me the references in this [Mathematics - Stack Exchange answer](http://math.stackexchange.com/questions/82957/preservation-of-direct-sums-and-finite-generation/82958#82958) 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 $\text{Hom}(M,-)$ commute avec les sommes directes, C. R. Acad. Sci. Paris Sér. A-B 268 (1969), 930-933. [Update: see Edit 3 below.] - 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](http://www.karlin.mff.cuni.cz/katedry/ka/preprint/alg05_17.pdf), but I don't understand it: - Jan Zemlicka, Classes of dually slender modules, Proc. Algebra Symposium Cluj 2005, 129-137. **EDIT 3.** $\bullet$ Rentschler's paper R. Rentschler, Sur les modules M tels que $\text{Hom}(M,-)$ commute avec les sommes directes, C. R. Acad. Sci. Paris Sér. A-B 268 (1969), 930-933 is available [here](http://www.iecn.u-nancy.fr/~gaillapy/MO/rentschler.pdf) in one click, and [there](http://gallica.bnf.fr/ark:/12148/bpt6k480296q/f936.image.langEN) in a few clicks. [I'm also giving the second option because it's a trick worth knowing.] Thanks to Stéphanie Jourdan for having found this link! $\bullet$ Exercise (b) in Bass's list is in fact the easiest. [Sorry for not having realized that earlier.] Here is a solution. --- Let $R$ be an associative ring with $1$, let $A$ be an $R$-module, and let "map" mean "$R$-linear map". If $A_0\subset A_1\subset\cdots$ is a sequence of proper submodules of $A$ whose union is $A$, then the natural map from $A$ to the direct product of the $A/A_n$ induces a map from $A$ to the direct sum of the $A/A_n$ whose components are all nonzero. Conversely, let $f$ be a map from $A$ to a direct sum $\oplus_{i\in I}B_i$ of $R$-modules such that the set $S$ of those $i$ in $I$ satisfying $f_i\neq0$ [obvious notation] is is infinite. By choosing a countable subset of $S$ we get a map $g$ from $A$ to a direct sum $\oplus_{n\in \mathbb N}C_n$ of $R$-modules such that $g_n\neq0$ for all $n$. It is easy to check that the $$ A_n:=\bigcap_{k > n}\ \ker(g_k), $$ form an increasing sequence of proper submodules of $A$ whose union is $A$.