模型论中有关代数闭域的一个性质①

张 龙， 陈国龙， 万展翔

(淮北师范大学数学科学学院，安徽 淮北235000)

0 引 言

一个可以写成a0+a1x+a2x2+…+akxk(ai∈R，k 是大于或等于零的整数)叫做R 上x 的一个多项式，ai叫做多项式的系数. 在数学上，一个域F被称作代数闭域，当且仅当任何系数属于F 且次数大于零的单变量多项式在F 里至少有一个根. 另外，本文在定理的证明过程中会用到较多的字母符号，所以有些字母符号用起来比较随意，但这些符号的含义明确并不影响读者的理解.

1 基本概念

定义1［1］设R 为环，I 为R 的非空子集，如果I 满足

(i)对任意的r1，r2∈I，r1- r2∈I;

(ii)对任意的r ∈I，s ∈R，rs，sr ∈I.

则称I 为环R 的一个理想，记作I◁R.又如果I ⊂≠R中，则称I 为R 的真理想. 若R 为一个交换幺环，R的一个理想M ≠R 而且不在存在理想A 使得M ⊂≠A ⊂≠R，则M 叫做R 的一个极大理想.

定义2［2］n 个元x1，x2，…，xn叫做R 上的无关未定元，假如任何一个R 上的x1，x2，…，xn的多项式都不等于零，除非这个多项式的系数都等于零.

定义3［3］设μ，β 是语言L 的模型.如果对L中每一语句φ 都有:μ 满足φ 当且只当β 满足φ，则称μ，β 为初等等价的，记作μ ≡β.

设T 是L 中的理论.如果对于T 的任何模型μ，β 都有μ ≡β，则称T 为完全理论.当T 适合下列条件时，称为模型完全的:对T 的任何模型μ ≡β.若μ⊆β，则μ ≺β.

定理1［3］令L = {+，·，0，1}，令T 为代数闭域的理论，则T 是模型完全的.

2 主要结论

定理: l1q1+l2q2+… +lkqk= 1 的充分必要条件是q1，q2，…，qk在G 的每一扩域中没有公共解.其中G 为任意代数闭域，Q = G［a1，a2，…，an］为G 上n 个不相关不定元a1，a2，…，an的多项式环，q1，a2，…，qn∈Q.

证明: 下面先证充分性:

这里要用反证法来证明，假设q1，q2，…，qk在G 的每一个扩域中都没有公共解，但是l1q1+l2q2+… + lkqk不等于1.

现在用F 来表示q1，q2，…，qk在Q 中生成的理想，即F = {eq1+ e2q2+ …ekqk:e1，e2，…，ek∈Q}.由假设l1q1+l2q2+…lkqk不等于1 知……