6 是积性子集，而 formula_85 是个 formula_1-模。模的局部化与交换环类似，写作 formula_87 或 formula_88。我们依然要求存在模同态 formula_89 及以下的泛性质（此泛性质蕴含唯一性）：事实上，可以用张量积构造模的局部化：这是一个"正合函子"，它将单射映为单射。亦即：formula_22 是平坦的 formula_1-模。利用张量积与环的局部化的泛性质，可以形式地导出上述构造确实满足局部化的要求。此外，也可以仿造交换环的局部化，用分式 formula