Local ring embeds in rational functions on incident components
ID: local-ring-embeds-in-rational-functions-on-incident-components
Let be the reduced union of the irreducible components of an affine variety containing . Removing all other components leaves an open neighbourhood of on which and agree, so their local rings at agree. In the coordinate ring , every denominator not vanishing at avoids all minimal primes: each component of contains . Such a denominator is a non-zero-divisor. Consequently injects into the total quotient ring . One cannot generally replace by a single component through an intersection point.
New to topics? Read the docs here!