In this article, we collect some results about representable functors $C(c, -) \colon C \to V$ (where $V$ is some base of hom-enrichment) that preserve coproducts.
When $C$ is an extensive category regarded as enriched in $Set$, we call $c$ a connected object, and this terminology matches well one’s intuition about connectedness from familiar cases such as $C = Top$, or $C$ the category of graphs, etc. Some basic results with proofs may be found at connected object, including
A connected colimit (i.e., a colimit over a connected diagram of) connected objects is connected.
If $X$ is connected and $X \to Y$ is epic, then $Y$ is connected.
For non-extensive categories (e.g., categories of modules), the relation to “connectedness” tends to be less intuitive^{1}. Nevertheless, the concept of (arbitrary) coproduct-preserving representable remains important, and it is useful to collect some basic information.
In an Ab-enriched category, finite coproducts are absolute colimits, hence are preserved by every representable. Thus, the interest is in representables which preserve infinite coproducts as well (which is what most of this page is about).
At the other extreme from extensive categories, in a SupLat-enriched category (such as SupLat or Rel) arbitrary coproducts are absolute, and hence preserved by every representable.
Let $\mathbf{Mod}_R$ denote the category of right modules over a ring $R$, and suppose an object $M$ induces a coproduct-preserving hom-functor $\mathbf{Mod}_R(M, -) \colon \mathbf{Mod}_R \to \mathbf{Ab}$. Various names for such $M$ appear in the literature, “compact” and “dually slender” among them. In any event, a question arose on MathOverflow as to whether or to what extent this condition coincides with the condition of being finitely generated, for various rings $R$.
The information provided below was mostly culled from the answers given to that question, especially those by Pierre-Yves Gaillard and Fernando Muro. Here and there some minor details and background information have been filled in, and some key results have been slightly rearranged.
We begin with some easy preliminary remarks. Given a family of objects $\{B_i\}_{i \in I}$ in an $\mathbf{Ab}$-enriched category $C$ and a functor $F \colon C \to \mathbf{Ab}$, there is a canonical arrow
and if this arrow is an isomorphism for every family $B_i$, we say $F$ preserves coproducts. Turning to the case of representable functors on modules, let
be the obvious projection ($p_j \circ i_j = 1_{B_j}$, else $p_j \circ i_k = 0$), and given $f \colon M \to \oplus_i B_i$, put
Then $\mathbf{Mod}_R(M, -)$ preserves the particular coproduct $\oplus_i B_i$ if for each $f \colon M \to \oplus_i B_i$, we have $f_j = 0$ for all but finitely many $j$.
Clearly $\mathbf{Mod}_R(R, -)$ preserves coproducts, and if $F$, $G$ are coproduct-preserving functors $\mathbf{Mod}_R \to \mathbf{Ab}$, then so is $F \oplus G$. It follows that
If $\mathbf{Mod}_R(M, -)$ preserves coproducts and $q \colon M \to N$ is epic, then $\mathbf{Mod}_R(N, -)$ preserves coproducts.
Given $f \colon N \to \oplus_i B_i$, we have $p_j \circ f \circ q = 0$ for all but finitely many $j$, whence $f_j = p_j \circ f = 0$ for all but finitely many $j$ since $q$ is epic.
Combining the two preceding observations, we infer that
Here is a sharper description of coproduct-preserving representables, based on subobject lattices.
$\mathbf{Mod}_R(M, -)$ preserves coproducts if and only if the union of every countable chain of proper submodules of $M$ is a proper submodule.
(As adapted from Gaillard’s answer.) Let $M_0\subset M_1\subset\cdots$ be a chain of proper submodules of $M$ whose union is $M$, and put $Q_n = M/M_n$. Since for each $m \in M$ we have $q_n(m) = 0$ for all but finitely many $n$, the map
corresponding to the tuple of quotient maps $q_n \colon M \to Q_n$, factors through the inclusion $\oplus_n Q_n \hookrightarrow \prod_n Q_n$. However, since each $q_n$ is nonzero, $q$ does not belong to the subgroup
and thus the canonical map $\oplus_n \mathbf{Mod}_R(M, Q_n) \to \mathbf{Mod}_R(M, \oplus_n Q_n)$ is not an isomorphism.
In the other direction, if $\mathbf{Mod}_R(M, -)$ does not preserve coproducts, then we can find some map
not belonging to the subgroup $\oplus_{i \in I} \mathbf{Mod}_R(M, B_i) \hookrightarrow \mathbf{Mod}_R(M, \oplus_{i \in I} B_i)$. This means that infinitely many components $f_i \colon M \to B_i$ are nonzero. Choose a countable subset $N \subset I$ such that $f_n \colon M \to B_n$ is nonzero for every $n \in N$, and put
Each $M_n$ is a proper submodule of $M$, and the $M_n$ form a nondecreasing chain, but the union of the $M_n$ is $M$ (because for each $m \in M$, only finitely many $f_n(m)$ can be nonzero).
Let $R$ be a Noetherian ring, and suppose $M \to N$ is a monomorphism of $R$-modules. Then if $\mathbf{Mod}_R(N, -)$ is coproduct-preserving, so is $\mathbf{Mod}_R(M, -)$.
(As adapted from Muro’s answer.) Consider a family $B_i$ of modules, and a map $f \colon M \to \oplus_i B_i$. Since there are enough injectives, there exists an embedding $i_j \colon B_j \to E_j$ in an injective module, for each $j$. Next, as explained here, the Noetherian assumption allows us to infer that $\oplus_i E_i$ is injective. Thus, there exists $g$ such that the diagram
commutes. Because $\mathbf{Mod}_R(N, -)$ preserves coproducts, we have $g_j = 0$ for all but finitely many $j$. Since the diagram
commutes and $i_j$ is injective, we see $f_j = 0$ for all but finitely many $j$, whence $\mathbf{Mod}_R(M, -)$ preserves coproducts.
Let $R$ be Noetherian. If $\mathbf{Mod}_R(M, -)$ preserves coproducts, then $M$ is finitely generated.
(Combining Gaillard’s and Muro’s answers.) We prove the contrapositive. Suppose $M$ is not finitely generated. Then we can find a strictly increasing sequence of submodules of $M$:
Let $M'$ be the union of the $M_i$. By Theorem 1, the representable $\mathbf{Mod}_R(M', -)$ does not preserve coproducts. By Theorem 2, we infer that $\mathbf{Mod}_R(M, -)$ does not preserve coproducts.
Next, we construct an example of a ring $R$ and an $R$-module $M$ such that $\mathbf{Mod}_R(M, -)$ preserves coproducts but $M$ is not finitely generated.
A module $M$ is finitely generated if and only if the union of a totally ordered family of proper submodules of $M$ is a proper submodule.
The following proof is a practically verbatim transcription from Gaillard’s answer, modulo some notational changes. Assume that $M$ is not finitely generated. Let $P$ be the set of those submodules $N$ of $M$ such that $M/N$ is not finitely generated, ordered by inclusion. Clearly the poset $P$ is nonempty and has no maximal element. By (the contrapositive of) Zorn’s Lemma, there is a nonempty totally ordered subset $T \hookrightarrow P$ which has no upper bound. Letting $U$ be the union of the submodules occurring in $T$, we see that $M/U$ is finitely generated. There is thus a finitely generated submodule $F$ of $M$ which generates $M$ modulo $U$. Then the collection
is a totally ordered set of proper submodules whose union is $M$.
Thus, our task is to construct a ring $R$ and an $R$-module $M$ such that every countable chain of proper submodules of $M$ is bounded above by a proper submodule of $M$ (cf. Theorem ), but admitting an uncountable chain of proper submodules whose union is $M$ (so that $M$ is not finitely generated, by the preceding lemma ). The solution as presented below is essentially from the answers of Gaillard and Brandenburg, with a few extra glosses.
The task is more or less straightforward if we just remember that valuation rings can model arbitrarily complicated rates of growth, i.e., in the present case, we just want to build a valuation field with uncountable supply of rates of growth (or of degrees of infinite/infinitesimal elements). Thus, consider for example the free abelian group generated by the first uncountable ordinal, and make this a totally ordered group $G$ by imposing the lexicographic order. This is the value group of a valuation field $K$ whose elements are Hahn series, formally described as functions
whose support is well-ordered when considered as a subset of the opposite order $G^{op}$. (More suggestively, we think of $f$ as a formal series
where $a_g = f(g)$ and $x$ is an indeterminate viewed as a generic infinite element, with obvious rules for adding and multiplying. The well-ordering condition is used to ensure that the rules for addition and multiplication are well-founded, and the value $v(f)$ of such a series is the least $g \in G^{op}$ lying in the support of $f$. That is to say, the greatest $g \in G$ that indexes a non-zero coefficient $a_g$.)
Now let $R$ be the valuation ring consisting of bounded elements of $K$, i.e., those $f \colon G \to \mathbb{R}$ in $K$ where $f(g) = 0$ whenever $g$ is greater than the identity element of $G$. Then $K$ is the field of fractions of $R$, and we may regard $K$ as an $R$-module.
For each $t \in \omega_1$, let $R_t$ be the $R$-submodule of $K$ consisting of all those $f \colon G \to \mathbb{R}$ in $K$ such that $v(f) \leq t$. These $R_t$ are “principal fractional ideals”, and they form a system of proper submodules which is cofinal in the lattice of $R$-submodules of $K$, ordered by inclusion.
By cofinality, any countable chain of submodules of $K$ is bounded above by some $R_t$, so that $\mathbf{Mod}_R(K, -)$ preserves coproducts. However, the union of all the $R_t$ is $K$, so that $K$ is not finitely generated.
The divide between extensive categories and categories of modules is somewhat analogous to the divide between the classical particles and quantum particles. In the classical picture, if an elementary particle (which we can think of as “connected”) is in a state described by a union $U + V$, then it is either in state $U$ or in state $V$. Whereas in the quantum picture, one has to consider superpositions $U \oplus V$ of states $U$, $V$, and the usual sort of classical logic of disjunctions breaks down. Notice that classical logic (meaning here, non-quantum logic) is largely derived from our experience with extensive categories such as toposes. ↩
Last revised on February 24, 2013 at 19:55:53. See the history of this page for a list of all contributions to it.