关于实全商环的一则短记

给出两个与域赋值相类似的结论:设R为实全商环,C为基中子环,有正则素理想p。于是R有赋值对(A,M)满足AC;及MnC=p。另一结论为实环中的任一非浅显赋值对在包含该环的实全商环中恒有拓展。