Integrality of the generic fibre of an affine dominant morphism
ID: integrality-of-the-generic-fibre-of-an-affine-dominant-morphism
For an injective ring homomorphism between nonzero integral domains , the scheme-theoretic fibre over the generic point of is with . Localization at these nonzero elements is a nonzero integral domain, so the generic fibre is a nonempty integral scheme. A surjective morphism between these affine schemes necessarily gives an injective ring map: a prime above contains its kernel.
New to topics? Read the docs here!