Solution

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

Work over an affine open subscheme of . Since is a closed immersion, its inverse image is for some ideal . Since is a closed immersion, the inverse image of this affine scheme in is for an ideal . Let be the inverse image of in . The composite on this open is induced by the surjection
The affine-local characterization from part (a) therefore shows that is a closed immersion. In particular, closed-subscheme ideals compose by taking the inverse image of the second quotient ideal.

New to topics? Read the docs here!