局部化环作为有限生成自由模的正向极限：构造具体正向系统问询

当然有啦！其实我们可以构造一个非常自然又显式的正向系统，直接和乘法系( S )本身挂钩，下面一步步给你拆解清楚：

我们的正向系统完全依托乘法系( S )的结构来搭建，不需要额外引入复杂的对象，核心就是把局部化的“分母”对应到正向系统的指标，把“分数等价”对应到正向极限的等价关系。

• 指标集：取乘法系( S )作为有向偏序集，偏序关系定义为：对任意( s, t \in S )，规定 ( s \leq t ) 当且仅当存在 ( u \in S ) 使得 ( t = s \cdot u )。很容易验证这是一个有向偏序——任意两个元素( s,t )，它们的乘积( s \cdot t )同时满足( s \leq s \cdot t )和( t \leq s \cdot t )，所以任意有限子集都有上界。
• 每个指标对应的有限生成自由模：对每个( s \in S )，定义( M_s = R )——也就是秩为1的有限生成自由( R )-模，这是最简单的自由模结构了。
• 转移同态：当( s \leq t )（即存在( u \in S )使得( t = s \cdot u )）时，定义同态( \phi_{s,t}: M_s \to M_t )为：
  [
  \phi_{s,t}(r) = u \cdot r \quad (r \in R = M_s)
  ]
  这个同态是( R )-线性的，而且满足正向系统的相容性：如果( s \leq t \leq v )，那么( \phi_{s,v} = \phi_{t,v} \circ \phi_{s,t} )，直接代入定义就能验证。

我们可以构造一对互逆的( R )-同态来证明( \varinjlim M_s \cong S^{-1}R )：

1. 从正向极限到局部化的同态：对每个( s \in S )，定义( f_s: M_s \to S^{-1}R )为( f_s(r) = \frac{r}{s} )。先验证相容性：当( s \leq t )（( t = s \cdot u )），有
   [
   f_t(\phi_{s,t}(r)) = f_t(u r) = \frac{u r}{t} = \frac{u r}{s u} = \frac{r}{s} = f_s(r)
   ]
   满足正向极限的相容条件，因此诱导出唯一的( R )-同态( f: \varinjlim M_s \to S^{-1}R )。
2. 从局部化到正向极限的同态：定义( g: S^{-1}R \to \varinjlim M_s )为( g\left( \frac{r}{s} \right) = [r]s )，其中( [r]s )是( r \in M_s )在正向极限中的等价类。需要验证良定义：如果( \frac{r}{s} = \frac{r'}{t} )，则存在( u \in S )使得( u(t r - s r') = 0 )。此时( t u \geq t )，( s u \geq s )，且( \phi{s,s u}(r) = u r )，( \phi{t,t u}(r') = u r' )，而( u t r = u s r' )，所以( \phi_{s,s u}(r) = \phi_{t,t u}(r') )，即( [r]_s = [r']_t )，良定义成立。
3. 验证互逆性：
   • ( f\left( g\left( \frac{r}{s} \right) \right) = f([r]_s) = \frac{r}{s} )，这是显然的；
   • ( g\left( f([r]_s) \right) = g\left( \frac{r}{s} \right) = [r]_s )，也直接符合定义。
     因此( f )和( g )是互逆同态，证明了( \varinjlim M_s \cong S^{-1}R )。

• 每个模都是最基础的秩1自由模，没有任何冗余结构；
• 转移同态就是简单的乘法操作，完全由( S )中的元素决定，一目了然；
• 指标集就是乘法系( S )本身，不需要额外构造复杂的指标结构；
• 同构的验证过程完全是构造性的，每一步都能对应到局部化的核心定义，非常直观。

内容的提问来源于stack exchange，提问作者Fabio Lucchini