Lang同态定理的一个推广

著名的Lang同态定理是实域理论中的一个重要结论,它是解决包括Hilbert第十七问题在内的有关问题的一个有力工具。本文对Lang同态定理做了进一步的改善。这种新的形式可以代替模型论的方法,处理涉及实闭环理论的一些问题,我们对此将另文论述。 一个域K的赋值环A称为实的,如果A所对应的位是实的。因此,A是实的,当且仅当