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!