Generic-point embedding of regular functions
ID: generic-point-embedding-of-regular-functions
On an integral scheme , every nonempty open contains its generic point . Taking a germ gives an injective ring homomorphism from its regular functions to the function field . Injectivity follows on each nonempty affine open subscheme from the injection of an integral domain into its field of fractions, and then from the sheaf gluing axiom. This lets regular functions on different open subsets be compared inside one field.
New to topics? Read the docs here!