Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
@Youngsu If the height of an arbitrary ideal behaves so badly when localize and take factor rings, how can you conclude in your answer to the original problem that $\text{height }I\le\text{height }I'+ 1$? In fact you got the following: $\text{height }(I+q)/q\le 1$ in $R/q$. Is this enough to prove that $\text{height }I\le\text{height }I'+ 1$? Or maybe I didn't get your reasoning?