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