= The Stacks project
{c}
https://stacks.math.columbia.edu/
Commutative-algebra passages: https://stacks.math.columbia.edu/tag/00F2[§10.6, Definition 10.6.1: finite type and finite presentation] and https://stacks.math.columbia.edu/tag/00FM[§10.31, Lemmas 10.31.1 and 10.31.4: the Noetherian hypotheses that turn finite generation into finite presentation].
The finite coefficient-subalgebra proof of the <Artin-Tate lemma> is https://stacks.math.columbia.edu/tag/00IS[Lemma 10.51.7, tag 00IS].
Back to article page
