Artinian 局部环理论的存在闭模型
交换代数
2008-02-03 v1 环与代数
摘要
长度至多 l 的所有 Artinian 局部环的类是 A_2-初等的,由有限公理集 Art_l 公理化。我们证明其特征存在闭模型是 Gorenstein 的、长度恰为 l 且其剩余域代数闭;反之,每个存在闭模型均具此形式。所有长度为 l 且剩余域代数闭的 Artinian 局部 Gorenstein 环的理论 Gor_l 是模型完全的,且理论 Art_l 是可伴的,其模型伴为 Gor_l。
引用
@article{arxiv.math/9707231,
title = {Existentially closed models of the theory of Artinian local rings},
author = {Hans Schoutens},
journal= {arXiv preprint arXiv:math/9707231},
year = {2008}
}