This is a follow up to my previous question here
if $A \subset B$ is a finite ring extension and $P$ is a prime ideal of $A$ show there is a prime ideal $Q$ of $B$ with $Q \cap A = P$. (M. Reid, Undergraduate Commutative Algebra, Exercise 4.12(i))
We have seen that $PB \not= B$ and I found an example where $PB \cap A \not = A$ (the example is $P=(2)$, $B=\mathbb Z[\tfrac{1}{2}]$). This makes me think $Q$ must be a subset of $PB$ instead of my original idea: the maximal ideal containing $PB$.
So I would like to ask advice on:
How should we find a prime ideal $Q$ of $B$? and show that $Q \cap A = P$?
Suppose that $P$ is a maximal ideal, and let $Q\subset B$ be a maximal ideal containing $PB$. Then $Q\cap A\supseteq P$, so $Q\cap A=P$.
If $P$ is not maximal, then localize at $A\setminus P$ and find a finite ring extension $A_P\subseteq B_P$. Now use the previous result for the maximal ideal $PA_P$.