模型论伽罗瓦理论导引
逻辑
2010-08-24 v3 交换代数
历史与综述
摘要
我们在任意一阶理论T的框架下进行了伽罗瓦的部分工作。我们将环境代数闭域替换为T的一个大模型M，将域替换为M的可定义闭子集，假设T编码有限集，并获得了伽罗瓦理论的基本对偶性，将L在F上的伽罗瓦群的子群与中间扩张相匹配。这种对Poizat的“Une théorie de Galois imaginaire”(1983)中一个特例的阐述，其优点在于除了熟悉域、多项式、一阶公式和自同构之外，几乎不需要任何背景知识。
引用
@article{arxiv.0909.4340,
title = {An invitation to model-theoretic Galois theory},
author = {Alice Medvedev and Ramin Takloo-Bighash},
journal= {arXiv preprint arXiv:0909.4340},
year = {2010}
}
备注
added reference