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