An elementary and constructive proof of Grothendieck's generic freeness lemma
Commutative Algebra
2018-07-04 v1 Algebraic Geometry
Abstract
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.
Cite
@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}
}