定義普呂費爾整環(Prufer domain)一類特殊的整環.設R是一個整環，K是它的分式域，若對於R的每個素理想},A}都是賦值環，則稱R是普呂費爾整環.若R是普呂費爾整環，K是它的分式域，而v是介於R和K中間的一個賦值環，則必有R的一個素理想p使得V=Ra.
