Scifaro

中文

Grothendieck 泛型自由引理的一个初等构造性证明

交换代数 2018-07-04 v1 代数几何

作者: Ingo Blechschmidt

在 arXiv 上查看 ↗ PDF ↗

摘要

我们给出 Grothendieck 泛型自由引理一般形式的一个新的直接证明。与已发表的证明不同，它不经由一系列归约步骤，且是完全构造性的，不使用选择公理甚至排中律。该证明是通过展开一种一般拓扑斯技术的结果而得到的。

关键词

泛型自由引理构造性证明 Grothendieck 拓扑斯理论交换代数

引用

@article{arxiv.1807.01231,
  title  = {An elementary and constructive proof of Grothendieck's generic freeness lemma},
  author = {Ingo Blechschmidt},
  journal= {arXiv preprint arXiv:1807.01231},
  year   = {2018}
}