归纳环及归纳域

摘要

提出了归纳环的概念(即:含1且适合1阶Peano归纳公理的环),指出其意义并提出下列关于确定归纳环代数结构的问题:是否每一归纳环都与由整数环的一族剩余类环及特征数0的代数闭域所作的一个超积初等等价?首先给出了有关归纳环及归纳域的一些基本事实.然后着重在代数范围内进行讨论,得到下列的结果:每个有限次实代数数域都不是归纳域;代数整数环的每个子环都不是归纳环.还证明了很多有限次代数数域不与上述的超积初等等价.