付値環
【ふちかん】
【fuchikan】
赋值环