Example 6.4.5. Let $X$ be a topological space. For each $x \in X$ suppose given an abelian group $M_ x$. For $U \subset X$ open we set

We denote a typical element in this abelian group by $\sum _{i = 1}^ n m_{x_ i}$, where $x_ i \in U$ and $m_{x_ i} \in M_{x_ i}$. (Of course we may always choose our representation such that $x_1, \ldots , x_ n$ are pairwise distinct.) We define for $V \subset U \subset X$ open a restriction mapping $\mathcal{F}(U) \to \mathcal{F}(V)$ by mapping an element $s = \sum _{i = 1}^ n m_{x_ i}$ to the element $s|_ V = \sum _{x_ i \in V} m_{x_ i}$. We leave it to the reader to verify that this is a presheaf of abelian groups.

## Comments (0)

There are also: