Let $f$ be in $\mathbb{Z}[x,y]$ and consider the the quotient ring $\mathbb{Z}[x,y] / \langle f \rangle$. The ring $\mathbb{Z}[x,y]$ has dimension 3, and the codimension of $\langle f \rangle$ is $\le 1$ by Krull's Ideal Theorem. Is it possible to deduce from this, or by some other method, that $\mathbb{Z}[x,y] / \langle f \rangle$ cannot have dimension 1?
Showing the Dimension of a Ring
2 Answers
OK. Every maximal ideal of $\mathbb{Z}[X,Y]$ has height 3. Once we know this, let $0\neq f\in \mathbb{Z}[X,Y]$, and pick a maximal ideal $\mathfrak{m}$ such that $f\in \mathfrak{m}$. Then the dimension of $\mathbb{Z}[X,Y]/(f)$ is $\geq$ the dimension of $(\mathbb{Z}[X,Y]/(f))_{\mathfrak{m}}$, so we come to the case of Noetherian local ring, and the later ring has dimension $\geq 3-1=2$.
OK, perhaps, I donot need to show every maximal ideal of $\mathbb{Z}[X,Y]$ has height 3. Let us find a maximal ideal $\mathfrak{m}$ with height 3 such that $f\in \mathfrak{m}$. First, find a prime number $p$ such that $f$ is not a unit in $\mathbb{Z}/p\mathbb{Z}[X,Y]$. Then find a maximal ideal of $\mathbb{F}_p[X,Y]$ such that $f$ is in it. This maximal ideal has height 2 which corresponds a maximal ideal of $\mathbb{Z}[X,Y]$ having height 3. We are done.
-
0Excellent, thank you. – 2012-05-22
-
0I indeed said this in your previous question. Because for my poor English expression, I am sorry maybe I have not said too clear. You are welcome. – 2012-05-22
-
0But what do you mean when you say $\mathbb{Z}[X,Y] / \langle f \rangle $ localised at $\mathfrak m$. this is not an ideal of that ring? Or do you mean the corresponding max ideal in the quotient? – 2012-05-22
-
0I really donot know how to expain more. Localized at $\mathfrak{m}/(f)$ if you prefer, and this ring is isomorphic to $\mathbb{Z}[X,Y]_{\mathfrak{m}}/(f)$, taking localization and taking quotient commutes! – 2012-05-22
-
0OK I didn't realise it commuted. Got you now, thanks. – 2012-05-22
-
0+1: Nice answer, wxu! Your English is very clear and very correct. May I ask you what your mother language is and how you learned your excellent English? – 2012-05-22
-
0@GeorgesElencwajg, Thanks! My mother language is Chinese and I donot know how to learn English, I feel somethings I wrote is comfortable for me but it may be wrong in English. So every time, I use "let, let, let, and suppose suppose suppose and then then then" to make things right. :) – 2012-05-22
-
0Dear wxu, what I do to improve my knowledge of a foreign language is to read as much as I can in that languge. I start with Donald Duck (he has been translated in many languages and is my lifelong hero!) and try to reach the great authors in the target language. In between I use texts simplified for foreigners, with controlled vocabulary of, say 1500 words, and bilingual versions of the classics. And although it is not fashionable nowadays, I like to study grammar books. Unfortunately, I don't know any of the Chinese languages... – 2012-05-22
-
1@Paul: I'm sorry I didn't get back to your questions sooner and glad to see that you reposted your final question. For the record, what wxu suggests with respect to a prime number is what I was hinting at (too obliquely, it now seems). – 2012-05-22
Let me prove the following general result alluded to by wxu for $n=2$, for which I know no reference :
Theorem Every maximal ideal $\mathfrak m\subset \mathbb Z[X_1,...,X_n]$ has height $n+1$
Step 1
The quotient $\kappa(\mathfrak m)= \mathbb Z[X_1,...,X_n]/\mathfrak m \;$ is a field, finitely generated over $\mathbb Z$.
This implies that it has positive characteristic $p$ and is finite: $\mathbb F_p\subset \kappa(\mathfrak m)=\mathbb F_q$
(Bourbaki, Comm.Alg., Ch.5, §3, Thm.3, Cor.1)
Step 2
Since $p\in \mathfrak m$, the quotient morphism $\mathbb Z[X_1,...,X_n]\to \mathbb F_p[X_1,...,X_n]$ will send $\mathfrak m$ to the maximal ideal $\overline {\mathfrak m}\subset \mathbb F_p[X_1,...,X_n]$
However it is well known that every maximal ideal of $k[X_1,...,X_n]$ has height $n$ if $k$ is a field, so that $\overline {\mathfrak m} \;$ has height $n$. (Matsumura, Commutative algebra,14.H)
Step 3
Let $(0)\subsetneq \overline {\mathfrak p_1} \subsetneq ...\subsetneq \overline {\mathfrak p_n}=\overline {\mathfrak m}$ be a maximal chain of prime ideals in $\mathbb F_p[X_1,...,X_n]$ .
The chain of primes $(0)\subsetneq (p)\subsetneq\mathfrak p_1 \subsetneq ...\subsetneq \mathfrak p_n=\mathfrak m $ proves that $\operatorname {height}(\mathfrak m)\geq n+1$.
Since $\operatorname {dim }\: ( \mathbb Z[X_1,...,X_n])=n+1$, we must have $$\text {height}(\mathfrak m)= n+1\;$$ Done