MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

I'm looking for a textbook reference of the following elementary fact (a reference for an excercise in a textbook is also welcome):

Let $R$ be a commutative ring and let $\mathfrak{p}$ be a prime ideal of $R$. An ideal $P \trianglelefteq R[X]$ with $P \cap R = \mathfrak{p}$ is prime iff $P = \mathfrak{p}R[X]$ or if $P$ is maximal in $\lbrace I \trianglelefteq R[X] \mid I \cap R = \mathfrak{p} \rbrace$.

share|cite|improve this question
In the meanwhile I found a reference, though not textbook, in "Ferrero: Prime ideals in polynomial rings in several indeterminates. Proc. Amer. Math. Soc. 125(1997), 67-74", Lemma 1.6. Also note that part of the result generalizes to: If $R \le S$ are comm. rings, $\mathfrak{p} \subseteq R$ prime, then the max. ideals $P \subseteq S$ with $P \cap R = \mathfrak{p}$ are prime. – Ralph Dec 14 '11 at 1:27
BTW: Is there a possibilty, to prevent that an old question is shown up automatically by "MathOverflow" ? – Ralph Dec 14 '11 at 1:32
You have to accept an answer. This may be an answer by yourself. – darij grinberg Dec 14 '11 at 1:53
Thanks, darij. – Ralph Dec 14 '11 at 7:47
up vote 1 down vote accepted

I am pretty sure this is an exercise in Atiyah-McDonald.

EDIT I just looked, and Exercises 2-5 in the first chapter have very similar statements, but not exactly the statement you are looking for...

share|cite|improve this answer
I just checked the exercises in Atiyah-McDonald but didn't find it. Maybe I've overlooked it. Though, thanks. – Ralph Nov 29 '11 at 21:26
How is this an 'answer'? A comment, sure, but an answer? – Jacques Carette Nov 29 '11 at 21:31
@Jacques, the question asked for a textbook reference, and Igor responded with a textbook reference. How is that not an answer? What would be necessary to qualify as an answer? – Gerry Myerson Nov 29 '11 at 22:05
@Gerry, interesting point. I was picturing a textbook which contains a proof of this elementary fact as an answer, not one which merely repeated the statement as being true. – Jacques Carette Nov 30 '11 at 0:37
@Jacques, OP specifically wrote, "a reference for an exercise in a textbook is also welcome." – Gerry Myerson Dec 2 '11 at 10:24

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.