>>131
これは写像の定義から一発では？
それともその写像が全射である事を証明したい？
それだったら、ＰをＢの任意の極大イデアルとして、局所化Ｂ＿Ｐ→Ａ＿Ｐ
を考えればＰ（Ａ＿Ｐ）を含む任意の素イデアルＱを取れば、Ｑの像がＰに行くよ。

一般的には有限射は閉射だから、今の場合１次元かつ既約集合なので、行き先が全体、
もしくは１点になる。しかし１点には潰れない（Ｂ→Ａが有限かつ入射なので）。