>>520
>φ^(-1)(q) = p となる(適当な可換図式を描けば分かる)。

以下の図が、その可換図式

A → A_S
| |
v v
B → B_S

これの各環に Spec を作用させて得られる可換図式を考えてもいい。
この場合、矢印の向きが逆になる。