A ring isomorphism `Θ : (B_Q)^ ≃ (A_P)^` compatible with `f : A → B` carries the extension of `f(P)` to the maximal ideal of `(A_P)^`.

Initializing...

A ring isomorphism `Θ : (B_Q)^ ≃ (A_P)^` compatible with `f : A → B` carries the extension of `f(P)` to the maximal ideal of `(A_P)^`. · Prove2Me