Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-20/4/c/solution

Over an affine open subscheme of the target, a closed immersion has the form . Pulling it back along an affine scheme map gives
The identification follows directly by tensoring the quotient presentation; it does not require to be flat over . Since is surjective, this is again a closed immersion. These affine calculations cover every base change of a morphism of schemes.

New to topics? Read the docs here!