Given commutative rings $A$ and $B$, if $B$ is an $A$-algebra, under what conditions, other than $B$ being integral over $A$, will the Going-Up property hold? Is there a condition weaker than integrality for which Going-Up holds? If not, could one direct me to a proof that shows that Going-Up implies integrality.
Going-up property
2
$\begingroup$
abstract-algebra
commutative-algebra
1 Answers
2
Check out exercise 10 in Chapter 5 of Atiyah Macdonald.
In that exercise it is established that going-up is equivalent to the following. If $q\subset B$ is a prime ideal and $p=q^c\subset A$ then $f^{\ast}:\text{spec} B/q\rightarrow \text{spec} A/p$ is surjective. Note this implies the statement Georges makes in b) above.
Also if the map $\text{spec} B\rightarrow \text{spec} A$ is closed then we also get going-up.
-
0@Lalit: I had given a class of counter-examples (local morphisms of discrete valuation rings) showing that going-up does not imply integrality. Since your excellent reference to Atiyah-Macdonald completely solves Rankeya's question, I thought I might as well delete my answer. Sorry for the inconvenience I caused. By the way, Rankeya, I think you might acknowledge Lalit's answer by upvoting it and/or accepting it. – 2011-10-10