高層序忠實擴張(faithful extension of an or-dering of higher level)高層序域保持恰好層的擴張.設(F,P)是一個高層序域，K是F的一個域擴張.若K有一個高層序P'，使得P'自F=P，則稱P’是P在K上的一個擴張，或稱(K,P")是(F,P)的一個(高層)序擴張.
基本介紹
- 中文名：高層序忠實擴張
- 外文名：faithful extension of an or-dering of higher level
高層序忠實擴張(faithful extension of an or-dering of higher level)高層序域保持恰好層的擴張.設(F,P)是一個高層序域，K是F的一個域擴張.若K有一個高層序P'，使得P'自F=P，則稱P’是P在K上的一個擴張，或稱(K,P")是(F,P)的一個(高層)序擴張.
高層序忠實擴張(faithful extension of an or-dering of higher level)高層序域保持恰好層的擴張.設(F,P)是一個高層序域，K是F的一個域擴張.若K有一個高層序P'，使得P...
高層序域的實閉包(real closure of an ordered field of higher level)是指序域的實閉包在高層序域上的推廣。這類實閉包保留普通實閉包的一些特性，但在某些方面有別於普通實閉包。基本介紹 設 是一個高層序域，的一個實閉包是指域F的一個極大代數擴張R，使得P在R上有忠實擴張。高層序域的實閉包總是存在的...