Hello, I just have a quick question about direct limits. Let$\displaystyle \{ A_s | s \in S \}$ be a directed system of $\displaystyle R$-modules, where $\displaystyle S$ is a directed set. I want to show that

$\displaystyle \displaystyle\lim_{\longrightarrow} A_s := \displaystle\coprod_{s\in S} A_s/ \sim$

is an $\displaystyle R$-module, where $\displaystyle a \in A_s \sim b \in A_t$ if there exists $\displaystyle u \ge s,t$ such that $\displaystyle f_{su}(a) = f_{tu}(b) \in A_u$.

Now in my notes we define addition as follows:

The sum of $\displaystyle a \in A_s$ and $\displaystyle b \in A_t$ is given by choosing an element $\displaystyle u \in S$ with $\displaystyle u \ge s,t$ and $\displaystyle a+b := f_{su}(a) + f_{tu}(b)$ in the $\displaystyle R$-module $\displaystyle A_u$.

But my question is, surely this thing is not well defined because there might be some $\displaystyle u' \ge s,t$, where $\displaystyle u' \not= u $! So this addition would be in a different $\displaystyle R$-module. Does this limit module only make sense if in our directed set $\displaystyle S$ we make a specific choice of element $\displaystyle u $ for every $\displaystyle (s,t)$ pair in $\displaystyle S$?

Thanks for any help.