位拓展定理

位拓展定理(The extension theorem for plac-es)用映射刻画赋值环的重要定理.设R是域F的子环，门是一个代数闭域，a; R->}是一个同态，于是a能拓展成F的一个门值位.此定理是赋值论中的重要定理，它刻画了a在F中不能有真拓展的充分必要条件是R为F的一个赋值环.