证局部化 formula_33 的唯一性。
交换环的情形.当交换环 formula_1 为整环时，局部化的构造相当容易。若 formula_35，则 formula_22 必然是零环；若不然，我们可以在 formula_1 的分式环formula_38 中构造局部化：取 formula_39 为形如 formula_40 的元素即可。对于一般的交换环，我们必须推广分式环的构造；在此须注意到：由于 formula_16 中可能有零因子，我们不能鲁莽地通分一个分式。构造方式如下：