3
$\begingroup$

I was trying to prove that free modules were projective in the language of abelian categories, but did not succeed. I was missing a good description of what a free module is. So my question is essentially this; is it possible to give a(n easy) definition of what a free module is without referring to a faithful functor from R-mod to Set?

  • 0
    @rschwieb but for that description to 'work' it would be nice to identify$R$(in R-mod).2012-10-17

2 Answers 2

4

There is no notion of "free object" in an abelian category which restricts to "free module" in the case of $\mathsf{Mod}(R)$. Namely, any sensible notion should be invariant under equivalences of categories. But if $P$ is a finitely generated projective $R$-module of rank $1$ (i.e. a line bundle on $\mathrm{Spec}(R)$), then $P \otimes - : \mathsf{Mod}(R) \to \mathsf{Mod}(R)$ is an equivalence of categories which maps $R \mapsto P$. Here, $R$ is free, but $P$ may be not free.

It was asked in the comments if it possible to reconstruct $R$ from $\mathsf{Mod}(R)$. The above shows that this is not possible. See also the notion of Morita equivalence. At least one can construct the center $Z(R)$ from $\mathsf{Mod}(R)$. Namely, for a category $C$ its center $Z(C)$ is defined to be the monoid of natural transformations $\mathrm{id}_C \to \mathrm{id}_C$. It is commutative. If $C$ is abelian, this monoid is a commutative ring in a canonical way. And one can prove (directly, or via the enriched Yoneda lemma) that $Z(\mathsf{Mod}(R)) \cong Z(R)$.

Also, it is possible to characterize module categories amongst abelian categories:

Let $\mathcal{A}$ be a cocomplete abelian category and $P \in \mathcal{A}$ be a projective compact generator, which means that $\hom(P,-) : \mathcal{A} \to \mathsf{Ab}$ is right exact, preserves (infinite) coproducts, and is faithful. Consider the ring $R := \mathrm{End}(P)$. Then $\mathcal{A} \to \mathsf{Mod}(R), X \mapsto \hom(P,X)$ is an equivalence of categories which maps $P \mapsto R$ (good exercise). Conversely, $R$ is a projective compact generator in $\mathsf{Mod}(R)$. But the same is true for $R^n$, which illustrates that $R$ and $M_n(R)$ are Morita equivalent.

Finally let me mention that $\mathsf{Mod}(R)$ is more than just an abelian category. It also carries a tensor structure, making it an abelian $\otimes$-category, the unit being $R$. With this additional data we have a trivial reconstruction from $R$ out of $\mathsf{Mod}(R)$. But even in the setting of abelian $\otimes$-categories it is not true in general that the unit is projective (consider $\mathrm{Qcoh}(X)$ for a projective scheme $X$). Therefore the statement "free objects are projective" fails again.

If you want to prove that free modules are projective in $\mathsf{Mod}(R)$, see Rasmus' answer.

  • 0
    The statement about $\mathsf{Mod}(R)$ carrying a tensor product only holds for commutative $R$. Since the question is tagged commutative-algebra, this find be the only case the OP cares about.2012-10-21
1

A free $R$-module is a module of the form $\bigoplus_{i\in I} R$ for some index set $I$.

Using that $\mathrm{Hom}_R(\bigoplus_{i\in I} R,M)=\prod_{i\in I}\mathrm{Hom}_R( R,M)=\prod_{i\in I}M$ it is easy to see that the functor $\mathrm{Hom}_R(\bigoplus_{i\in I} R,\_)$ is exact, showing that $\bigoplus_{i\in I} R$ is projective.

  • 0
    @krey : edited.2012-10-16