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.
Articles by others on the same topic
There are currently no matching articles.