Lemma 10.116.1. Let $k$ be a field. Let $S$ be a finite type $k$ algebra which is an integral domain. Let $K$ be the field of fractions of $S$. Let $r = \text{trdeg}(K/k)$ be the transcendence degree of $K$ over $k$. Then $\dim (S) = r$. Moreover, the local ring of $S$ at every maximal ideal has dimension $r$.

Proof. We may write $S = k[x_1, \ldots , x_ n]/\mathfrak p$. By Lemma 10.114.3 all local rings of $S$ at maximal ideals have the same dimension. Apply Lemma 10.115.4. We get a finite injective ring map

$k[y_1, \ldots , y_ d] \to S$

with $d = \dim (S)$. Clearly, $k(y_1, \ldots , y_ d) \subset K$ is a finite extension and we win. $\square$

There are also:

• 2 comment(s) on Section 10.116: Dimension of finite type algebras over fields, reprise

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).