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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a Noetherian ring, and let $\mathfrak p$ be a prime of $R$ of codimension $d$. Suppose that $P\subset R[X]$, $P$ prime, intersects $R$ in $\mathfrak p$. Prove that if $P\neq\mathfrak pR[X]$, then codim $P=d+1$ and that there are infinitely many $P$ like this.

share|cite|improve this question
So, what's your question? – Gerry Myerson Feb 9 '12 at 11:04
Proof that codim Q=d+1 and we have infinitely many Q like this.I forgot the word "proof". – Strongart Feb 11 '12 at 11:02
Then I suggest you edit the question accordingly. That will also have the effect of bringing it to the front page to increase its visibility on the site. – Gerry Myerson Feb 11 '12 at 23:14
I see,thank you. – Strongart Feb 12 '12 at 10:46
up vote 3 down vote accepted

For the part about codimension (= height) see Theorem 149 from Kaplansky, Commutative Rings, 1974.

The second part can be easily proved by reduction modulo $\mathfrak p$: reduce all by $\mathfrak p$, get an integral domain $R$ and try to prove that there are infinitely many primes in $R[X]$ lying over $(0)$. These are in a one-to-one correspondence with the prime ideals of $K[X]$, where $K$ is the field of fractions of $R$. Now try to prove that $K[X]$ has infinitely many primes, that is, there are infinitely many irreducible polynomials in $K[X]$.

share|cite|improve this answer

Your Answer


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.