Every finitely generated algebra over a field is a Jacobson ring

Solution 1:

Your question follows immediately if you know that the polynomial ring in $n$ variables over a field is a Jacobson ring from the following trivial observation: if $A$ is a Jacobson ring and $I\subset A$ is an ideal, then $A/I$ is Jacobson.

Solution 2:

We will first establish the case when your finitely generated $k$-algebra is reduced. We will make use of the following Lemma and its corollary:

Zariski's Lemma: Let $K$ be a finitely generated $k$-algebra that is a field. Then $K$ is a finite field extension of $k$.

Corollary: For any finitely generated $k$-algebra $R$ and maximal ideal $\mathfrak{m} \subseteq R$, we have that $R/\mathfrak{m}$ is a finite field extension of $k$.

Now we can state a proposition:

Proposition: Let $R$ be a finitely generated reduced $k$-algebra and $\mathfrak{p} \subseteq R$ be a prime ideal. Then $$\mathfrak{p} = \bigcap \mathfrak{q}$$ where the intersection is over all prime ideals $\mathfrak{q}$ such that $R/\mathfrak{q}$ is finitely generated as a $k$- module.

Proof: We just need to show that $\bigcap \mathfrak{q} \subseteq \mathfrak{p}$ for the other inclusion is clear. Now suppose there is $x \in R$ such that $x\notin \mathfrak{p}$. Then in the localization $R_x$ we have that $\mathfrak{p}_x$ is a prime ideal, since $\mathfrak{p}$ does not meet $\{1,x,x^2,\ldots \}$. Now choose a maximal ideal $\mathfrak{m}_x $ containing $\mathfrak{p}_x$. We have inclusions

$$k \hookrightarrow R/(\mathfrak{m}_x \cap R) \hookrightarrow R_x/\mathfrak{m}_x$$

and since $R_x/\mathfrak{m}_x$ is a finite field extension of $k$, we have that $R_x/\mathfrak{m}_x$ is finite as a module over $R/(\mathfrak{m}_x \cap R)$. But now because $\mathfrak{m}_x$ is a maximal ideal and $\mathfrak{m}_x \cap R$ is a prime ideal, by Corollary 5.8 of Atiyah - Macdonald we get that $\mathfrak{m}_x \cap R$ is a maximal ideal. Setting $\mathfrak{m} = \mathfrak{m}_x \cap R$ shows that we have a maximal (and hence prime) ideal $\mathfrak{m}$ containing $\mathfrak{p}$ such that $\mathfrak{p} \subseteq \mathfrak{m}$. The corollary to Zariski's lemma shows that $R/\mathfrak{m}$ is finitely generated as a $k$-module, which finishes the proof of the proposition.

Corollary 1: A reduced finitely generated $k$-algebra is Jacobson.

Corollary: Since any finitely generated $k$-algebra is a quotient of a polynomial algebra in a finite number of variables, any finitely generated $k$-algebra is Jacobson.