_1 对 formula_16 之局部化。
泛性质.formula_1 对 formula_16 的局部化如果存在，是一个环 formula_22（或记作 formula_23）配上环同态 formula_24，使之满足以下的泛性质：此性质可保证局部化 formula_33 的唯一性。
交换环的情形.当交换环 formula_1 为整环时，局部化的构造相当容易。若 formula_35，则 formula_22 必然是零环；若不然，我们可以在 form