无限维空间中的实零点定理

在本文中，我们建立了无限维空间中的实零点定理，同时从仿射空间的拓扑结构和域的序结构两个方面，分别刻划了适合无限维实零点定理的序域．此外，本文有例子表明，对任意的基数α，确实存在适合α维实零点定理的序域．     

适合无限维实零点定理的序域之结构Ⅱ

在本文的第二部分中，我们研究了适合无限维实零点定理的序域的结构．通过嵌入，我们证明了，一个序域适合无限维实零点定理，当且仅当它的实闭包同构于域的某个具有无限维逼近性质的子域，这里是一个无裂缝的可除序群，｛Γ｝是指数在中，系数为实数的形式幂级数域．     

关于严实Hilbert环

在本文中，严实Ｈｉｌｂｅｒｔ环得到了更进一步的刻划．本文的主要结果是：一个环Ａ是严实Ｈｉｌｂｅｒｔ环，当且仅当多项式环Ａ［Ｘ］的每个实极大理想在Ａ上的局限是Ａ的一个极大理想，当且仅当Ａ是实Ｈｉｌｂｅｒｔ环，且Ａ［Ｘ］的每个实极大理想是极大的．     

关于弱Hilbert性质的一个问题

本文证明了这样一个主要结果：设（Ｋ，Ｓ）和（Ｋ，Ｓ）都是亚序域，且（Ｋ，Ｓ）是（Ｋ，Ｓ）的有限生成扩张，则当Ｋ在Ｋ上是超越时，（Ｋ，Ｓ）具有弱Ｈｉｌｂｅｒｔ性质．这一结果否定地回答了作者在文献［１］中所提的一个公开问题．此外，一些关于弱Ｈｉｌｂｅｒｔ性质的结果被建立．     

多项式理想的广义实根的计算 *

对于一个序域(K ,T)以及多项式环 K[x₁,… ,x_n]的一个理想I ,研究了I的广义实根^{(T ,U ,W)}√I 的构造 ,这里U ,W是 K[x₁,… ,x_n]的两个乘法子幺半群 ,使得U W .这样 ,当(K ,T)适合必要的计算要求时 ,可获得一个计算^{(T ,U ,W)}√I的方法 .     

关于实Hilbert环

通过引进“强实Hilbert环”这一概念,本文证明了,一个环A是强实Hilbert环,当且仅当多项式环A[X]是实Hilbert环,当且仅当A[X]的每个实极大理想在A上的局限是实极大的,从而文献[1]中两个主要结果被否定.此外,本文还研究了所谓的“严格的实Hilbert环”,这类环对于半代数零点定理等方面的探讨更具应用意义.     

带核实赋值环上的多项式

本文引进了带核实赋值环这一结构,带核实域和实闭环是其特款.通过一些引理,我们建立了关于带核实赋值环上多项式的半代数零点定理.正点定理和非负点定理,同时我们讨论了Hilbert第十七问题在带核实赋值环上的推广形式.     

关于交换环上矩阵的高层点定理

在关于交换环的高层正点定理和高层非负点定理的基础上,在交换环范畴中进一步建立了所谓的高点定理.同时,针对交换环上矩阵,获得了关于交换环上矩阵的高层正点定理,高层零点定理和高层非负点定该点定理可看作是关于交换环上矩阵的通常点定理的一种推广.     

寻求多项式系统在开超长方体中的实零点

对于给定的一个n元实多项式系统P和Rn中一个开超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一个零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。     

寻求多项式系统在闭超长方体上的实零点

对于给定的一个n元多项式系统P和Rn中一个闭超长方体S,给出了一个有效算法,使得在ZeroR(P)∩S的每一个半代数连通分支上能找到至少一个实零点。为精确起见,所找的实零点通过所谓的区间有理单元表示来描述。同时给出了另一算法,可用来检验所得的实零点是否属于闭超长方体S。为处理实例,有关算法在Maple软件平台上被编制成一个通用程序。