# Functors respect inclusion?

I am working with modules, but I guess this question is valid with any abelian category.

Let $R$ be a ring, and $F$ a covariant functor. Let $M$ be an $R$-module and $N$ a submodule of $M$. Looking at certain examples (like the $\cdot \oplus A$ functor, or the $\operatorname{Hom}_R(A, \cdot)$ functor, for a fixed $R$-module $A$), I am tempted to say that $FN$ is a submodule of $FM$, or at least that $FN$ embeds into $FM$ in a very natural way: with the homomorphism $F \iota$, where $\iota : N \longrightarrow M$ is the inclusion. This is true if $F$ is left exact, or more generally if it preserves monomorphisms, but it is always true?

If $F$ is instead contravariant, there seems to be no sensible notion of how $FN$ and $FM$ relate to each other in terms of inclusion.

I believe there is no reason for my first question to be true, but I cannot think of a counterexample. Also, more informally, I was wondering why it doesn't work. What I mean is that we define a functor with some "structure-preserving" properties, so that we can use it to study our objects. Then why isn't such a natural relation as inclusion be preserved by a functor?

• Tensoring with a fixed module is a functor (from the category of $R$-modules to itself) which doesn't necessarily respect injectivity. In fact, a module for which tensoring with that module respects injectivity is called "flat", and it is a rather important concept. Jan 5, 2018 at 14:33
• I know of the counterexample with $M = \mathbb{Z}$, $N = 2 \mathbb{Z}$ and $F$ that is tensoring with $\mathbb{Z} / 2 \mathbb{Z}$. Then the inclusion becomes the zero map $FN \longrightarrow FM$. However I feel like this is a sort of half-counterexample. The inclusion doesn't work, but clearly $FN$ embeds into $FM$. Do you know of any counterexample where there is no room for doubt? Sorry if I'm picky... Jan 5, 2018 at 14:58
• @user404944 Take the inclusion $\mathbb{Z}\to \mathbb{Q}$ with the same $F$. Jan 5, 2018 at 15:28

I assume $F$ is a functor from modules to modules. A typical example is $M \otimes_R (-)$ where $M$ is a right $R$-module: this is a functor from left $R$-modules to abelian groups. It preserves monomorphisms / injectivity iff it is exact (for this we need to know that the functor is already additive and right exact) iff $M$ is flat, and there are many examples of modules which are not flat.
Perhaps the simplest one is $\mathbb{Z}/2\mathbb{Z}$, or more generally any abelian group with nontrivial torsion, as a module over $\mathbb{Z}$. The corresponding functor sends an abelian group $A$ to the quotient $A/2A$; the quotient map $A \to A/2A$ is the universal map from $A$ to a $\mathbb{Z}/2\mathbb{Z}$-module, or equivalently an $\mathbb{F}_2$-vector space. And this functor does not preserve the inclusion $\mathbb{Z} \subsetneq \mathbb{Z}[1/2]$, because the latter is sent to zero.
Let me first address your last question. It's not correct to think of a functor as an operation that preserves all the structure of modules. Rather, a functor is an operation that preserves certain very specific structure: namely, homomorphisms and their composition. There is no reason to expect a general functor to preserve anything more than that, because that's not what functors are designed to do. You may find it enlightening to consider group homomorphisms as an analogy. The property of being a normal subgroup is extremely important in group theory, but if $f:G\to H$ is a group homomorphism and $K\subseteq G$ is a normal subgroup, then $f(K)$ is not necessarily a normal subgroup of $H$. This isn't a flaw in the definition of group homomorphisms; it's just not what they're designed to do.