# The Stacks Project

## Tag 0ALW

Lemma 10.60.3. Let $S$ be a nonzero finite type algebra over a field $k$. Then $\dim(S) = 0$ if and only if $S$ has finitely many primes.

Proof. Recall that $\mathop{\rm Spec}(S)$ is sober, Noetherian, and Jacobson, see Lemmas 10.25.2, 10.30.5, 10.34.2, and 10.34.4. If it has dimension $0$, then every point defines an irreducible component and there are only a finite number of irreducible components (Topology, Lemma 5.9.2). Conversely, if $\mathop{\rm Spec}(S)$ is finite, then it is discrete by Topology, Lemma 5.18.6 and hence the dimension is $0$. $\square$

The code snippet corresponding to this tag is a part of the file algebra.tex and is located in lines 14115–14120 (see updates for more information).

\begin{lemma}
\label{lemma-finite-type-algebra-finite-nr-primes}
Let $S$ be a nonzero finite type algebra over a field $k$.
Then $\dim(S) = 0$ if and only if $S$ has
finitely many primes.
\end{lemma}

\begin{proof}
Recall that $\Spec(S)$ is sober, Noetherian, and Jacobson, see
Lemmas \ref{lemma-spec-spectral}, \ref{lemma-Noetherian-topology},
\ref{lemma-finite-type-field-Jacobson}, and \ref{lemma-jacobson}.
If it has dimension $0$, then every point defines an
irreducible component and there are only a finite number
of irreducible components (Topology, Lemma \ref{topology-lemma-Noetherian}).
Conversely, if $\Spec(S)$ is finite, then it is discrete
by Topology, Lemma \ref{topology-lemma-finite-jacobson}
and hence the dimension is $0$.
\end{proof}

There are no comments yet for this tag.

## Add a comment on tag 0ALW

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 lower-right corner).