Surjectivity is preserved by base change
ID: surjectivity-is-preserved-by-base-change
If is a surjective morphism of schemes, the projection is surjective for every . For a point , choose a point over its base image and apply the point-lifting property of a scheme fibre product. No flatness assumption is necessary.
New to topics? Read the docs here!