Search

MiS Preprint Repository

We have decided to discontinue the publication of preprints on our preprint server as of 1 March 2024. The publication culture within mathematics has changed so much due to the rise of repositories such as ArXiV (www.arxiv.org) that we are encouraging all institute members to make their preprints available there. An institute's repository in its previous form is, therefore, unnecessary. The preprints published to date will remain available here, but we will not add any new preprints here.

MiS Preprint
77/2018

An elementary and constructive proof of Grothendieck's generic freeness lemma

Ingo Blechschmidt

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.

Received:
Aug 31, 2018
Published:
Nov 13, 2018
MSC Codes:
13C05
Keywords:
generic freeness lemma

Related publications

Preprint
2018 Repository Open Access
Ingo Blechschmidt

An elementary and constructive proof of Grothendieck's generic freeness lemma