正规赋值

正规赋值(canonical valuation)是由赋值建立赋值环的逆问题所决定的赋值。给定域F上的赋值环B，可建立F上的赋值φB，使得φB的赋值环为B，这样的φB称为B确定的正规赋值。正规赋值(canonical valuation)是由赋值建立赋值环的逆问题所决定的赋值。给定域F上的赋值环B，可建立F上的赋值φB，使得φB的赋值环为B，这样的φB称为B确定的正规赋值。正规赋值可如下建立：若B为F的赋值环，VB是B中的单位群，F=F-{0}，则可使Γ=F/VB成为有序群。规定φB： F→Γ∪{0}如下：φB(a)=aVB，　φ(0)=0，φB称为由B所确定的正规赋值。若从F的一个赋值开始，先得出它的赋值环B，再由B作出它的正规赋值φB，则φ与φB等价。[1]