Lemma 10.11.4. Let $R$ be a ring. Let $N$ be an $R$-module. The following are equivalent

1. $N$ is a finitely presented $R$-module,

2. for any filtered colimit $M = \mathop{\mathrm{colim}}\nolimits M_ i$ of $R$-modules the map $\mathop{\mathrm{colim}}\nolimits \mathop{\mathrm{Hom}}\nolimits _ R(N, M_ i) \to \mathop{\mathrm{Hom}}\nolimits _ R(K, M)$ is bijective.

Proof. Assume (1) and choose an exact sequence $F_{-1} \to F_0 \to N \to 0$ with $F_ i$ finite free. Then we have an exact sequence

$0 \to \mathop{\mathrm{Hom}}\nolimits _ R(N, M) \to \mathop{\mathrm{Hom}}\nolimits _ R(F_0, M) \to \mathop{\mathrm{Hom}}\nolimits _ R(F_{-1}, M)$

functorial in the $R$-module $M$. The functors $\mathop{\mathrm{Hom}}\nolimits _ R(F_ i, M)$ commute with filtered colimits as $\mathop{\mathrm{Hom}}\nolimits _ R(R^{\oplus n}, M) = M^{\oplus n}$. Since filtered colimits are exact (Lemma 10.8.8) we see that (2) holds.

Assume (2). By Lemma 10.11.3 we can write $M = \mathop{\mathrm{colim}}\nolimits M_ i$ as a filtered colimit such that $M_ i$ is of finite presentation for all $i$. Thus $\text{id}_ M$ factors through $M_ i$ for some $i$. This means that $M$ is a direct summand of a finitely presented $R$-module (namely $M_ i$) and hence finitely presented. $\square$

There are also:

• 1 comment(s) on Section 10.11: Characterizing finite and finitely presented modules

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).