solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看140次
An elementary and constructive proof of Grothendieck's generic freeness lemma. (arXiv:1807.01231v1 [math.AC])
来源于:arXiv
We present a new and direct proof of Grothendieck's generic freeness lemma in
its general form. Unlike the previously published proofs, it does not proceed
in a series of reduction steps and is fully constructive, not using the axiom
of choice or even the law of excluded middle. It was found by unwinding the
result of a general topos-theoretic technique. 查看全文>>