Flat closed immersion of finite presentation
ID: flat-closed-immersion-of-finite-presentation
A nonempty flat closed immersion of finite presentation into a connected scheme is an isomorphism. On a chart it is with finitely generated. At a prime containing , the quotient is a finite flat module over the local ring, hence free of rank one, so vanishes there. Finite generation extends this vanishing to a neighbourhood. Thus the image is open as well as closed; connectedness makes it all of the target, and the ideal is everywhere zero. Without finite presentation the conclusion can fail.
New to topics? Read the docs here!