When is a regular local ring a locality ? (Q753876): Difference between revisions

The author proves constructively and clearly the following nice fact: A normal local domain \((A,M)\) containing a field \(K\) is essentially of finite type over \(K\) if and only if: (1) the residue field \(A/M\) is a finitely generated extension of \(K\); (3) the quotient field \(L\) of \(A\) is a finitely generated extension of \(K\); and (2) \(\dim(A)+\mathrm{tr}\deg_ KA/M=\mathrm{tr}\deg_ KL\). By a classical counterexample, the author points out that the converse in this theorem does not hold if \(A\) is not normal. The theorem appeared as lemma 3 (p. 530) in a paper by \textit{A. Constantinescu} [Rev. Roum. Math. Pur. Appl. 31, 525--534 (1986; Zbl 0606.13014)]; the proofs are different (the one by Constantinescu being shorter).