模型论在代数上的应用

给出了模型论在代数上的两个应用,得到了下列定理:定理A:如环R的任何有限生成子环均是局部环,则R是局部环.定理B:存在自然数的真扩张R使其具有下列特征:(1)虽然R有无限多零因子,但R中有无限多零因子,但R中的首1多项式的根的个数可以得到很好的控制.(2)R不仅将自然数的素数特征保留下来,而且还可在其上定义指数函数。