正是 formula_9 的座标环；若对极大理想 formula_10 作局部化，则可以设想为挖去所有的 formula_11；得到的环 formula_12 体现 formula_2 上的多项式函数在 formula_14 点的"局部"性质。借着将模理解为仿射代数簇上的拟凝聚层，可以类似地诠释模的局部化；它无非是拟凝聚层在一个点的茎。
环的局部化.在此仅考虑含单位元的环。设 formula_1 为环，formula_16 为 formula_1的积性子集（定义：对乘法封闭，并