Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $k$ be an infinite field, not algebraically closed. Let $\operatorname{Specm} k[x_1,\cdots,x_n]$ be the set of maximal ideals of $k[x_1,\cdots,x_n]$ and define a topology on $\operatorname{Specm} k[x_1,\cdots,x_n]$ in which the closed sets are of the form $Z(E) = \left\{m \in \operatorname{Specm} k[x_1,\cdots,x_n]: E \subseteq m \right\}$, where $E$ is a subset of $k[x_1,\cdots,x_n]$. Now, let $X$ be the subset of $\operatorname{Specm} k[x_1,\cdots,x_n]$, consisting of maximal ideals of the form $(x_1-c_1,\cdots,x_n-c_n)$ with $c_i \in k$. I need a hint towards showing that $X$ is dense in $\operatorname{Specm} k[x_1,\cdots,x_n]$. I proved this for the case where $k=\mathbb{R}$ and $n=1$, but i made decisive use of the fact that $\mathbb{R}[x]$ is a principal ideal domain. The case $\mathbb{R}[x_1,x_2]$ seems to be fundamentally different.

PS: Please, only a hint, not the solution. Thanks.

share|improve this question

1 Answer 1

up vote 1 down vote accepted

Here is a proof i came up with: Let $m \in \operatorname{Specm}k[x_1,\cdots,x_n]$ and let $U_m$ be a neighborhood of $m$. Then by definition $U_m=\left\{m' \in \operatorname{Specm}k[x_1,\cdots,x_n] : m' \nsupseteq \alpha \right\}$ for some ideal $\alpha$. Since $k[x_1,\cdots,x_n]$ is a Noetherian ring, $\alpha=(f_1,\cdots,f_k) , \, f_i \in k[x_1,\cdots,x_n]$. Proceed by contradiction, i.e. suppose that for any $r_1,r_2 \in k$ we have that $(x-r_1,x-r_2) \supseteq \alpha$. Then $f_i(r_1,r_2)=0, \, \forall r_1,r_2 \in k$. Then $f_i$ is zero on the zero set of the zero ideal $(0)$ and by Hilbert's Nullestellensatz $f_i^r \in (0)$ for some positive integer $r$. Hence $f_i^r=0$ and since $k[x_1,\cdots,x_n]$ is an integral domain, $f_i=0$. Thus $\alpha=0$, which implies that $U_m=\emptyset$. This is a contradiction, since we must have that $m \in U_m$. Hence there exist $r_1,r_2 \in k$ such that $(x-r_1,x-r_2) \in U_m$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.